Filters








558 Hits in 5.8 sec

Page 5901 of Mathematical Reviews Vol. , Issue 98I [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;
Summary: “The logic of acceptance and rejection (AEL2) is a nonmonotonic formalism in the spirit of Moore’s autoepistemic logic (AEL).  ...  {For the entire collection see MR 98h:68009. } 981:68255 98i:68252 68T27 03845 03860 03B70 Gomolinska, Anna (PL-BLY-IM; Bialystok) On semantics for the nonmonotonic modal formalization of the logic of  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998-09_98i/page/5901" 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-09_98i/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

On the relation between default and modal nonmonotonic reasoning

Alexander Bochman
<span title="">1998</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
The notion of a default consequence relation is introduced as a generalization of both default and modal formalizations of nonmonotonic reasoning.  ...  It is used to study a general problem of correspondence between these two formalisms.  ...  The second kind of reasoning is associated with default logic and modal nonmonotonic logics based on "negative introspection"; it is characterized by rejecting Factoring.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(98)00011-3">doi:10.1016/s0004-3702(98)00011-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xehewctilbho5ch3vm6wn3zdze">fatcat:xehewctilbho5ch3vm6wn3zdze</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190313091504/https://core.ac.uk/download/pdf/82499493.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/46/3c/463c7f723d2d571c0a289e6ce4b1dbe8b1c17d1a.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(98)00011-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Page 9536 of Mathematical Reviews Vol. , Issue 2004m [page]

<span title="">2004</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 main semantic feature of the q-consequence reflecting this idea is that its rules lead from the non-rejected assumptions to the accepted conclusions.  ...  Subintuitionistic propositional logics are obtained studying Kripke models where the connectives are defined semantically as in intu- itionistic logic but some of the conditions on the Kripke frames that  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004-12_2004m/page/9536" 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_2004-12_2004m/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Toward Justifying Actions with Logically and Socially Acceptable Reasons [chapter]

Hiroyuki Kido, Katsumi Nitta
<span title="">2011</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;
We introduce the notions of nonmonotonic consequences as formal criteria for logical acceptability, and Pareto optimality and social welfare functions as formal criteria for social acceptability.  ...  L 0 is a language of propositional modal logic with modal operator D standing for agents' desires and L 1 is a set of defaults defined on L 0 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-25324-9_5">doi:10.1007/978-3-642-25324-9_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/asjrr64cavh2tfvasveaqmydv4">fatcat:asjrr64cavh2tfvasveaqmydv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190228084708/http://pdfs.semanticscholar.org/8f38/0402ceef375fa9125d7b9fc3b591ebce8f57.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/8f/38/8f380402ceef375fa9125d7b9fc3b591ebce8f57.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-642-25324-9_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A causal approach to nonmonotonic reasoning

Alexander Bochman
<span title="">2004</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
The results of the study suggest production and causal inference as general nonmonotonic formalisms providing an alternative representation for a significant part of nonmonotonic reasoning.  ...  We introduce logical formalisms of production and causal inference relations based on input/output logics of Makinson and Van der Torre [J. Philos. Logic 29 (2000) 383-408].  ...  Thanks also to the referees for instructive comments, despite occasional "philosophical" disagreements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2004.07.002">doi:10.1016/j.artint.2004.07.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f7yp7jaly5bcrlwggu3nex7gj4">fatcat:f7yp7jaly5bcrlwggu3nex7gj4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190418233518/https://core.ac.uk/download/pdf/81993297.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/fa/74/fa7441d315272c802126c386bff32209e8da4cb2.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.2004.07.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Logic-Based Knowledge Representation [chapter]

Franz Baader
<span title="">1999</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;
After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing,  ...  At the end of each section, we brie y comment on the connection to Logic Programming.  ...  In 83], Minsky combined his introduction of the frame idea with a general rejection of logic as a KR formalism.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48317-9_2">doi:10.1007/3-540-48317-9_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/udsbpeh5anenzcktptdb4g7w34">fatcat:udsbpeh5anenzcktptdb4g7w34</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222194350/http://pdfs.semanticscholar.org/3bf0/d1af3886fdbc84e5a1df146d14d684dcbb6a.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/3b/f0/3bf0d1af3886fdbc84e5a1df146d14d684dcbb6a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48317-9_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 19 of Mathematical Reviews Vol. , Issue 98A [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;
Jozef Sajda (Bratislava) 98a:03042 98a:03039 03B60 03B45 03B70 68T27 Gomolifska, Anna (PL-WASWB,; Bialystok) A nonmonotonic modal formalization of the logic of acceptance and rejection.  ...  The formalisms we are particularly interested in are Moore's autoepistemic logic (AEL) and its variant, the logic of acceptance and rejection (AEL2).  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998-01_98a/page/19" 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-01_98a/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Default logic generalized and simplified

