Keyphrases
- horn clauses
- fixpoint
- fixpoint semantics
- logic programs
- stable models
- distributed systems
- multi agent
- stable model semantics
- inference rules
- logic programming
- formal semantics
- first order logic
- distributed environment
- inductive logic programming
- expert systems
- answer sets
- dynamic logic
- learning algorithm
- peer to peer