Overlapping Rules and Logic Variables in Functional Logic Programs .
Sergio AntoyMichael HanusPublished in: ICLP (2006)
Keyphrases
- logic programs
- existentially quantified
- logic programming
- declarative semantics
- strong equivalence
- horn clauses
- normal logic programs
- computational properties
- background knowledge
- general logic programs
- answer set semantics
- function symbols
- classical logic
- abductive reasoning
- answer sets
- answer set programming
- stable models
- fixpoint
- logic programs with negation
- recursive programs
- autoepistemic logic
- deductive databases
- semantics for logic programs
- reasoning tasks
- fixpoint semantics
- partial deduction
- inductive logic programming
- prolog programs
- functional programs
- counter examples
- semantics of logic programs
- default logic
- propositional theories
- nonmonotonic reasoning
- universally quantified
- minimal models
- truth values
- knowledge representation
- term rewriting systems
- stable model semantics