A refinement of the language of epistemic specifications

Patrick Kahl; Richard Watson; Michael Gelfond; Yuanlin Zhang

A refinement of the language of epistemic specifications

Patrick Kahl, Richard Watson, Michael Gelfond, Yuanlin Zhang

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
Publisher	Computing Research Repository (CoRR)
ISBN (Electronic)	9780000000002
State	Published - 2014
Event	7th 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

Name	Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014

Conference

Conference	7th 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
Country/Territory	Austria
City	Vienna
Period	07/23/14 → …

Keywords

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

Cite this

@inproceedings{14a4518592d848b8a700cb25bff38ee7,

title = "A refinement of the language of epistemic specifications",

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.",

keywords = "Answer set programming extensions, Conformant planning, Epistemic logic programs, Epistemic specifications, Introspective reasoning, Logic programming",

author = "Patrick Kahl and Richard Watson and Michael Gelfond and Yuanlin Zhang",

note = "Publisher Copyright: {\textcopyright} ASPOCP 2014.All rights reserved.; 7th 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 ; Conference date: 23-07-2014",

year = "2014",

language = "English",

series = "Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014",

publisher = "Computing Research Repository (CoRR)",

booktitle = "Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014",

}

Kahl, P, Watson, R, Gelfond, M & Zhang, Y 2014, A refinement of the language of epistemic specifications. in Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014. Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014, Computing Research Repository (CoRR), 7th 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, 07/23/14.

A refinement of the language of epistemic specifications. / Kahl, Patrick; Watson, Richard; Gelfond, Michael et al.
Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014. Computing Research Repository (CoRR), 2014. (Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A refinement of the language of epistemic specifications

AU - Kahl, Patrick

AU - Watson, Richard

AU - Gelfond, Michael

AU - Zhang, Yuanlin

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Answer set programming extensions

KW - Conformant planning

KW - Epistemic logic programs

KW - Epistemic specifications

KW - Introspective reasoning

KW - Logic programming

UR - http://www.scopus.com/inward/record.url?scp=85085670369&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85085670369

T3 - Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014

BT - Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014

PB - Computing Research Repository (CoRR)

T2 - 7th 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

Y2 - 23 July 2014

ER -

A refinement of the language of epistemic specifications

Abstract

Publication series

Conference

Keywords

Other files and links

Fingerprint

Cite this