Multiagent Compromises, Joint Fixpoints, and Stable Models.
Francesco BuccafurriGeorg GottlobPublished in: Computational Logic: Logic Programming and Beyond (2002)
Keyphrases
- stable models
- logic programs
- fixpoint
- multi agent
- logic programming
- normal logic programs
- deductive databases
- answer sets
- general theory
- nonmonotonic reasoning
- stable model semantics
- fixpoint semantics
- answer set programming
- multiagent systems
- loop formulas
- background knowledge
- logic programs with negation
- inductive logic programming
- autonomous agents
- strong equivalence
- integrity constraints
- multiple agents
- horn clauses
- object oriented
- search space
- database systems
- artificial intelligence
- semantics for logic programs
- databases