On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic.

Ho-Pun Lam Guido Governatori

Published in: RuleML (2010)

Keyphrases

defeasible logic
rule base
defeasible reasoning
extended logic programs
knowledge representation and reasoning
business rules
nonmonotonic reasoning
legal reasoning
nonmonotonic logics
databases
case study
pattern recognition
knowledge representation
object oriented
access control
business processes