Action Language Verifier.

Tevfik Bultan Tuba Yavuz-Kahveci

Published in: ASE (2001)

Keyphrases

action language
description language
reasoning about actions
concurrent actions
action descriptions
action theories
situation calculus
answer set programming
machine learning
open source
heuristic search
domain description