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

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'Online action language oBC+'. Together they form a unique fingerprint.

Cite this