On the Evolution of Objects in a Logic Programming Framework.
Fehime Nihan KesimMarek J. SergotPublished in: FGCS (1992)
Keyphrases
- logic programming
- logic programs
- cooperative multi agent
- extended logic programs
- deductive databases
- nonmonotonic reasoning
- constraint logic programming
- answer set programming
- answer sets
- reasoning tasks
- programming language
- logic programming language
- knowledge base
- procedural semantics
- machine learning
- databases
- stable models
- knowledge representation and reasoning
- reasoning about actions