A Proof Theory for First-order Logic with Definiteness.
Nissim FrancezBartosz WieckowskiPublished in: FLAP (2017)
Keyphrases
- first order logic
- proof theory
- automated reasoning
- default reasoning
- probabilistic reasoning
- theorem proving
- expressive power
- theorem prover
- knowledge representation
- inference rules
- reasoning problems
- horn clauses
- inductive logic programming
- description logics
- formal semantics
- artificial intelligence
- reasoning tasks
- decision procedures
- markov logic networks
- probabilistic inference
- search space
- search algorithm