A semantics for weakly encapsulated search in functional logic programs.
Jan ChristiansenMichael HanusFabian ReckDaniel SeidelPublished in: PPDP (2013)
Keyphrases
- logic programs
- logic programming
- stable models
- stable model semantics
- model theoretic
- answer set programming
- normal logic programs
- computational properties
- declarative semantics
- fixpoint semantics
- logic program updates
- strong equivalence
- search algorithm
- answer set semantics
- answer sets
- fixpoint
- inductive logic programming
- reasoning tasks
- logic programming language
- nonmonotonic reasoning
- autoepistemic logic
- partial deduction
- prolog programs
- deductive databases
- semantics for logic programs
- search space
- minimal models
- disjunctive logic programming
- recursive programs
- semantics of logic programs
- programming language
- search strategies
- classical logic
- horn clauses
- term rewriting systems
- semantic information
- first order logic
- query evaluation
- monotonicity constraints
- knowledge representation
- fixed point semantics
- default logic