The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning.
V. Wiktor MarekV. S. SubrahmanianPublished in: ICLP (1989)
Keyphrases
- logic programs
- logic programming
- answer set semantics
- autoepistemic logic
- answer sets
- stable models
- fixpoint semantics
- normal logic programs
- stable model semantics
- model theoretic
- logic program updates
- extended logic programs
- general logic programs
- declarative semantics
- answer set programming
- defeasible logic
- strong equivalence
- possibilistic logic
- fixpoint
- semantics for logic programs
- nonmonotonic reasoning
- semantics of logic programs
- inductive logic programming
- deductive databases
- prolog programs
- update operators
- minimal models
- default logic
- reasoning tasks
- fixed point semantics
- logic programming language
- inside outside algorithm
- classical logic
- propositional theories
- disjunctive logic programming
- probabilistic reasoning
- default reasoning
- formal semantics
- knowledge base
- computational properties
- operational semantics
- update semantics
- knowledge representation and reasoning
- horn clauses
- propositional logic
- natural language