Filters








1,567 Hits in 3.6 sec

Page 658 of Mathematical Reviews Vol. , Issue 2000a [page]

<span title="">2000</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;
and its effective reductions.  ...  Summary: “We first define general domain circumscription (GDC) and provide it with a semantics.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2000-01_2000a/page/658" 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_2000-01_2000a/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Nested abnormality theories

Vladimir Lifschitz
<span title="">1995</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
These advantages are demonstrated by recasting several familiar applications of circumscription in the new format, including some examples of inheritance hierarchies, the domain closure assumption and  ...  The new style of applying circumscription sometimes leads to more economical and elegant formalizations. Mathematical properties of nested abnormality theories may be easier to investigate.  ...  Acknowledgements I would like to thank Michael Gelfond, Raymond Reiter and the anonymous referees for useful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0004-3702(95)98594-e">doi:10.1016/0004-3702(95)98594-e</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4akm7ki3cfc25nstoolcbv2hbe">fatcat:4akm7ki3cfc25nstoolcbv2hbe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170929085850/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/778/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMDA0MzcwMjk1OTg1OTRl.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/14/a4/14a472ab78dda70da3dbeaec684d1d2c6d743080.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0004-3702(95)98594-e"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Page 4227 of Mathematical Reviews Vol. , Issue 99f [page]

<span title="">1999</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 this case, we propose a provably sound and complete incremental planner, i.e., a planner that can usually output an executable prefix of the final plan before it has generated the whole plan.” 99f:  ...  Furthermore, we show that plan generation can be carried out in time bounded by a polynomial in the size of the input and the size of the generated solution.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1999-06_99f/page/4227" 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-06_99f/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

McCarthy variations in a modal key

Johan van Benthem
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
First, we re-analyze circumscription in dynamic logics of belief change under hard and soft information.  ...  Finally, we draw some general methodological comparisons between 'Logical AI' and practices in modal logic, pointing at some creative tensions.  ...  Especially, I thank Hans van Ditmarsch and Andreas Herzig, Garhard Lakemeyer, as well as the editors of this volume, and in addition, at least three anonymous referees.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2010.04.014">doi:10.1016/j.artint.2010.04.014</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fnjbjaj5kndvppwvtdj3lkml7m">fatcat:fnjbjaj5kndvppwvtdj3lkml7m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190312072130/https://core.ac.uk/download/pdf/82628014.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/41/3b/413b7c0ed0a7e6b17ae8acdc6feede420d5c5590.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2010.04.014"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Default reasoning about spatial occupancy

Murray Shanahan
<span title="">1995</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
Particular attention is given to the interaction between the default reasoning required by these solutions and that required to overcome the frame problem, especially when the latter demands an "existence  ...  Acknowledgements Thanks to Rob Miller, Mark Ryan and M&hail Soutchanski. The author is supported by an EPSRC Advanced Research Fellowship.  ...  This is why domain closure is too coarse to be effective. In effect, we need to pick a fluent to minimise in each situation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0004-3702(94)00071-8">doi:10.1016/0004-3702(94)00071-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ed2vrk2ltbfofpl6tp7543em3e">fatcat:ed2vrk2ltbfofpl6tp7543em3e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171002083301/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/b3e/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMDA0MzcwMjk0MDAwNzE4.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/ee/39/ee39582b408586e77256caa5e087f9aaf37c6115.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0004-3702(94)00071-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Chapter 18 Temporal Action Logics [chapter]

Patrick Doherty, Jonas Kvarnström
<span title="">2008</span> <i title="Elsevier"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/knzhtkesqzhbzjhdqapu633m7i" style="color: black;">Foundations of Artificial Intelligence</a> </i> &nbsp;
as a general field of research [52, 56] .  ...  Much insight was gained both in terms of advantages and limitations of previously proposed logics of action and change and in how one might go about proposing new logics of action and change in a principled  ...  If one uses this technique in a principled manner and restricts the generation of such policies to only include positive occurrences of the predicate Occlude in the theory, then a reduction of the 2nd-order  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1574-6526(07)03018-0">doi:10.1016/s1574-6526(07)03018-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mcoyxg7aije6dcjxj2y5aacg5q">fatcat:mcoyxg7aije6dcjxj2y5aacg5q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120712180940/http://www.ida.liu.se/divisions/aiics/publications/Chapter-2009-Temporal-Action-Logics.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/f2/44/f2448dd09b17e4fb357b3c0b0ff961e27cf8730a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1574-6526(07)03018-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

