Designing a Deontic Logic of Deadlines.

Jan M. Broersen Frank Dignum Virginia Dignum John-Jules Ch. Meyer

Published in: DEON (2004)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
nonmonotonic logics
update semantics
response time
formal semantics
machine learning
artificial intelligence
control system
logic programming
inference rules
database transactions