Normal Forms for Defeasible Logic.
Grigoris AntoniouDavid BillingtonMichael J. MaherPublished in: IJCSLP (1998)
Keyphrases
- normal form
- defeasible logic
- database design
- defeasible reasoning
- relational databases
- rule base
- functional dependencies
- nested relations
- knowledge representation and reasoning
- business rules
- legal reasoning
- database
- error rate
- prime implicates
- databases
- formal definitions
- nonmonotonic reasoning
- default logic
- production rules
- artificial intelligence