Results 101 to 110 of about 458,924 (217)
EIL: An Exceptional Approach to Nonmonotonic Reasoning
, 2007 this paper we propose a new way of representing and handling nonmonotonic inheritance structures. The representation schema we use is called exceptional inheritance logic (EIL).
R. Al-asady, A. Narayanan
core
Specification of Nonmonotonic Reasoning
, 2007 Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame ...
Joeri Engelfriet, Jan Treur
core
Nonmonotonic Reasoning in Florid
, 1997 The advantages of Florid as a deductive object--oriented database system are the rich object--oriented modeling facilities of its language Flogic. The focus of this paper is on Florid's multiple inheritance mechanism which turns out to be a useful ...
Paul-th. Kandzia
core +1 more source
Abductive Reasoning with Filtered Circumscription
, 2009 For logical artificial intelligence to be truly useful,its methods must scale to problems of realistic size.An interruptible algorithm enables a logical agentto act in a timely manner to the best of its knowledge,given its reasoning so far.
Kvarnström, Jonas, +2 more
core
Nonmonotonic Reasoning as a Temporal Activity
CoRR, 2014 Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna, Austria, 17-19 July ...
openaire +2 more sources
Nonmonotonic Reasoning Based on Incomplete Logic
, 2007 What characterizes human reasoning is the ability of dealing with incomplete information. Incomplete logic is developed for modeling incomplete knowledge. The most distinctive feature of incomplete logic is its semantics.
Churn-Jung Liau +2 more
core
Constraint Relaxation and Nonmonotonic Reasoning
, 1992 The purpose of this paper is to bring together the two AI areas of constraint-based and nonmonotonic reasoning. In particular, we analyze the relation between different forms of constraint relaxation and a particular approach to nonmonotonic reasoning ...
Gerhard Brewka +4 more
core
Grigoris Antoniou, Nonmonotonic Reasoning, Cambridge, The MIT Press, 1997, 285 pp.
Análisis Filosófico, 1998 Estanislao Barry
doaj +1 more source
1 On natural deduction system for nonmonotonic reasoning
, 2008 This paper is concerned with the problem of how to construct a natural deduction system for nonmonotonic reasoning. Three possible constructions are investigated, the ones which consists of (1) pure nonmonotonic inference rules; (2) nonmonotonic ...
Sai Kiran Lakkaraju +2 more
core
Exploiting Parallelism for Hard Problems in Abstract Argumentation [PDF]
, 2015 argumentation framework (AF) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentation.
Vallati, Mauro +5 more
core