Login / Signup
Describing Additive Fluents in Action Language C+.
Joohyung Lee
Vladimir Lifschitz
Published in:
IJCAI (2003)
Keyphrases
</>
action language
description language
reasoning about actions
concurrent actions
action descriptions
situation calculus
answer set programming
action theories
logic programming
web services
domain description
multi agent
domain specific
linear programming
automated reasoning