Modular action language.

Daniela Inclezan Michael Gelfond

Published in: Theory Pract. Log. Program. (2016)

Keyphrases

action language
description language
reasoning about actions
concurrent actions
action descriptions
answer set programming
situation calculus
action theories
general purpose
machine learning
case study
linear programming
logic programming
domain description