Results 41 to 50 of about 9,538 (181)
On Properties of Update Sequences Based on Causal Rejection
, 2001 We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current knowledge base subject to a causal rejection principle enforcing that, in ...
Eiter, T. +3 more
core +2 more sources
Nonmonotonic Reasoning and Causation: Comment [PDF]
Cognitive Science, 1991 In a recent issue of Cognitive Science, * Yoav Shoham (1990) proposed a theory of causation based on a nonmonotonic logic of temporal knowledge. It is the purpose of this commentary to show that Shoham’s procedure is essentially isomorphic with a theory of causal ordering that requires no special nonmonotonic logic. Although this latter causal ordering
openaire +1 more source
Deep Underground Science and Engineering, EarlyView.The present manuscript explored the effects of joint configurations on the cyclic shear behavior of intermittent joints for the first time. The cyclic shear response, shear strength degradation, dilation characteristics evolution, frictional property, fractal dimension, and dissipative energy were further analyzed during shear cycles, which is crucial ...
Bin Wang +3 more
wiley +1 more source
A Family of Defeasible Reasoning Logics and its Implementation [PDF]
, 2000 Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more efficient approach than other nonmonotonic reasoning systems. This paper presents a family
Antoniou, Grigoris +4 more
core +3 more sources
Proof Complexity of Propositional Default Logic [PDF]
, 2010 Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic.
Beyersdorff, O +4 more
core +3 more sources
Deep Underground Science and Engineering, EarlyView.Three sets of strength data were selected, including hydrostatic pressure independent within the brittle region (HPI‐B), hydrostatic pressure dependent within the brittle region (HPD‐B), and hydrostatic pressure dependent within the brittle–ductile region (HPD‐BD). For HPI type, the failure envelope within the deviatoric plane remains constant.
Jiacun Liu +3 more
wiley +1 more source
Deep Underground Science and Engineering, EarlyView.Abstract As tunnel construction advances in lengths and depths, the construction of tunnels in high geothermal environments has become increasingly common, raising significant fire risks. In this study, a 1:20 scale model tunnel test platform was constructed to investigate the effects of a high geothermal environment on fire behavior in tunnels during ...
Xiaoxian Fei +6 more
wiley +1 more source
Nonmonotonic Skeptical Consequence Relation in Constrained Default Logic
Studia Universitatis Babes-Bolyai: Series Informatica, 2010 This paper presents a study of the nonmonotonic consequence relation which models the skeptical reasoning formalised by constrained default logic. The nonmonotonic skeptical consequence relation is defined using the sequent calculus axiomatic system.
Mihaiela Lupea
doaj
On cascade products of answer set programs
, 2014 Describing complex objects by elementary ones is a common strategy in mathematics and science in general. In their seminal 1965 paper, Kenneth Krohn and John Rhodes showed that every finite deterministic automaton can be represented (or "emulated") by a ...
Antić, Christian
core +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