Rule-Based Coordination of Logic Programs.
Paolo CiancariniMauro GaspariPublished in: Comput. Lang. (1996)
Keyphrases
- logic programs
- logic programming
- fixpoint
- stable models
- answer sets
- expert systems
- inductive logic programming
- background knowledge
- answer set programming
- multi agent
- multi agent systems
- computational properties
- normal logic programs
- rule base
- prolog programs
- strong equivalence
- multiple agents
- partial deduction
- knowledge base
- horn clauses
- stable model semantics
- nonmonotonic reasoning
- functional programs
- artificial intelligence
- monotonicity constraints
- probabilistic reasoning
- loop formulas
- answer set programs