Relative expressiveness of defeasible logics II.
Michael J. MaherPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- expressive power
- default logic
- computational properties
- inheritance reasoning
- modal logic
- first order logic
- defeasible logic
- nonmonotonic logics
- query language
- inference rules
- default reasoning
- defeasible reasoning
- practical reasoning
- data model
- website
- information systems
- legal reasoning
- social networks
- conflicting information
- databases