About Epistemic Negation and World Views in Epistemic Logic Programs
In this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with “ epistemic operators” and “ epistemic negation”, and a recent approach to the semantics of such programs in terms of World Views. We propose some observations on the existence and number of world view...
Gespeichert in:
| Veröffentlicht in: | Theory and practice of logic programming 2019-09, Vol.19 (5-6), p.790-807 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 807 |
|---|---|
| container_issue | 5-6 |
| container_start_page | 790 |
| container_title | Theory and practice of logic programming |
| container_volume | 19 |
| creator | COSTANTINI, STEFANIA |
| description | In this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with “ epistemic operators” and “ epistemic negation”, and a recent approach to the semantics of such programs in terms of World Views. We propose some observations on the existence and number of world views. We show how to exploit an extended ASP semantics in order to: (i) provide a characterization of world views, different from existing ones; (ii) query world views and query the whole set of world views. |
| doi_str_mv | 10.1017/S147106841900019X |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2300617418</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cupid>10_1017_S147106841900019X</cupid><sourcerecordid>2300617418</sourcerecordid><originalsourceid>FETCH-LOGICAL-c317t-743e3a5076cd8a6ae06986a8df5ff698736aff0a1247e5dd0d570f8def14899e3</originalsourceid><addsrcrecordid>eNp1kFtLAzEQhYMoWKs_wLcFn1dnmmySfSy1XqCo4PVtSTfJktLd1GSL-O9NbUFBfJkZZr5zBg4hpwjnCCguHpEJBC4ZlgCA5dseGaRVkVOQuP89Y765H5KjGBcJ4XTEBuRyPPfrPpuuXOxN6-rszjSqd77LVKezVx-WOntx5iNmrvtFzXyT6kPwTVBtPCYHVi2jOdn1IXm-mj5NbvLZ_fXtZDzLa4qizwWjhqoCBK-1VFwZ4KXkSmpbWJtGQbmyFhSOmDCF1qALAVZqY5HJsjR0SM62vqvg39cm9tXCr0OXXlYjCsBRMJSJwi1VBx9jMLZaBdeq8FkhVJuwqj9hJQ3daVQ7D0435sf6f9UXjKxq1Q</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2300617418</pqid></control><display><type>article</type><title>About Epistemic Negation and World Views in Epistemic Logic Programs</title><source>Cambridge University Press Journals Complete</source><creator>COSTANTINI, STEFANIA</creator><creatorcontrib>COSTANTINI, STEFANIA</creatorcontrib><description>In this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with “ epistemic operators” and “ epistemic negation”, and a recent approach to the semantics of such programs in terms of World Views. We propose some observations on the existence and number of world views. We show how to exploit an extended ASP semantics in order to: (i) provide a characterization of world views, different from existing ones; (ii) query world views and query the whole set of world views.</description><identifier>ISSN: 1471-0684</identifier><identifier>EISSN: 1475-3081</identifier><identifier>DOI: 10.1017/S147106841900019X</identifier><language>eng</language><publisher>Cambridge, UK: Cambridge University Press</publisher><subject>35th International Conference on Logic Programming ; Declarative programming ; Epistemology ; Logic programs ; Mathematical programming ; Original Article ; Semantics</subject><ispartof>Theory and practice of logic programming, 2019-09, Vol.19 (5-6), p.790-807</ispartof><rights>Cambridge University Press 2019</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c317t-743e3a5076cd8a6ae06986a8df5ff698736aff0a1247e5dd0d570f8def14899e3</citedby><cites>FETCH-LOGICAL-c317t-743e3a5076cd8a6ae06986a8df5ff698736aff0a1247e5dd0d570f8def14899e3</cites><orcidid>0000-0002-5686-6124</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.cambridge.org/core/product/identifier/S147106841900019X/type/journal_article$$EHTML$$P50$$Gcambridge$$H</linktohtml><link.rule.ids>164,314,780,784,27924,27925,55628</link.rule.ids></links><search><creatorcontrib>COSTANTINI, STEFANIA</creatorcontrib><title>About Epistemic Negation and World Views in Epistemic Logic Programs</title><title>Theory and practice of logic programming</title><addtitle>Theory and Practice of Logic Programming</addtitle><description>In this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with “ epistemic operators” and “ epistemic negation”, and a recent approach to the semantics of such programs in terms of World Views. We propose some observations on the existence and number of world views. We show how to exploit an extended ASP semantics in order to: (i) provide a characterization of world views, different from existing ones; (ii) query world views and query the whole set of world views.</description><subject>35th International Conference on Logic Programming</subject><subject>Declarative programming</subject><subject>Epistemology</subject><subject>Logic programs</subject><subject>Mathematical programming</subject><subject>Original Article</subject><subject>Semantics</subject><issn>1471-0684</issn><issn>1475-3081</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2019</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><recordid>eNp1kFtLAzEQhYMoWKs_wLcFn1dnmmySfSy1XqCo4PVtSTfJktLd1GSL-O9NbUFBfJkZZr5zBg4hpwjnCCguHpEJBC4ZlgCA5dseGaRVkVOQuP89Y765H5KjGBcJ4XTEBuRyPPfrPpuuXOxN6-rszjSqd77LVKezVx-WOntx5iNmrvtFzXyT6kPwTVBtPCYHVi2jOdn1IXm-mj5NbvLZ_fXtZDzLa4qizwWjhqoCBK-1VFwZ4KXkSmpbWJtGQbmyFhSOmDCF1qALAVZqY5HJsjR0SM62vqvg39cm9tXCr0OXXlYjCsBRMJSJwi1VBx9jMLZaBdeq8FkhVJuwqj9hJQ3daVQ7D0435sf6f9UXjKxq1Q</recordid><startdate>201909</startdate><enddate>201909</enddate><creator>COSTANTINI, STEFANIA</creator><general>Cambridge University Press</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7XB</scope><scope>8AL</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>Q9U</scope><orcidid>https://orcid.org/0000-0002-5686-6124</orcidid></search><sort><creationdate>201909</creationdate><title>About Epistemic Negation and World Views in Epistemic Logic Programs</title><author>COSTANTINI, STEFANIA</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c317t-743e3a5076cd8a6ae06986a8df5ff698736aff0a1247e5dd0d570f8def14899e3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2019</creationdate><topic>35th International Conference on Logic Programming</topic><topic>Declarative programming</topic><topic>Epistemology</topic><topic>Logic programs</topic><topic>Mathematical programming</topic><topic>Original Article</topic><topic>Semantics</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>COSTANTINI, STEFANIA</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Computing Database (Alumni Edition)</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>ProQuest Central Basic</collection><jtitle>Theory and practice of logic programming</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>COSTANTINI, STEFANIA</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>About Epistemic Negation and World Views in Epistemic Logic Programs</atitle><jtitle>Theory and practice of logic programming</jtitle><addtitle>Theory and Practice of Logic Programming</addtitle><date>2019-09</date><risdate>2019</risdate><volume>19</volume><issue>5-6</issue><spage>790</spage><epage>807</epage><pages>790-807</pages><issn>1471-0684</issn><eissn>1475-3081</eissn><abstract>In this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with “ epistemic operators” and “ epistemic negation”, and a recent approach to the semantics of such programs in terms of World Views. We propose some observations on the existence and number of world views. We show how to exploit an extended ASP semantics in order to: (i) provide a characterization of world views, different from existing ones; (ii) query world views and query the whole set of world views.</abstract><cop>Cambridge, UK</cop><pub>Cambridge University Press</pub><doi>10.1017/S147106841900019X</doi><tpages>18</tpages><orcidid>https://orcid.org/0000-0002-5686-6124</orcidid></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1471-0684 |
| ispartof | Theory and practice of logic programming, 2019-09, Vol.19 (5-6), p.790-807 |
| issn | 1471-0684 1475-3081 |
| language | eng |
| recordid | cdi_proquest_journals_2300617418 |
| source | Cambridge University Press Journals Complete |
| subjects | 35th International Conference on Logic Programming Declarative programming Epistemology Logic programs Mathematical programming Original Article Semantics |
| title | About Epistemic Negation and World Views in Epistemic Logic Programs |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-23T19%3A26%3A45IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=About%20Epistemic%20Negation%20and%20World%20Views%20in%20Epistemic%20Logic%20Programs&rft.jtitle=Theory%20and%20practice%20of%20logic%20programming&rft.au=COSTANTINI,%20STEFANIA&rft.date=2019-09&rft.volume=19&rft.issue=5-6&rft.spage=790&rft.epage=807&rft.pages=790-807&rft.issn=1471-0684&rft.eissn=1475-3081&rft_id=info:doi/10.1017/S147106841900019X&rft_dat=%3Cproquest_cross%3E2300617418%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2300617418&rft_id=info:pmid/&rft_cupid=10_1017_S147106841900019X&rfr_iscdi=true |