Alexander Bochman
<span title="">2008</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/j2td7x4trvgx7pjoienrccryxq" style="color: black;">Annals of Mathematics and Artificial Intelligence</a> </i> &nbsp;
On the other hand, it will be shown that even the generalized default logic can be simplified to a formal system that involves only monotonic inference rules and unconditional ('supernormal') default assumptions  ...  Special attention will be paid to the representation opportunities created by such rules, in particular to the use of default justifications in the heads of the rules.  ...  I am grateful to the anonymous referees that provided very helpful and detailed comments and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10472-009-9109-x">doi:10.1007/s10472-009-9109-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hfzmnw44dzaknpqtrximn2n664">fatcat:hfzmnw44dzaknpqtrximn2n664</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830062900/http://www.hit.ac.il/acc/bochmana/DLrepr.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/9c/08/9c08825a0eec4390e00131280cefcdf46d3dc912.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10472-009-9109-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Logic and Artificial Intelligence [chapter]

Richmond H. Thomason
<span title="2009-06-18">2009</span> <i title="Oxford University Press"> The Development of Modern Logic </i> &nbsp;
The TMS also provided specific intuitions: the idea that the key to nonmonotonicity has to do with inferences based on unprovability was important for the modal approaches to nonmonotonic logic and for  ...  This treatment of nonmonotonicity is similar to the earlier modal semantic theories of conditionals-the similarities are particularly evident using the more general theories of conditional semantics, such  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/acprof:oso/9780195137316.003.0047">doi:10.1093/acprof:oso/9780195137316.003.0047</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ftchyrt7yvclzdyhxh7qnv3xoi">fatcat:ftchyrt7yvclzdyhxh7qnv3xoi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20030823200521/http://www.eecs.umich.edu:80/~rthomaso/documents/lai/lai.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/8c/ec/8cec52759face3d2d0e654900fe3a5ce906bd08c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/acprof:oso/9780195137316.003.0047"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

The logic of risky knowledge, reprised

Henry E. Kyburg, Choh Man Teng
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/sy2zvsxl4vdejh3zsp3utmplry" style="color: black;">International Journal of Approximate Reasoning</a> </i> &nbsp;
One view, characterized often by modal or nonmonotonic logics, is that the structure of such knowledge should be captured by the formal logical properties of a set of sentences, if we can just get the  ...  We show that given a body of evidence Γ δ and a threshold , the set of -accepted statements Γ gives rise to the logical structure of the classical modal system EMN, the smallest classical modal system  ...  We will examine the classical systems obtained by placing various axioms on top of the system E, but first let us consider the semantics of classical modal logics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ijar.2011.06.006">doi:10.1016/j.ijar.2011.06.006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hc7wr4jetjf6znnlxhjq3gmkqu">fatcat:hc7wr4jetjf6znnlxhjq3gmkqu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190412124907/https://core.ac.uk/download/pdf/82540757.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/9a/b4/9ab4dc6761f67117f5bec9384e0311ec431d3988.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ijar.2011.06.006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Reasoning from inconsistency: a field exploration

