The Deontic Component of Action Language nC+.

Marek J. Sergot Robert Craven

Published in: DEON (2006)

Keyphrases

action language
description language
reasoning about actions
action descriptions
concurrent actions
linear programming
sufficient conditions
situation calculus
finite number
representation language
action theories
domain description