The Complexity of Circumscription in DLs

P. A. Bonatti, C. Lutz, F. Wolter
<span title="2009-08-26">2009</span> <i title="AI Access Foundation"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4ax4efcwajcgvidb6hcg6mwx4a" style="color: black;">The Journal of Artificial Intelligence Research</a> </i> &nbsp;
It becomes complete for NP^NExpTime when the number of minimized and fixed predicates is bounded by a constant.  ...  We study DLs extended with circumscription under different language restrictions and under different constraints on the sets of minimized, fixed, and varying predicates, and pinpoint the exact computational  ...  It is more general than standard prioritized circumscription, which assumes a total ordering (McCarthy, 1986; Lifschitz, 1985) , and a special case of nested circumscription (Lifschitz, 1995) .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.2763">doi:10.1613/jair.2763</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v3uxwqeplzdrrm6wwziyjzg5my">fatcat:v3uxwqeplzdrrm6wwziyjzg5my</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190426105205/https://jair.org/index.php/jair/article/download/10620/25399" 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/1a/90/1a90799ebb4c64b9e01a61bd78f0e92a4c15f45b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.2763"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Circumscription with homomorphisms: solving the equality and counterexample problems

Peter K. Rathmann, Marianne Winslett, Mark Manasse
<span title="1994-09-01">1994</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/r72grtxx6jad5hjzl7fxcunwhi" style="color: black;">Journal of the ACM</a> </i> &nbsp;
A deficiency in the circumscriptive approach to common-sense reasoning has been its difficulties in producing default conclusions about equallty; for example, one cannot, in general, conclude by default  ...  Formalisms and Methods-predicate logic; 1.2.0 [Artificial Intelligence]: General -plulosophical foundation General Terms: Theory Additional  ...  It is a relation, and since M's universe consists only of ground-term extensions, h covers its domain.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/185675.185678">doi:10.1145/185675.185678</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/obkkafik6vfdtflg6ryhbzroj4">fatcat:obkkafik6vfdtflg6ryhbzroj4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20061109012136/http://www.std.org:80/~msm/common/circumscrip.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/d7/ce/d7ce2bfc86ee584fc1b4248db1d7a312183a6f64.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/185675.185678"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Reducing belief revision to circumscription (and vice versa)

Paolo Liberatore, Marco Schaerf
<span title="">1997</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
In this paper we greatly extend Winslett's work by establishing new relations between circumscription and a large number of belief revision operators.  ...  Both approaches have been proven effective in a number of different situations. However, little is known about their ~lationship.  ...  It is generally believed that there is no "best" method and that each one is suited for a particular domain of application.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(97)00016-7">doi:10.1016/s0004-3702(97)00016-7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dhz4yqodzfazrougv3k642nupu">fatcat:dhz4yqodzfazrougv3k642nupu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190220225832/https://core.ac.uk/download/pdf/82206274.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/0b/ce/0bceb31166e435ee5df624d8603443fefd401dc0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(97)00016-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A Tractable Logic for Molecular Biology

Adrien Husson, Jean Krivine
<span title="2019-09-17">2019</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
They can be composed in order to add or remove static and dynamic observations. A second-order circumscription operator then enables nonmonotonic reasoning on the changes implied by a formula.  ...  We introduce a logic for knowledge representation and reasoning on protein-protein interactions. Modulo a theory, formulas describe protein structures and dynamic changes.  ...  We combine general domain circumscription (GDC) [9, 14] and parallel predicate circumscription [15] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.306.17">doi:10.4204/eptcs.306.17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fnccj5gdyzd6fpm5gpoi25lusq">fatcat:fnccj5gdyzd6fpm5gpoi25lusq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200910234313/https://arxiv.org/pdf/1909.08236v1.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c7/f2/c7f2e46194b6f95d14579388fb34c57feebffa3f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.306.17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

