Epistemic answer set programming

Basit Öğe Kaydı
dc.authoridEzgi Iraz Su / 0000-0002-3447-8841
dc.authorscopusidEzgi Iraz Su / 55886323900
dc.authorwosidEzgi Iraz Su / GEB-8998-2022
dc.contributor.authorSu, Ezgi Iraz
dc.date.accessioned2020-08-30T20:07:03Z
dc.date.available2020-08-30T20:07:03Z
dc.date.issued2019
dc.departmentİstinye Üniversitesien_US
dc.description16th European Conference on Logics in Artificial Intelligence (JELIA) -- MAY 07-11, 2019 -- Rende, ITALYen_US
dc.description.abstractThis paper introduces a new epistemic extension of answer set programming (ASP) called epistemic ASP (E-ASP). Then, it compares E-ASP with existing approaches, showing the advantages and the novelties of the new semantics and discusses which formalisms provide more intuitive results: compared to Gelfond's epistemic specifications (ES), E-ASP defines a simpler, but sufficiently strong language. Its epistemic view semantics is a natural and more standard generalisation of ASP's original answer set semantics, so it allows for ASP's previous language extensions. Moreover, compared to all semantics proposals in the literature, epistemic view semantics facilitates understanding of the intuitive meaning of epistemic logic programs and solves unintended results discussed in the literature, especially for epistemic logic programs including constraints.en_US
dc.description.sponsorshipUniv Calabria, Dept Math & Comp Sci, Artificial Intelligence Grp, Univ Alta Formazione, Assessorato Istruzione & Attivita Culturali,, Regione Calabria, EurAI, Springer, Altilia S r l, Integris S p a, Intellimech, Magazzini Rossella, NTT Dataen_US
dc.identifier.citationSu, E. I. (2019, May). Epistemic answer set programming. In European Conference on Logics in Artificial Intelligence (pp. 608-626). Springer, Cham.en_US
dc.identifier.doi10.1007/978-3-030-19570-0_40en_US
dc.identifier.endpage626en_US
dc.identifier.isbn978-3-030-19570-0; 978-3-030-19569-4
dc.identifier.issn0302-9743en_US
dc.identifier.issn1611-3349en_US
dc.identifier.scopus2-s2.0-85065970387en_US
dc.identifier.scopusqualityQ3en_US
dc.identifier.startpage608en_US
dc.identifier.urihttps://doi.org/10.1007/978-3-030-19570-0_40
dc.identifier.urihttps://hdl.handle.net/20.500.12713/683
dc.identifier.volume11468en_US
dc.identifier.wosWOS:000492971900040en_US
dc.identifier.wosqualityQ4en_US
dc.indekslendigikaynakWeb of Scienceen_US
dc.indekslendigikaynakScopusen_US
dc.institutionauthorSu, Ezgi Irazen_US
dc.language.isoenen_US
dc.publisherSpringer International Publishing Agen_US
dc.relation.ispartofLogics In Artificial Intelligence, Jelia 2019en_US
dc.relation.ispartofseriesLecture Notes in Artificial Intelligence
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectAnswer Set Programmingen_US
dc.subjectEpistemic Specificationsen_US
dc.subjectModal Logic S5en_US
dc.subjectStable Modelsen_US
dc.subjectAnswer Setsen_US
dc.subjectWorld Viewsen_US
dc.subjectAutoepistemic Equilibrium Modelsen_US
dc.titleEpistemic answer set programmingen_US
dc.typeConference Objecten_US

Dosyalar

Orijinal paket
Listeleniyor 1 - 1 / 1
Küçük Resim
İsim:
H15.pdf
Boyut:
783.15 KB
Biçim:
Adobe Portable Document Format
Açıklama:
Tam Metin / Full Text
İndir

Koleksiyon

WoS İndeksli Yayınlar Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu