Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment).
Aldo AntonelliPublished in: J. Philos. Log. (2017)
Keyphrases
- first order logic
- expressive power
- theorem proving
- guarded fragment
- theorem prover
- knowledge representation
- representation language
- probabilistic reasoning
- inference rules
- special case
- transitive closure
- relational algebra
- horn clauses
- inductive logic programming
- incomplete information
- highly expressive
- description logics
- markov logic networks
- query answering
- data complexity
- dl lite
- constraint databases
- markov logic