MAGE: A Massively Agent Execution System for Logic Programming.
Costas MourlasConstantin HalatsisPublished in: PARLE (1994)
Keyphrases
- logic programming
- logic programs
- cooperative multi agent
- plan execution
- answer set programming
- nonmonotonic reasoning
- knowledge representation
- multi agent systems
- logic programming language
- deductive databases
- programming language
- knowledge base
- multi agent
- decision making
- stable models
- default logic
- probabilistic reasoning
- inductive logic programming
- autonomous agents
- reasoning about actions
- procedural semantics
- answer sets
- computational logic
- knowledge representation and reasoning
- constraint logic programming
- propositional variables
- databases
- incomplete information
- high level
- practical reasoning
- multiple agents
- pseudo boolean constraints
- artificial intelligence