A refinement of the language of epistemic specifications

Patrick Kahl, Richard Watson, Michael Gelfond, Yuanlin Zhang

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

Abstract

In this paper we present a new version of the language of Epistemic Specifications. The goal is to simplify and improve the intuitive and formal semantics of the language. We describe an algorithm for computing solutions of programs written in this new version of the language. The new semantics is illustrated by a number of examples, including an Epistemic Specifications-based framework for conformant planning.

Original languageEnglish
Title of host publicationWorkshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
PublisherComputing Research Repository (CoRR)
ISBN (Electronic)9780000000002
StatePublished - 2014
Event7th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014 - Affiliated with the International Conference on Logic Programming, ICLP 2010, part of the Federated Logic Conference 2014 - Vienna, Austria
Duration: Jul 23 2014 → …

Publication series

NameWorkshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014

Conference

Conference7th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014 - Affiliated with the International Conference on Logic Programming, ICLP 2010, part of the Federated Logic Conference 2014
CountryAustria
CityVienna
Period07/23/14 → …

Keywords

  • Answer set programming extensions
  • Conformant planning
  • Epistemic logic programs
  • Epistemic specifications
  • Introspective reasoning
  • Logic programming

Fingerprint Dive into the research topics of 'A refinement of the language of epistemic specifications'. Together they form a unique fingerprint.

Cite this