<div class="csl-bib-body">
<div class="csl-entry">Geibinger, T., & Tompits, H. (2019). Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs. In F. Calimeri, N. Leone, & M. Manna (Eds.), <i>Logics in Artificial Intelligence: 16th European Conference, JELIA 2019</i> (pp. 542–558). Springer. https://doi.org/10.1007/978-3-030-19570-0_36</div>
</div>
-
dc.identifier.isbn
9783030195700
-
dc.identifier.isbn
9783030195694
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/57876
-
dc.description.abstract
Starting with the seminal work on strong equivalence by Lifschitz,
Pearce, and Valverde, many different advanced notions of program
equivalence have been studied in the area of answer-set programming
(ASP). In particular, relativised strong equivalence with projection has been introduced as a generalisation of strong equivalence by parameterising,on the one hand, the alphabet of the context programs used for checking program equivalence as well as, on the other hand, allowing the filtering of auxiliary atoms. Like many other advanced equivalence notions, it was introduced originally for propositional programs, along with model-theoretic concepts providing characterisations when equivalence between two programs hold. In this paper, we extend these concepts and characterisations to the general case of non-ground programs.
en
dc.description.sponsorship
CDG Christian Doppler Forschungsgesellschaft
-
dc.publisher
Springer
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Answer-set programming · Program equivalence · Model-theoretic characterisations
-
dc.title
Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019
-
dc.relation.isbn
978-3-030-19569-4
-
dc.relation.doi
10.1007/978-3-030-19570-0
-
dc.relation.issn
0302-9743
-
dc.description.startpage
542
-
dc.description.endpage
558
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
11468
-
tuw.booktitle
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019
-
tuw.container.volume
11468
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.book.chapter
36
-
tuw.project.title
CD Laboratory for Artificial Intelligence and Optimization for Planning and Scheduling
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-03 - Forschungsbereich Knowledge Based Systems
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publisher.doi
10.1007/978-3-030-19570-0_36
-
dc.description.numberOfPages
17
-
tuw.event.name
JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence
-
tuw.event.startdate
07-05-2019
-
tuw.event.enddate
11-05-2019
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Rende, Kalbrien
-
tuw.event.country
IT
-
tuw.event.presenter
Geibinger, Tobias
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Logic and Computation (LC)
de
wb.facultyfocus
Logic and Computation (LC)
en
wb.facultyfocus.faculty
E180
-
wb.presentation.type
science to science/art to art
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems