Login / Signup

Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations.

Dov M. Gabbay
Published in: DEON (2012)
Keyphrases
  • deontic logic
  • knowledge representation language
  • update semantics
  • legal reasoning
  • nonmonotonic logics
  • expert systems
  • formal semantics
  • machine learning
  • spatio temporal
  • case based reasoning
  • temporal constraints