On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs.
Jürgen AvenhausCarlos Loría-SáenzPublished in: LPAR (1994)
Keyphrases
- logic programs
- rewrite systems
- existentially quantified
- logic programming
- function symbols
- term rewriting
- fixpoint
- stable models
- answer sets
- answer set programming
- normal logic programs
- computational properties
- active rules
- conditional probabilities
- random variables
- inductive logic programming
- autonomous agents
- information systems
- strong equivalence
- integrity constraints
- reasoning tasks
- horn clauses
- nonmonotonic reasoning
- theorem proving
- deductive databases