Daniel Scrădeanu PROLOG la

Source URL: www.unibuc.ro

Modeling Cooperative Multi-Agent Systems Gregory Gelfond1 and Richard Watson2 Texas Tech University Abstract. Current work in the application of answer-set programming for the development of reasoning agents has largely

Source URL: myweb.ttu.edu

• Computing
• Symbol
• Multi-agent system
• Prolog

Differential Logic Programs: Programming Methodologies and Semantics A. Bossi M. Bugliesi Dipartimento di Matematica Pura ed Applicata Universit` a di Padova via Belzoni 7, 35131 Padova, Italy

Source URL: www.dsi.unive.it

• Predicate logic
• Functions and mappings
• Logic programming
• Predicate
• Prolog
• Function
• Resolution
• Logic
• Mathematics
• Mathematical logic

A Context Management Infrastructure with Language Integration Support Tobias Rho1 Malte Appeltauer2 Stephan Lerche1 Armin B. Cremers1

Source URL: www.hpi.uni-potsdam.de

• Information
• RDF
• Metadata
• Knowledge representation
• Data management
• Resource Description Framework
• Query language
• Prolog
• RDF Schema
• Computing
• Semantic Web
• Data

CLP( 
): Constraint Logic Programming for Probabilistic Knowledge

Source URL: pages.cs.wisc.edu

• Mathematics
• Constraint programming
• Logic programming
• Statistical models
• Reasoning
• Constraint logic programming
• CLP
• Relational model
• Prolog
• Software engineering
• Programming paradigms
• Logic

A DECLARATIVE FRAMEWORK FOR MODELING MULTI-AGENT SYSTEMS by GREGORY GELFOND A MASTER THESIS IN

Source URL: myweb.ttu.edu

• Software engineering
• Automated planning and scheduling
• Prolog
• Agent-based model
• Action language
• Logic programming
• Multi-agent systems
• Artificial intelligence
• Computing

Exposition  Text Prolog Über  Reflexion Es  ist  schwierig  zu  analysieren,  strukturieren  und  systematisieren. Bezeichnung  und  Bezeichnetes  beginnen  (ineinander)  zu

Source URL: heitberlin.de

Jargons: Experimenting Composable Domain-Specific Languages  Frédéric Peschanski

Source URL: repository.readscheme.org

• Lisp programming language
• Functional languages
• Jargon
• Programming language
• Lisp
• Domain-specific language
• Cons
• Language
• Prolog
• Computing
• Software engineering
• Computer programming

Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Babelsberg: Specifying and Solving Constraints on Object Behavior

Source URL: www.jot.fm

• Computer programming
• Constraint logic programming
• Kaleidoscope
• Constraint satisfaction problem
• Cassowary
• Constraint
• Prolog
• Satisfiability Modulo Theories
• Constraint satisfaction
• Constraint programming
• Declarative programming
• Software engineering

c ACM In ACM Computing Surveys, Vol. 30, No. 3, September 98. Optimizing Modular Logic Languages Michele Bugliesi Dipartimento di Matematica Pura e Applicata, Universit`a di Padova

Source URL: www.dsi.unive.it

• Logic programming
• Non-classical logic
• Substructural logic
• Programming language
• Mathematical logic
• Logic
• Prolog
• Actor model
• Linear logic
• Software engineering
• Computing
• Programming language theory