Kristien Dieussaert, Walter Schaeken
<span title="2005-03-01">2005</span> <i title="Ubiquity Press, Ltd."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4ahdniobsra4rizrmazddkxlyu" style="color: black;">Psychologica Belgica</a> </i> &nbsp;
We can only be very grateful for his work and personality.  ...  from various disciplines, such as psychology, philosophy, computer science and so on.  ...  To summarize, the GCM makes predictions about the belief revision process based on a modal logic perspective.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5334/pb-45-1-1">doi:10.5334/pb-45-1-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q54u7olgmje6zmknuqqnwt3szq">fatcat:q54u7olgmje6zmknuqqnwt3szq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720111816/https://www.psychologicabelgica.com/jms/article/download/pb-45-1-1/157" 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/69/f0/69f0f3cf65d7aa938b39853f688666805168b06c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5334/pb-45-1-1"> <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>

Page 2327 of Mathematical Reviews Vol. , Issue 2002D [page]

<span title="">2002</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;
Depending on whether tags are used for acceptance or for rejection of a branch in the proof tree, we refer to ‘positive’ or ‘negative’ tagging, respectively.  ...  Summary: “Logic, in particular modal logic, can be used not only in semantics but also in syntax. Here we study syntactic formalisms from a logical point of view.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2002-04_2002d/page/2327" 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_2002-04_2002d/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032)

Guillaume Aucher, Paul Egré, Gabriele Kern-Isberner, Francesca Poggliesi, Michael Wagner
<span title="2019-06-19">2019</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
→ knowledge representation and scheduling, Mathematical logic and formal languages → proof theory, Mathematical logic and formal languages → modal and temporal logic Keywords and phrases Commonsense reasoning  ...  The main objective of this seminar was to provide an opportunity for these different communities working on that topic to meet and reinforce their ties. We focused on three specific issues.  ...  Prepare a paper on the division of labor between semantics and pragmatics and the relation between inferential and difference-making conditionals. -Conditional  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.9.1.47">doi:10.4230/dagrep.9.1.47</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/AucherEKP19.html">dblp:journals/dagstuhl-reports/AucherEKP19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vgv66achk5glbfzakqtf6kzcrq">fatcat:vgv66achk5glbfzakqtf6kzcrq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220204073257/https://drops.dagstuhl.de/opus/volltexte/2019/10569/pdf/dagrep_v009_i001_p047_19032.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/20/d3/20d396861cbd9f3c6a845d3c03eac2bc82dcee6a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.9.1.47"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Page 2748 of Mathematical Reviews Vol. , Issue 97E [page]

<span title="">1997</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;
Nonmonotonic reasoning is a well-developed research area gathering the logical formalisms that treat commonsense reasoning. One of the best known of such formalisms is default logic.  ...  In this paper we discuss default logic at both the proof-theoretic and semantics levels and show that default logic provides a clear and formal framework for understanding the logical nature of commonsense  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1997-05_97e/page/2748" 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_1997-05_97e/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Semantics for a theory of defeasible reasoning

Quoc Bao Vo, Norman Y. Foo, Joe Thurbon
<span title="">2005</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/j2td7x4trvgx7pjoienrccryxq" style="color: black;">Annals of Mathematics and Artificial Intelligence</a> </i> &nbsp;
In also enforces a well-defined semantical account for Pollock's theory of defeasible reasoning based on the argumentation-theoretic approach proposed by Dung and Bondarenko et al. [1, 5] .  ...  In this paper, we establish a formal semantics for Pollock's [23] theory of defeasible reasoning.  ...  Acknowledgements We would like to thank other members of the Knowledge Systems Group for their support and encouragements for our work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10472-005-1807-4">doi:10.1007/s10472-005-1807-4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m7xibh4iaffxjc4k36wxzvi7hq">fatcat:m7xibh4iaffxjc4k36wxzvi7hq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810190556/http://www.ict.swin.edu.au/personal/bvo/pubs/amai-semantics.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/f0/1f/f01fc773a60881a9cb29be8f5847e82d48df347b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10472-005-1807-4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 558 results