Results 91 to 100 of about 448,512 (202)
Equality-friendly well-founded semantics and applications to description logics [PDF]
, 2012 We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and nega- tions in their bodies. In particular, we provide a WFS for the recent Datalog± family of ontology languages,
Lukasiewicz, Thomas +7 more
core +1 more source
Geophysical Research Letters, Volume 53, Issue 16, 28 August 2026.Abstract Extreme positive cloud‐to‐ground lightning over East Asian midlatitudes exhibits a spring–autumn double maximum hidden by the familiar winter climatology. Using 1,838,538 return strokes with absolute peak currents at least 200 kA during 2006–2024, we resolve its annual cycle by month and latitude.
Nengxing Guo +7 more
wiley +1 more source
Is Nonmonotonic Reasoning Always Harder?
, 2007 . Although it has been shown that the worst-case complexity of the usual reasoning tasks in the context of nonmonotonic reasoning is presumably harder than the worst-case complexity of the relevant decision problems in classical logic, there are cases ...
Hans Tompits, Uwe Egly
core
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 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
Nonmonotonic Reasoning as SAT Search
, 1997 In this paper we show that there is a direct correspondence between prioritized propositional nonmonotonic reasoning and SAT search. This correspondence leads to two results. First, we can reason efficiently using a SAT oracle.
Eyal Amir
core
Influencing nonmonotonic reasoning by modifier strength manipulation
, 2004 Despite the current belief that much common sense reasoning is nonmonotonic in nature, research indicates that only a limited percentage of people are good at nonmonotonic reasoning.
Horsten, Leon +2 more
core +1 more source
Grigoris Antoniou, Nonmonotonic Reasoning, Cambridge, The MIT Press, 1997, 285 pp.
Análisis Filosófico, 1998 Estanislao Barry
doaj +1 more source
Computational issues of nonmonotonic reasoning
, 1993 VitaMajor subject: Computer ScienceFrom the earliest days of the modern computer age, humankind has dreamed of machines that use "common sense" to reason about the world.
Sanders, Leslie Kent
core
Artificial Intelligence Use and Cognitive Resource Allocation: Nonlinear Associations with Mental Workload and Perceived Performance. [PDF]
J IntellDanişman Ş, Evran Acar F.
europepmc +1 more source