Filters








17,884 Hits in 13.2 sec

Dynamic extensions for the logic of knowing why with public announcements of formulas [article]

Nicholas Pischke
<span title="2018-09-20">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we address the logic of knowing why, an example of a non-standard epistemic logic dealing with justified knowledge via a new epistemic operator, under the extensions with ideas from dynamic  ...  Through the additional notions present in the knowing why context, we consider two possible variants, namely the extensions by (i): public announcements of a formula and by (ii): public announcements of  ...  In contrast to justification logics however, the knowing-why operator is inherently unexplicit about the actual reasons in concerned situations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1707.05617v3">arXiv:1707.05617v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4kairxo7afgdhj7ttuo5t5vhje">fatcat:4kairxo7afgdhj7ttuo5t5vhje</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200930122837/https://arxiv.org/pdf/1707.05617v3.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/d8/ae/d8aebf8f10cc928d36c24079b4ba5196239daa2e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1707.05617v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Teaching the Concept of Limit by Using Conceptual Conflict Strategy and Desmos Graphing Calculator

Senfeng Liang
<span title="2015-10-03">2015</span> <i title="International Journal of Research in Education and Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/brsp4f4b75bnvf27a7fagysgqm" style="color: black;">International Journal of Research in Education and Science</a> </i> &nbsp;
I focus on applying the conceptual conflict idea to the concept of limit in the situation where x approaches infinity.  ...  Although the mathematics community has long accepted the concept of limit as the foundation of modern Calculus, the concept of limit itself has been marginalized in undergraduate Calculus education.  ...  Application of Conceptual Conflict to Teach the Concept of Limit Why Limit Matters? The concept of limit is situated in an ironic place in the current Calculus education.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.21890/ijres.62743">doi:10.21890/ijres.62743</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vxs7z66t7fhorj35lmdsh7rd7y">fatcat:vxs7z66t7fhorj35lmdsh7rd7y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181231152625/https://files.eric.ed.gov/fulltext/EJ1105103.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/b5/55/b555db4d75cca160d723ba4039561ea9dd6c4163.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.21890/ijres.62743"> <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>

Towards A Formal Model of Opportunism Based on Situation Calculus [chapter]

Jieting Luo, Frank Dignum, John-Jules Meyer
<span title="">2015</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;
In this study, we propose a formal model of opportunism based on situation calculus.  ...  In social interactions, it is common for one party to possess more or better knowledge about a specific transaction than others.  ...  Acknowledgement The research is supported by China Scholarship Council. We would like to thank anonymous reviewers, Marlo Souza, Hein Duijf and other colleagues for their helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-27343-3_16">doi:10.1007/978-3-319-27343-3_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/azotjw5hqjhqddri6rmhtt3d6e">fatcat:azotjw5hqjhqddri6rmhtt3d6e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190216224829/http://pdfs.semanticscholar.org/0389/40426d1f6820184bb2bb3d3f90b0cd4814f2.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/03/89/038940426d1f6820184bb2bb3d3f90b0cd4814f2.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-27343-3_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Behaviour Explanation via Causal Analysis of Mental States: A Preliminary Report [article]

Shakil M. Khan
<span title="2022-05-16">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In our framework, one can reason about causes of motivational states, and we allow motivation-altering actions to be causes of observed effects.  ...  Inspired by a novel action-theoretic formalization of actual cause, Khan and Lesp\'erance (2021) recently proposed a first account of causal knowledge that supports epistemic effects, models causal knowledge  ...  Action and Knowledge The Situation Calculus Our base framework for modeling causal reasoning is the situation calculus (SC) [McCarthy and Hayes, 1969] as formalized in [Reiter, 2001] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.07443v1">arXiv:2205.07443v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p2kh5kmvlfht3flebhwws72svq">fatcat:p2kh5kmvlfht3flebhwws72svq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220518125837/https://arxiv.org/pdf/2205.07443v1.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/83/30/83304f30cb2ffe63e526264b6378f711e0765abd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.07443v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl
<span title="">1997</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;
It is based on a formal theory of action specified in an extended version of the situation calculus. A prototype implementation in Prolog has been developed. 0 Elsevier Science Inc., 1997 a  ...  D This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied  ...  But why do we treat these as macros rather than as first class objects (terms) in the language of the situation calculus?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0743-1066(96)00121-5">doi:10.1016/s0743-1066(96)00121-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4fn7qhkw7veuvlewbnexmutizq">fatcat:4fn7qhkw7veuvlewbnexmutizq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170925124105/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/28f/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDc0MzEwNjY5NjAwMTIxNQ%3D%3D.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/83/27/832743e60b713bfd1b287d0f0cee8fe3779b77fa.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(96)00121-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Evidence elimination in multi-agent justification logic

