Normative Conditional Reasoning as a Fragment of HOL.
Xavier ParentChristoph BenzmüllerPublished in: CoRR (2023)
Keyphrases
- conditional logic
- higher order logic
- theorem prover
- knowledge representation
- default reasoning
- reasoning process
- automated reasoning
- knowledge representation and reasoning
- knowledge base
- analogical reasoning
- formal methods
- probabilistic reasoning
- neural network
- qualitative reasoning
- reasoning systems
- multi agent systems
- cp nets
- logical framework
- spatial reasoning
- model based reasoning
- maximal tractable
- normative systems
- nonmonotonic inference