Index Sets for Finite Normal Predicate Logic Programs with Function Symbols.
Douglas A. CenzerVictor W. MarekJeffrey B. RemmelPublished in: LFCS (2016)
Keyphrases
- function symbols
- logic programs
- horn clauses
- logic programming
- definite clause
- answer set programming
- stable models
- answer sets
- fixpoint
- first order logic
- inductive logic programming
- background knowledge
- monotonicity constraints
- answer set semantics
- normal logic programs
- expressive power
- nonmonotonic reasoning
- datalog programs
- temporal logic
- artificial intelligence