<div class="csl-bib-body">
<div class="csl-entry">Saribatur Yaman, Z. G., & Eiter, T. (2016). Reactive Policies with Planning for Action Languages. In L. Michael & A. Kakas (Eds.), <i>Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings</i> (pp. 463–480). Springer. https://doi.org/10.1007/978-3-319-48758-8_30</div>
</div>
The final publication is available via <a href="https://doi.org/10.1007/978-3-319-48758-8_30" target="_blank">https://doi.org/10.1007/978-3-319-48758-8_30</a>.
-
dc.description.abstract
Action languages are an important family of formalisms to represent action domains in a declarative manner and to reason about them. For this reason, the behavior of an agent in an environment may be governed by policies which take such action domain descriptions into account. In this paper, we describe a formal semantics for describing policies that express a reactive behavior for an agent, and connect our framework with the representation power of action languages. In this framework, we mitigate the large state spaces by employing the notion of indistinguishability, and combine components that are efficient for describing reactivity such as target establishment and (online) planning. Our representation allows one to analyze the flow of executing the given reactive policy, and lays foundations for verifying properties of policies. Additionally, the flexibility of the representation opens a range of possibilities for designing behaviors.
en
dc.description.sponsorship
Austrian Science Funds (FWF)
-
dc.language
English
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.title
Reactive Policies with Planning for Action Languages
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.relation.isbn
9783319487571
-
dc.relation.doi
10.1007/978-3-319-48758-8
-
dc.relation.issn
0302-9743
-
dc.description.startpage
463
-
dc.description.endpage
480
-
dc.relation.grantno
W1255-N23
-
dc.rights.holder
Springer International Publishing AG 2016
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
-
tuw.container.volume
10021
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.version
am
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publisher.doi
10.1007/978-3-319-48758-8_30
-
dc.identifier.libraryid
AC11362690
-
dc.description.numberOfPages
18
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-3089
-
tuw.author.orcid
0000-0001-6003-6345
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
tuw.event.name
JELIA: European Conference on Logics in Artificial Intelligence 2016
-
tuw.event.startdate
09-11-2016
-
tuw.event.enddate
11-11-2016
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Larnaca
-
tuw.event.country
CY
-
tuw.event.presenter
Saribatur Yaman, Zeynep Gözen
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
