Obligations and Prohibitions in Talmudic Deontic Logic.

Michael Abraham Dov M. Gabbay Uri J. Schild

Published in: DEON (2010)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
update semantics
nonmonotonic logics
inference rules
web services
formal semantics
bayesian networks
control system
theorem prover