Filters








7 Hits in 3.4 sec

Semantics of (disjunctive) logic programs based on partial evaluation

Stefan Brass, Jürgen Dix
<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> &nbsp;
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> &nbsp;
{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]

Gerhard Brewka, Jürgen Dix
<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> &nbsp;
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> &nbsp;
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> &nbsp;
., 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]

Gerhard Brewka, Jürgen Dix
<i title="Springer-Verlag"> Handbook of Philosophical Logic </i> &nbsp;
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> &nbsp;
(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>