The Equational Approach to Contrary-to-duty Obligations.

Published in: FoIKS (2014)

Keyphrases

theorem proving
equational theories
theorem prover
deontic logic
agent architecture
update semantics
search algorithm
domain knowledge
scheduling problem
traffic congestion