Formalizing Defeasible Logic in CAKE.

Ewa Madalinska-Bugaj Witold Lukaszewicz

Published in: Fundam. Informaticae (2003)

Keyphrases

defeasible logic
defeasible reasoning
extended logic programs
rule base
knowledge representation and reasoning
business rules
nonmonotonic reasoning
legal reasoning
fine grained
real time
knowledge base
case study
databases
rough sets
genetic programming