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 publicationLogic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Proceedings
EditorsMiroslaw Truszczynski, Francesco Calimeri, Giovambattista Ianni
PublisherSpringer Verlag
Pages97-111
Number of pages15
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)0302-9743
ISSN (Electronic)1611-3349

Other

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

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

Cite this