A New Incarnation of Action Language H.

Sandeep Chintabathina Richard Watson

Published in: Correct Reasoning (2012)

Keyphrases

action language
description language
reasoning about actions
concurrent actions
action descriptions
answer set programming
action theories
situation calculus
machine learning
relational databases
logic programs
domain description