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

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • harvard-anglia-ruskin-university
  • 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
Tabulated resolution for the well-founded semantics
1998 (engelsk)Inngår i: The journal of logic programming, ISSN 0743-1066, E-ISSN 1873-5789, Vol. 34, nr 2, s. 67-109Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Based on the search forest for positive programs as defined by Bol and Degerstedt, we define a tabulation-based framework that is sound and complete (when floundering does not occur) w.r.t. the well-founded semantics. In contrast to SLS-resolution as proposed by Przymusinski and by Ross, a positivistic computation rule is not required. Moreover, unlike SLG-resolution due to Chen and Warren, our proposal relies on tabulation for both positive and negative recursion without losing the clear separation of the search space from search strategies. In particular, the newly proposed search forest is finite for nonfloundering functor-free programs.

sted, utgiver, år, opplag, sider
1998. Vol. 34, nr 2, s. 67-109
HSV kategori
Identifikatorer
URN: urn:nbn:se:sh:diva-12703DOI: 10.1016/S0743-1066(97)00073-3ISI: 000071535900001OAI: oai:DiVA.org:sh-12703DiVA, id: diva2:452122
Tilgjengelig fra: 2011-10-28 Laget: 2011-10-28 Sist oppdatert: 2018-01-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Degerstedt, Lars

Søk i DiVA

Av forfatter/redaktør
Degerstedt, Lars
I samme tidsskrift
The journal of logic programming

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • harvard-anglia-ruskin-university
  • 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