A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://core.ac.uk/download/pdf/82641202.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
Semantics of (disjunctive) logic programs based on partial evaluation
<span title="">1999</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a>
</i>
Preserved Fulltext
well-founded, stable, stationary, and static semantics). ...
Many queries with respect to these semantics can already be answered on the basis of the residual program. In fact, res(P) is complete for D-WFS, WFS and GCWA. ...
New characterizations of the stand~trd well-founded semantics [59] a:~ well as of the generalized closed world assumption GCWA [44] as the weakest seman'tics allowing our elementary transformations ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0743-1066(98)10030-4">doi:10.1016/s0743-1066(98)10030-4</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3ttrlcww4zebrbkpvbnrfyckni">fatcat:3ttrlcww4zebrbkpvbnrfyckni</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190417202018/https://core.ac.uk/download/pdf/82641202.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/fb/f3/fbf36f1057162aef8980d7d7393556e9ffc4f53f.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0743-1066(98)10030-4">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>
Page 2044 of Mathematical Reviews Vol. , Issue 99c
[page]
<span title="">1991</span>
<i title="American Mathematical Society">
<a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a>
</i>
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
{For the entire collection see MR 99a:68013.}
99c:68036 68N17 03B70
Brass, Stefan (D-HANN-I; Hannover); Dix, Jiirgen Characterizations of the disjunctive well-founded semantics: confluent calculi and iterated ...
This construction is a generalization of a description of the well-founded semantics: we introduce a very simple and neat con- struction of a sequence D, that eventually stops and represents the set of ...
<span class="external-identifiers">
</span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1991-03_99c/page/2044" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Archive [Microfilm]
<div class="menu fulltext-thumbnail">
<img src="https://archive.org/serve/sim_mathematical-reviews_1991-03_99c/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
Knowledge representation with logic programs
[chapter]
<span title="">1998</span>
<i title="Springer Berlin Heidelberg">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://dai.fmph.uniba.sk/~sefranek/cudzie/bd.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
In this tutorial-overview, which resulted from a lecture course given by the authors at the European Summer School in Logic, Language and Information 1997 in Aix-en-Provence ( ...
Fuchs, Ulrich Furbach, Ilkka Niemelä and Chiaki Sakama who provided us with many useful remarks. Katrin Erk and Dorothea Schäfer proofread parts of the paper-special thanks to them. ...
As pointed out in [Brewka, 1996a] the second condition is necessary to guarantee that prioritized well-founded semantics is an extension of well-founded semantics. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0054788">doi:10.1007/bfb0054788</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5fa5wrvqgnco5kdgef2zcsrysm">fatcat:5fa5wrvqgnco5kdgef2zcsrysm</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810150901/http://dai.fmph.uniba.sk/~sefranek/cudzie/bd.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/ae/0b/ae0b41fea2c2d333b71c42e87d48392bb3c6359d.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0054788">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Page 7267 of Mathematical Reviews Vol. , Issue 98K
[page]
<span title="">1998</span>
<i title="American Mathematical Society">
<a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a>
</i>
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
semantics: confluent calculi and iterated GCWA (143-165); Paola Forcheri, Paolo Gentilini and Maria Teresa
Molfino, Informational logic as a tool for automated reason- ing (167—190); Ph. ...
Przymusinski, “Classical” negation in nonmonotonic reasoning and logic programming (107-142); Ste- fan Brass and Jiirgen Dix, Characterizations of the disjunctive
68 COMPUTER SCIENCE
98k:68011
well-founded ...
<span class="external-identifiers">
</span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998-11_98k/page/7267" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Archive [Microfilm]
<div class="menu fulltext-thumbnail">
<img src="https://archive.org/serve/sim_mathematical-reviews_1998-11_98k/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
Page 1587 of Mathematical Reviews Vol. 31, Issue Index
[page]
<i title="American Mathematical Society">
<a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a>
</i>
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
., 99i:68018
Brass, Stefan (with Dix, Jiirgen) Characterizations of the disjunctive well-founded semantics: confluent calculi and iterated GCWA. ...
of the AIT- and AMlz-calculi. ...
<span class="external-identifiers">
</span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1999_31_index_2/page/1587" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Archive [Microfilm]
<div class="menu fulltext-thumbnail">
<img src="https://archive.org/serve/sim_mathematical-reviews_1999_31_index_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
Knowledge Representation with Logic Programs
[chapter]
<i title="Springer-Verlag">
Handbook of Philosophical Logic
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://dai.fmph.uniba.sk/~sefranek/cudzie/bd.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
In this tutorial-overview, which resulted from a lecture course given by the authors at the European Summer School in Logic, Language and Information 1997 in Aix-en-Provence ( ...
Fuchs, Ulrich Furbach, Ilkka Niemelä and Chiaki Sakama who provided us with many useful remarks. Katrin Erk and Dorothea Schäfer proofread parts of the paper-special thanks to them. ...
As pointed out in [Brewka, 1996a] the second condition is necessary to guarantee that prioritized well-founded semantics is an extension of well-founded semantics. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/1-4020-3092-4_1">doi:10.1007/1-4020-3092-4_1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fa4pkofj7fcgxgx4timys4grda">fatcat:fa4pkofj7fcgxgx4timys4grda</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810150901/http://dai.fmph.uniba.sk/~sefranek/cudzie/bd.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/ae/0b/ae0b41fea2c2d333b71c42e87d48392bb3c6359d.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/1-4020-3092-4_1">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Page 79 of Mathematical Reviews Vol. 31, Issue Index
[page]
<i title="American Mathematical Society">
<a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a>
</i>
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(English summary) 99a:68154
Brass, Stefan (with Dix, Jiirgen) Characterizations of the disjunctive well-founded semantics: confluent calculi and iterated GCWA. ...
(English summary) 99f:68131
Brewka, Gerhard (with Gottlob, Georg) Well-founded semantics for default logic. ...
<span class="external-identifiers">
</span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1999_31_index_1/page/79" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Archive [Microfilm]
<div class="menu fulltext-thumbnail">
<img src="https://archive.org/serve/sim_mathematical-reviews_1999_31_index_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>