Online action language oBC+

Joseph Babb, Joohyung Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages97-111
Number of pages15
Volume9345
ISBN (Print)9783319232638
DOIs
StatePublished - 2015
Event13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015 - Lexington, United States
Duration: Sep 27 2015Sep 30 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9345
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015
CountryUnited States
CityLexington
Period9/27/159/30/15

Fingerprint

Syntactics
Semantics
Answer Sets
Language
Arbitrary

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Babb, J., & Lee, J. (2015). Online action language oBC+. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9345, pp. 97-111). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9345). Springer Verlag. https://doi.org/10.1007/978-3-319-23264-5_9

Online action language oBC+. / Babb, Joseph; Lee, Joohyung.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9345 Springer Verlag, 2015. p. 97-111 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9345).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Babb, J & Lee, J 2015, Online action language oBC+. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 9345, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9345, Springer Verlag, pp. 97-111, 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, Lexington, United States, 9/27/15. https://doi.org/10.1007/978-3-319-23264-5_9
Babb J, Lee J. Online action language oBC+. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9345. Springer Verlag. 2015. p. 97-111. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-23264-5_9
Babb, Joseph ; Lee, Joohyung. / Online action language oBC+. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9345 Springer Verlag, 2015. pp. 97-111 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{18b0f17f1637470c81b64d010114bf41,
title = "Online action language oBC+",
abstract = "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.",
author = "Joseph Babb and Joohyung Lee",
year = "2015",
doi = "10.1007/978-3-319-23264-5_9",
language = "English (US)",
isbn = "9783319232638",
volume = "9345",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "97--111",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Online action language oBC+

AU - Babb, Joseph

AU - Lee, Joohyung

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

VL - 9345

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 97

EP - 111

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -