Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset).
Xavier ParentChristoph BenzmüllerPublished in: Arch. Formal Proofs (2024)
Keyphrases
- theorem prover
- natural deduction
- automated reasoning
- theorem proving
- inference rules
- reasoning systems
- higher order logic
- first order logic
- formal methods
- benchmark datasets
- cut elimination
- training dataset
- nonmonotonic inference
- sequent calculus
- reasoning tasks
- probabilistic reasoning
- artificial intelligence
- model based reasoning
- cp nets
- random field model
- data sets
- database