A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling.
Abdelraouf HechamMadalina CroitoruPierre BisquertPublished in: RuleML+RR (2018)
Keyphrases
- first order logic
- defeasible reasoning
- formal semantics
- expressive power
- propositional logic
- theorem proving
- inference rules
- probabilistic reasoning
- knowledge representation
- incomplete information
- theorem prover
- legal reasoning
- defeasible logic
- horn clauses
- transitive closure
- conditional logic
- nonmonotonic reasoning
- markov logic networks
- nonmonotonic logics
- argumentation systems
- modeling language
- modal logic
- automated reasoning
- probabilistic logic
- expert systems