Interpreting First-order Theories into a Logic of Records.
Marcel van de VelPublished in: Stud Logica (2002)
Keyphrases
- classical first order logic
- logical theories
- logical formulas
- theory revision
- propositional theories
- action theories
- logic programming
- defeasible logic
- first order logic
- general logic programs
- linear temporal logic
- dynamic logic
- conditional logic
- horn clauses
- higher order
- causal theories
- situation calculus
- probability theory
- sound and complete with respect
- computational problems
- databases
- causal reasoning
- automated reasoning
- probabilistic logic
- closed world assumptions
- database
- knowledge base
- model theoretic
- expressive power
- modal logic
- computational properties
- finite model theory
- predicate calculus
- classical logic
- epistemic logic
- modal operators
- propositional logic
- theorem prover
- predicate logic
- belief revision
- answer set programming
- background knowledge
- logic programs
- default reasoning
- relational learning
- nonmonotonic logics