J. Lee, R. Palla
<span title="2012-04-24">2012</span> <i title="AI Access Foundation"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4ax4efcwajcgvidb6hcg6mwx4a" style="color: black;">The Journal of Artificial Intelligence Research</a> </i> &nbsp;
Based on the discovery that circumscription and the stable model semantics coincide on a class of canonical formulas, we reformulate the situation calculus and the event calculus in the general theory  ...  of action languages, such as language A and several of its descendants.  ...  Acknowledgments We are grateful to Yuliya Lierler, Vladimir Lifschitz, Erik Mueller, Heng Zhang, Yan Zhang, and the anonymous referees for their useful comments and discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.3489">doi:10.1613/jair.3489</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6jihewtj5renvjo3bano4gumna">fatcat:6jihewtj5renvjo3bano4gumna</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180423225420/http://www.jair.org/media/3489/live-3489-6241-jair.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/a3/b1/a3b195f5291afa9c07bb0e9f18defceb7a1488ec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.3489"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE [chapter]

John McCarthy
<span title="">1981</span> <i title="Elsevier"> Readings in Artificial Intelligence </i> &nbsp;
The effects of e can be described by sentences relating s , e and s.  ...  Intuitively, circumscription should not be monotonic, since it is the conjecture that the ways we know of generating P 's are all there are.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/b978-0-934613-03-3.50035-0">doi:10.1016/b978-0-934613-03-3.50035-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4cuudoqfgra3xhig33xrfni4f4">fatcat:4cuudoqfgra3xhig33xrfni4f4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809081854/http://www.cs.ucf.edu/~dcm/Teaching/COT4810-Spring2011/Presentations/epistemological.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/5e/47/5e47735f35bab481261696b76937042c9a457154.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/b978-0-934613-03-3.50035-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Social Vulnerability to Natural Hazards in Urban Systems. An Application in Santo Domingo (Dominican Republic)

Eleonora Giovene di Girasole, Daniele Cannatella
<span title="2017-11-07">2017</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oglosmy3gbhuzobyjit4qalakq" style="color: black;">Sustainability</a> </i> &nbsp;
These sets of measures have produced a progressive reduction of disaster-related mortality.  ...  The concept of risk has become increasingly complex, and has been used not only in relation to the natural features of a region, but also to its socio-economic context.  ...  cities without losing relevance and effectiveness.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/su9112043">doi:10.3390/su9112043</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mkbl3rq6bvdlrozk5lmtsgqzwi">fatcat:mkbl3rq6bvdlrozk5lmtsgqzwi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427124730/https://repository.tudelft.nl/islandora/object/uuid%3A5c52fda5-adba-41aa-905a-657f1750a794/datastream/OBJ/download" 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/32/0d/320d77a0ca41ee352dd4ed0b74966d7a1a3c6692.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/su9112043"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Revisiting Grounded Circumscription in Description Logics [chapter]

Stathis Delivorias, Sebastian Rudolph
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Our paper builds on their general idea, but identifies some problems with the original semantics definition, which gives rise to counter-intuitive consequences and renders the proposed tableau algorithm  ...  One of the proposals with good computational properties is Grounded Circumscription, introduced by Sengupta, Krishnadi and Hitzler in 2011.  ...  Hence we have modified the main definition to one that is more effective and more intuitive.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-45276-0_5">doi:10.1007/978-3-319-45276-0_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qp5iaoay2va5tdrv6idllq3jfy">fatcat:qp5iaoay2va5tdrv6idllq3jfy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429002803/https://hal-lirmm.ccsd.cnrs.fr/lirmm-01400068/document" 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/c3/30/c3303c8f958d95db51ce2d1f30bc8f1db60b9996.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-45276-0_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 5736 of Mathematical Reviews Vol. , Issue 92j [page]

<span title="">1992</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;
The theorem is quite general, in the sense that that it is applicable not only to the blocks world, but to a whole class of domains involving situations and actions.  ...  The main theorem describes the effect of the circumscription that solves the frame problem in the pres- ence of ramifications.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1992-10_92j/page/5736" 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_1992-10_92j/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,567 results