Computing Temporal Defeasible Logic.

Guido Governatori Antonino Rotolo

Published in: RuleML (2013)

Keyphrases

defeasible logic
defeasible reasoning
legal reasoning
extended logic programs
rule base
business rules
default logic
nonmonotonic reasoning
knowledge representation and reasoning
expert systems
control system
fuzzy logic