Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments.
Peter SchüllerPublished in: RCRA@AI*IA (2015)
Keyphrases
- first order logic
- answer set programming
- logic programming
- knowledge representation
- function symbols
- logic programs
- expressive power
- inductive logic programming
- theorem proving
- logical formulas
- answer sets
- horn theories
- probabilistic reasoning
- reasoning tasks
- propositional logic
- inference rules
- background knowledge
- horn clauses
- theorem prover
- incomplete information
- knowledge base
- functional dependencies
- transitive closure
- np hard
- machine learning
- abductive reasoning
- nonmonotonic reasoning
- stable models
- deductive databases
- tree decomposition
- knowledge representation and reasoning
- expert systems
- description logics
- markov logic networks
- dl lite
- automated reasoning
- default logic
- database
- databases