Action language ℬℭ+.

Joseph Babb Joohyung Lee

Published in: J. Log. Comput. (2020)

Keyphrases

action language
description language
reasoning about actions
action descriptions
answer set programming
concurrent actions
action theories
situation calculus
domain description
expert systems
web services
relational databases
domain specific
logic programming