Modeling and Verification of Distributed Autonomous Agents Using Logic Programming.
L. Robert PokornyC. R. RamakrishnanPublished in: DALT (2004)
Keyphrases
- logic programming
- autonomous agents
- logic programs
- multi agent
- open systems
- distributed control
- dynamic environments
- multi agent systems
- nonmonotonic reasoning
- computational logic
- multiagent systems
- deductive databases
- incomplete information
- logic programming language
- knowledge representation
- answer set programming
- knowledge base
- programming language
- answer sets
- default logic
- stable models
- inductive logic programming
- reasoning about actions
- constraint logic programming
- distributed environment
- agent technology
- reinforcement learning
- machine learning
- intelligent agents
- software engineering
- object oriented
- linear logic
- disjunctive logic programming