Action Language Verifier, Extended.

Tuba Yavuz-Kahveci Constantinos Bartzis Tevfik Bultan

Published in: CAV (2005)

Keyphrases

action language
reasoning about actions
description language
action descriptions
action theories
concurrent actions
situation calculus
answer set programming
general purpose
logic programming