Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases
Cristina FeierStijn HeymansPublished in: CoRR (2011)
Keyphrases
- logic programs
- abductive logic programming
- disjunctive logic programs
- knowledge base
- logic programming
- answer set programming
- computational properties
- stable models
- answer sets
- answer set semantics
- fixpoint
- knowledge representation and reasoning
- reasoning tasks
- stable model semantics
- knowledge representation
- partial deduction
- background knowledge
- normal logic programs
- minimal models
- open world
- reasoning about actions
- inductive logic programming
- probabilistic reasoning
- abductive reasoning
- loop formulas
- semantics for logic programs
- logic program updates
- term rewriting systems
- description logics
- recursive programs
- strong equivalence
- incomplete information
- semantics of logic programs
- deductive databases
- possibilistic logic