Propositional Defeasible Logic has Linear Complexity.
Michael J. MaherPublished in: Theory Pract. Log. Program. (2001)
Keyphrases
- linear complexity
- defeasible logic
- default logic
- defeasible reasoning
- extended logic programs
- propositional logic
- rule base
- nonmonotonic reasoning
- legal reasoning
- first order logic
- business rules
- databases
- default reasoning
- knowledge representation and reasoning
- logic programming
- database
- data mining
- real time
- case based reasoning
- machine learning
- genetic algorithm
- knowledge base
- inference rules
- fixed point
- general purpose