Axiomatizing first order consequences in dependence logic
Juha KontinenJouko A. VäänänenPublished in: CoRR (2012)
Keyphrases
- general logic programs
- linear temporal logic
- predicate calculus
- conditional logic
- horn clauses
- logic programming
- probabilistic logic
- classical logic
- higher order
- first order logic
- multi valued
- logic programs
- classical first order logic
- defeasible logic
- quantifier free
- nonmonotonic logics
- sound and complete with respect
- negative consequences
- term rewriting
- automated reasoning
- modal logic
- predicate logic
- logical theories
- artificial intelligence
- dynamic logic
- rewrite systems
- set theory
- decision diagrams
- truth values
- data sets
- computational properties
- knowledge base
- neural network