A Theory of Directed Logic Programs and Streams.
Douglas Stott Parker Jr.Richard R. MuntzPublished in: ICLP/SLP (1988)
Keyphrases
- logic programs
- logic programming
- propositional theories
- answer sets
- answer set programming
- stable models
- fixpoint
- prolog programs
- inductive logic programming
- partial deduction
- background knowledge
- term rewriting systems
- model theoretic
- semantics of logic programs
- normal logic programs
- refinement operators
- logic program updates
- minimal models
- computational properties
- strong equivalence
- artificial intelligence
- stable model semantics
- monotonicity constraints
- loop formulas
- answer set semantics
- answer set programs
- autoepistemic logic
- computational problems