Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols.
Marco CalauttiSergio GrecoIrina TrubitsynaPublished in: ACM Trans. Comput. Log. (2017)
Keyphrases
- function symbols
- logic programs
- logic programming
- tuple generating dependencies
- definite clause
- answer set programming
- fixpoint
- answer sets
- stable models
- background knowledge
- answer set semantics
- inductive logic programming
- first order logic
- high level
- horn clauses
- deductive databases
- constraint satisfaction problems
- knowledge representation
- data sources
- data model