Bryan Renne
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wi3otyijsnbgnhvy6gfwdffoiu" style="color: black;">Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - TARK &#39;09</a> </i> &nbsp;
This novel combination incorporates a new kind of multi-agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemic Logic, resulting in a system for reasoning  ...  This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning  ...  It is not too hard to see that the update frame above describes a situation in which it is common knowledge that ϕ is communicated; that is, each agent knows that ϕ is communicated, each agent knows that  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1562814.1562845">doi:10.1145/1562814.1562845</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/tark/Renne09.html">dblp:conf/tark/Renne09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yvlmme4ojbhmlayjo7ljpfdrti">fatcat:yvlmme4ojbhmlayjo7ljpfdrti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130107232423/http://bryan.renne.org/docs/renne-elimination-tark09.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/e0/ab/e0ab83716e01bd2cd89547944ba6fcfea7649a14.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1562814.1562845"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus [chapter]

Vahid Vaezian, James P. Delgrande
<span title="">2017</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;
We review how knowledge is formalized in the Situation Calculus (a logical formalism for reasoning about action and change) and discuss the problems that occur when unexecutable actions (those actions  ...  Formalization of knowledge is an important aspect of reasoning about change.  ...  There have been several variants of formalization of knowledge in the Situation Calculus based on this approach.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-57351-9_20">doi:10.1007/978-3-319-57351-9_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5ttbwhwxmjbmrnvlp3duqn6zeu">fatcat:5ttbwhwxmjbmrnvlp3duqn6zeu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200319170118/http://summit.sfu.ca/system/files/iritems1/18783/etd20070.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/9e/209eeec8ed9d36a8ca61d84d52047b6c52ebf1b5.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-57351-9_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Causality as a key to the frame problem

Hideyuki Nakashima, Hitoshi Matsubara, Ichiro Osawa
<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;
There are two kinds of nonmonotonicity in the reasoning of changes: one due to a lack of information, the other due to change itself.  ...  As one of the heuristics it is subject to change as more information becomes available.  ...  The authors are thankful to Koiti Hasida for his useful discussion and comments on an earlier draft of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(96)00056-2">doi:10.1016/s0004-3702(96)00056-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vr45bww63nbcdnoq5antccg5ym">fatcat:vr45bww63nbcdnoq5antccg5ym</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190417010602/https://core.ac.uk/download/pdf/82114970.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/fe/f8/fef8e2c280b3e3f7b73aedfc3ab90b578fd73be6.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(96)00056-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Comparing Calculus Communication across Static and Dynamic Environments Using a Multimodal Approach

Oi-Lam Ng
<span title="2016-04-04">2016</span> <i title="Springer Nature"> Digital Experiences in Mathematics Education </i> &nbsp;
The first is a 'static' environment in the sense of static visual representations, such as those found in textbook diagrams, while the second is a dynamic environment as exploited by the use of dynamic  ...  positioning certain ways of thinking about calculus.  ...  This means that dragging was an important mode of communication about calculus and, more importantly, that calculus communication was situated in relation to the DGE.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s40751-016-0014-8">doi:10.1007/s40751-016-0014-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bz4rykywynblpcwqhoy3mq2bcq">fatcat:bz4rykywynblpcwqhoy3mq2bcq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030070802/https://link.springer.com/content/pdf/10.1007%2Fs40751-016-0014-8.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/88/5f/885fa2357e2421b0fbb0a4f9f9e35152f0685a4e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s40751-016-0014-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

THE STORIES OF LOGIC AND INFORMATION [chapter]

Johan van Benthem, Maricarmen Martinez
<span title="">2008</span> <i title="Elsevier"> Philosophy of Information </i> &nbsp;
We do not know what the real situation is, but we have some information about it, encoded in a current range of models.  ...  & B is the actual situation.  ...  Maricarmen Martinez was responsible for the parts on situation theory, with some valuable textual contributions by John Perry -and by Johan van Benthem for the epistemic logic and the other parts. We  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/b978-0-444-51726-5.50012-1">doi:10.1016/b978-0-444-51726-5.50012-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6kyfhzgplzcz5fpavhwlwuyg7y">fatcat:6kyfhzgplzcz5fpavhwlwuyg7y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923050112/https://pure.uva.nl/ws/files/4302036/62140_295835.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/56/2a/562abadca90b18cae606492206b61e9a331cf150.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-444-51726-5.50012-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

An Attempt to Bring Calculation Closer to Student Reality through Active Methodologies: 4E's

Altieres Bomfim Ribeiro, Roberta Veloso Garcia, Estaner Claro Romao
<span title="2020-02-20">2020</span> <i title="ISTES Organization"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/sjk5inhx4rdoxfdazraa5d3kqi" style="color: black;">International Journal on Studies in Education</a> </i> &nbsp;
A questionnaire was also applied to EEL students to map their most common difficulties and specially to know the students perspective on the current situation of the discipline.  ...  The Calculus I course has high failure rates in universities in Brazil and around the world, as well as at the School Engineering of Lorena (EEL).  ...  Later, this common sense of the students will be confronted with what the theory says about that situation, causing a change of perspective from something that the student already knows.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.46328/ijonse.4">doi:10.46328/ijonse.4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qedno2oegvgovdtg25ytnbbaku">fatcat:qedno2oegvgovdtg25ytnbbaku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201105230708/https://ijonse.net/index.php/ijonse/article/download/4/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/1a/0c/1a0c88d604464083079a8274e16edabf72ab7ff0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.46328/ijonse.4"> <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>

Logical Formalizations of Commonsense Reasoning: A Survey

Ernest Davis
<span title="2017-08-25">2017</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;
This paper surveys the use of logic-based representations of commonsense knowledge in artificial intelligence research.  ...  One approach that has been pursued since the earliest days of the field has been to encode commonsense knowledge as statements in a logic-based representation language and to implement commonsense reasoning  ...  That is, the analysis characterizes abstractly what the reasoner knows about the problem and about the world and how that knowledge is involved in solving the task, but makes no claims about how the knowledge  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.5339">doi:10.1613/jair.5339</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rt4pvmx6dzejjjvijr4kucjldq">fatcat:rt4pvmx6dzejjjvijr4kucjldq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180421110024/http://www.jair.org/media/5339/live-5339-10113-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/56/01/560190715c762b034ddb0e36ee1484c38211c847.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.5339"> <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>

Knowledge representation and commonsense reasoning: Reviews of four books

Leora Morgenstern
<span title="">2006</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 questions of how one can represent and store large amounts of information in a knowledge base system, and query the knowledge bases about simple consequences of the stored information, have led to  ...  That is, in order to get a computer to behave in a way that exhibits common sense, one must first provide it with a fair amount of basic facts about the world.  ...  Conclusion Both knowledge representation and formal commonsense reasoning have progressed markedly over the past several decades.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2006.10.012">doi:10.1016/j.artint.2006.10.012</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bz7fxqxh2veytc26ilcxkiexbq">fatcat:bz7fxqxh2veytc26ilcxkiexbq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190419050349/https://core.ac.uk/download/pdf/82488045.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/ff/12/ff12a5b83c8911fee876b48f449ae707871e8c5e.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.2006.10.012"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Exploring a theory of play

Johan van Benthem
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wi3otyijsnbgnhvy6gfwdffoiu" style="color: black;">Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge - TARK XIII</a> </i> &nbsp;
We explore some recent directions for the logical foundations of social action that emerge from contacts between logic, game theory, philosophy, and computer science. 1  ...  In modal logics of action and knowledge, Perfect Recall can cause Π 1 1 -completeness by grid encoding [15] .  ...  Limit update models for 'positive-existential' modal formulas ϕ are definable in the modal μ-calculus. Arbitrary formulas require inflationary μ-calculus. Why is rationality self-fulfilling?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2000378.2000380">doi:10.1145/2000378.2000380</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/tark/Benthem11.html">dblp:conf/tark/Benthem11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rxaf3rnoefbztl35b6rlz2hocy">fatcat:rxaf3rnoefbztl35b6rlz2hocy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808235926/https://tark.org/proceedings/tark_jul11_11/p12-van_benthem.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/2c/20/2c20fee69856d9d0e1a1ee1b14add2dec268ec09.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2000378.2000380"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A contradiction-driven approach to theory formation: conceptual issues, pragmatics in human learning, potentialities

Germana Menezes da Nóbrega, Stefano A. Cerri, Jean Sallantin
<span title="">2003</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vct5ya6gxbcelemee3tlxkwmiu" style="color: black;">Journal of the Brazilian Computer Society</a> </i> &nbsp;
we suggest potential instantiations of the model elsewhere than in Human Learning.  ...  Part of the work was supported by the IST Projects MKBEEM (Multilingual Knowledge Based European Electronic Market place) on eŋcommerce and LARFLAST (LeARning Foreign Language Scientific Terminology),  ...  on eŋLearning.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1590/s0104-65002003000300004">doi:10.1590/s0104-65002003000300004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5gcijqifebakflxrljxe44ow6q">fatcat:5gcijqifebakflxrljxe44ow6q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170820233759/http://www.scielo.br/pdf/jbcos/v9n2/04.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/d5/57/d5573458b9518e33e59ea916159d0d4bdaf1258c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1590/s0104-65002003000300004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> scielo.br </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 17,884 results