Show simple item record

dc.contributor.authorSu, Ezgi Iraz
dc.date.accessioned2020-08-30T20:07:03Z
dc.date.available2020-08-30T20:07:03Z
dc.date.issued2019
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.isbn978-3-030-19570-0; 978-3-030-19569-4
dc.identifier.issn0302-9743
dc.identifier.issn1611-3349
dc.identifier.urihttps://doi.org/10.1007/978-3-030-19570-0_40
dc.identifier.urihttps://hdl.handle.net/20.500.12713/683
dc.description16th European Conference on Logics in Artificial Intelligence (JELIA) -- MAY 07-11, 2019 -- Rende, ITALYen_US
dc.descriptionSu, Ezgi Iraz/0000-0002-3447-8841en_US
dc.descriptionWOS: 000492971900040en_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.language.isoengen_US
dc.publisherSpringer International Publishing Agen_US
dc.relation.ispartofseriesLecture Notes in Artificial Intelligence
dc.relation.isversionof10.1007/978-3-030-19570-0_40en_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.typeconferenceObjecten_US
dc.contributor.departmentİstinye Üniversitesien_US
dc.contributor.institutionauthorSu, Ezgi Irazen_US
dc.identifier.volume11468en_US
dc.identifier.startpage608en_US
dc.identifier.endpage626en_US
dc.relation.journalLogics In Artificial Intelligence, Jelia 2019en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record