Embedding Defeasible Logic into Logic Programs.
Grigoris AntoniouMichael J. MaherPublished in: ICLP (2002)
Keyphrases
- logic programs
- defeasible logic
- extended logic programs
- logic programming
- nonmonotonic reasoning
- answer sets
- knowledge representation and reasoning
- defeasible reasoning
- stable models
- rule base
- answer set semantics
- fixpoint
- default logic
- answer set programming
- legal reasoning
- business rules
- normal logic programs
- data mining
- nonmonotonic logics
- deductive databases
- stable model semantics
- knowledge base