umu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
2018 (engelsk)Inngår i: Scientific Programming, ISSN 1058-9244, E-ISSN 1875-919X, artikkel-id 4157030Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

In this paper, we introduce new semantics (that we call D3-WFS-DCOMP) and compare it with the stable semantics (STABLE). For normal programs, this semantics is based on suitable integration of the well-founded semantics (WFS) and the Clark's completion. D3-WFS-DCOMhas the following appealing properties: First, it agrees with STABLE in the sense that it never defines a nonminimal model or a nonminimal supported model. Second, for normal programs it extends WFS. Third, every stable model of a disjunctive program.. is a D3-WFS-DCOM model of P. Fourth, it is constructed using transformation rules accepted by STABLE. We also introduce second semantics that we call D2-WFS-DCOMP. We show that D2-WFS-DCOMP is equivalent to D3-WFS-DCOMP for normal programs but this is not the case for disjunctive programs. We also introduce third new semantics that supports the use of implicit disjunctions. We illustrate how these semantics can be extended to programs including explicit negation, default negation in the head of a clause, and a lub operator, which is a generalization of the aggregation operator setof over arbitrary complete lattices.

sted, utgiver, år, opplag, sider
Hindawi Publishing Corporation, 2018. artikkel-id 4157030
HSV kategori
Identifikatorer
URN: urn:nbn:se:umu:diva-146463DOI: 10.1155/2018/4157030ISI: 000427608000001OAI: oai:DiVA.org:umu-146463DiVA, id: diva2:1196661
Tilgjengelig fra: 2018-04-10 Laget: 2018-04-10 Sist oppdatert: 2018-06-09bibliografisk kontrollert

Open Access i DiVA

fulltext(1526 kB)65 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1526 kBChecksum SHA-512
bb08c4309803a1986eb6b249d5474417cae574b9e7433ce229264978df3c7d28a5a92c280f5553fcad56627ede149cb1a7341748048bb3b4dfa320fcb44ea9aa
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekst

Personposter BETA

Nieves, Juan Carlos

Søk i DiVA

Av forfatter/redaktør
Nieves, Juan Carlos
Av organisasjonen
I samme tidsskrift
Scientific Programming

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 65 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 180 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf