Results 31 to 40 of about 9,424 (184)
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core
Embedding Defeasible Logic into Logic Programming
, 2005 Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning
Antoniou, Grigoris +3 more
core +2 more sources
Weak nonmonotonic probabilistic logics
Artificial Intelligence, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Inductive equivalence in clausal logic and nonmonotonic logic programming [PDF]
Machine Learning, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sakama, Chiaki, Inoue, Katsumi
openaire +2 more sources
Worm‐Inspired Soft Robots With Modular Outfit‐Changing for Intelligent Multienvironment Adaptation
Advanced Intelligent Systems, EarlyView.This study proposes a worm‐inspired soft robot capable of locomotion across multiple environments through a modular “outfit‐changing” strategy. The robot integrates pneumatically actuated peristaltic segments with interchangeable external modules, enabling efficient motion on ground surfaces, within pipelines, through granular media, and underwater ...
Xiaomin Liu +6 more
wiley +1 more source
From Empire to Aid: Analysing Persistence of Colonial Legacies in Foreign Aid to Africa
Journal of International Development, EarlyView.ABSTRACT For decades now, Western development agencies and donors have been castigated for their colonial biases in providing aid to Africa. It is well established that donors provide considerably more foreign aid to their former colonies relative to other countries.
Swetha Ramachandran
wiley +1 more source
Optimizing the computation of overriding
, 2015 We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and ...
BC Grau +17 more
core +1 more source
Promoting Modular Nonmonotonic Logic Programs [PDF]
, 2011 Modularity in Logic Programming has gained much attention over the past years. To date, many formalisms have been proposed that feature various aspects of modularity. In this paper, we present our current work on Modular Nonmonotonic Logic Programs (MLPs)
Krennwallner, Thomas
core +1 more source
Philosophy East and West, 2004 Claus Oetke, in his "Ancient Indian Logic as a Theory of Non-monotonic Reasoning," presents a sweeping new interpretation of the early history of Indian logic. His main proposal is that Indian logic up until Dharmakirti was nonmonotonic in character-similar to some of the newer logics that have been explored in the field of Artificial Intelligence ...
openaire +3 more sources
Surface Flashover in 50 Years: III. Extreme Environments and Industrial Challenges
High Voltage, EarlyView.ABSTRACT Modern high‐voltage electrical equipment operates in complex environments where surface conditions are subjected to multifaceted influences from electric fields, thermal gradients, contaminants, irradiation and other extreme environmental factors.
Zhen Li +6 more
wiley +1 more source