Temporal Extensions to Defeasible Logic.

Guido Governatori Paolo Terenziani

Published in: Australian Conference on Artificial Intelligence (2007)

Keyphrases

defeasible logic
default logic
defeasible reasoning
extended logic programs
rule base
business rules
nonmonotonic reasoning
knowledge representation and reasoning
database
logic programming
fixed point
belief revision
legal reasoning