Towards a Logic of Agency and Actions with Duration.

Nicolas Troquard Laure Vieu

Published in: ECAI (2006)

Keyphrases

reasoning about actions
plan recognition
logic programming
modal logic
situation calculus
classical logic
action theories
decision theoretic
linear logic
data sets
set theory
state transitions
logical framework
multi valued
information systems
computer vision
artificial intelligence
machine learning