TY - GEN
T1 - Online action language oBC+
AU - Babb, Joseph
AU - Lee, Joohyung
N1 - Funding Information:
We are grateful to Michael Bartholomew, Yi Wang, and the anonymous referees for their useful comments on the draft. This work was partially supported by the National Science Foundation under Grant IIS-1319794 and South Korea IT R&D program MKE/KIAT 2010-TD-300404-001.
Publisher Copyright:
© Springer International Publishing Switzerland 2015.
PY - 2015
Y1 - 2015
N2 - We present an online action language called oBC+, which extends action language BC+ to handle external events arriving online. This is done by first extending the concept of online answer set solving to arbitrary propositional formulas, and then defining the semantics of oBC+ based on this extension, similar to the way the offline BC+ is defined. The design of oBC+ ensures that any action description in oBC+ satisfies the syntactic conditions required for the correct computation of online answer set solving, thereby alleviates the user’s burden for checking the sophisticated conditions.
AB - We present an online action language called oBC+, which extends action language BC+ to handle external events arriving online. This is done by first extending the concept of online answer set solving to arbitrary propositional formulas, and then defining the semantics of oBC+ based on this extension, similar to the way the offline BC+ is defined. The design of oBC+ ensures that any action description in oBC+ satisfies the syntactic conditions required for the correct computation of online answer set solving, thereby alleviates the user’s burden for checking the sophisticated conditions.
UR - http://www.scopus.com/inward/record.url?scp=84952361321&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84952361321&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-23264-5_9
DO - 10.1007/978-3-319-23264-5_9
M3 - Conference contribution
AN - SCOPUS:84952361321
SN - 9783319232638
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 97
EP - 111
BT - Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Proceedings
A2 - Truszczynski, Miroslaw
A2 - Calimeri, Francesco
A2 - Ianni, Giovambattista
PB - Springer Verlag
T2 - 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015
Y2 - 27 September 2015 through 30 September 2015
ER -