A Denotational Semantics of Defeasible Logic.
Michael J. MaherPublished in: Computational Logic (2000)
Keyphrases
- defeasible logic
- denotational semantics
- programming language
- operational semantics
- rule base
- defeasible reasoning
- nonmonotonic reasoning
- query language
- knowledge representation and reasoning
- business rules
- logic programming
- general purpose
- error rate
- legal reasoning
- high level
- default logic
- access control
- object oriented