On the complexity of index sets for finite predicate logic programs which allow function symbols.
Douglas CenzerVictor W. MarekJeffrey B. RemmelPublished in: J. Log. Comput. (2020)
Keyphrases
- function symbols
- logic programs
- horn clauses
- logic programming
- answer set programming
- first order logic
- definite clause
- answer sets
- stable models
- fixpoint
- monotonicity constraints
- inductive logic programming
- background knowledge
- answer set semantics
- computational complexity
- database
- inference rules
- nonmonotonic reasoning
- general purpose
- normal form
- relational databases
- polynomial hierarchy
- description logics
- probabilistic reasoning
- knowledge representation
- search space
- database systems