A Network of Communicating Logic Programs and Its Semantics.
Susumu YamasakiPublished in: IJCAI (1987)
Keyphrases
- logic programs
- logic programming
- stable models
- boolean networks
- stable model semantics
- fixpoint semantics
- answer set semantics
- model theoretic
- answer set programming
- normal logic programs
- fixpoint
- computational properties
- answer sets
- logic program updates
- background knowledge
- declarative semantics
- deductive databases
- partial deduction
- strong equivalence
- semantics of logic programs
- autoepistemic logic
- inductive logic programming
- semantics for logic programs
- update operators
- nonmonotonic reasoning
- prolog programs
- loop formulas
- operational semantics
- default logic
- disjunctive logic programming
- semantic information
- minimal models
- reasoning tasks
- fixed point semantics