Roles, Counts-as and Deontic and Action Logics.

Published in: DEON (2006)

Keyphrases

classical logic
real time
deontic logic
expressive power
inference rules
nonmonotonic logics
learning algorithm
computer vision
representation language
action language
joint action
social roles
action descriptions
propositional calculus