Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning.
Marco RagniChristian EichhornTanja BockGabriele Kern-IsbernerAlice Ping Ping TsePublished in: Minds Mach. (2017)
Keyphrases
- defeasible logic
- defeasible reasoning
- nonmonotonic reasoning
- nonmonotonic logics
- logic programming
- rule base
- conditional logic
- legal reasoning
- belief revision
- desirable properties
- default logic
- default reasoning
- business rules
- knowledge representation and reasoning
- formal semantics
- probability theory
- formal specification
- computational complexity
- propositional logic
- business processes
- logic programs
- programming language
- software engineering