umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: Scientific Programming, ISSN 1058-9244, E-ISSN 1875-919X, artikel-id 4157030Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
Hindawi Publishing Corporation, 2018. artikel-id 4157030
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:umu:diva-146463DOI: 10.1155/2018/4157030ISI: 000427608000001OAI: oai:DiVA.org:umu-146463DiVA, id: diva2:1196661
Tillgänglig från: 2018-04-10 Skapad: 2018-04-10 Senast uppdaterad: 2018-06-09Bibliografiskt granskad

Open Access i DiVA

fulltext(1526 kB)65 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1526 kBChecksumma SHA-512
bb08c4309803a1986eb6b249d5474417cae574b9e7433ce229264978df3c7d28a5a92c280f5553fcad56627ede149cb1a7341748048bb3b4dfa320fcb44ea9aa
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltext

Personposter BETA

Nieves, Juan Carlos

Sök vidare i DiVA

Av författaren/redaktören
Nieves, Juan Carlos
Av organisationen
Institutionen för datavetenskap
I samma tidskrift
Scientific Programming
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 65 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 181 träffar
RefereraExporteraLänk till posten
Permanent länk

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