Results 11 to 20 of about 719,711 (199)
Deontic logic as founded on nonmonotonic logic
Annals of Mathematics and Artificial Intelligence, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John F. Horty
openaire +3 more sources
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 +1 more source
Moral dilemmas and nonmonotonic logic
Journal of Philosophical Logic, 1994 The author relates the deontic theory of simple categorical oughts of \textit{B. van Fraasen} [J. Philos. 70, 5-19 (1973)] with the default logic of \textit{R. Reiter} [Artif. Intell. 13, 81-132 (1980; Zbl 0435.68069)]. Furthermore, he discusses the extension of this correspondence to conditional obligations and points out that there are deeper ...
John F. Horty
openaire +2 more sources
Re-Thinking Electronic Circuit Design Through Emerging Reconfigurable Field Effect Transistors. [PDF]
Adv Sci (Weinh)Graphical illustration of reconfigurable field effect transistor (RFET) operation modes, including n‐type, p‐type, and ambipolar transport, as well as their areas of application discussed in this review: digital circuit design, analog circuit design, post‐Shannon computing, and sensing. ABSTRACT Reconfigurable field‐effect transistors, short RFETs, are
Trommer J +19 more
europepmc +2 more sources
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 +3 more
core +4 more sources
Ground Nonmonotonic Modal Logics [PDF]
Journal of Logic and Computation, 1997 The authors develop a theory of ground logics which are nonmonotonic formalisms in the spirit of the McDermott--Doyle nonmonotonic modal logics. The ground logics are intended to formalise reasoning of rational agents who are allowed to make nonmonotonic assumptions only on information concerning the real world and expressed by nonmodal formulas ...
Francesco M. Donini +2 more
openaire +3 more sources
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
Entropy-Driven Physical Amplification in Multivalent Biosensing. [PDF]
Adv Sci (Weinh)Detecting scarce molecules usually demands enzymatic amplification such as PCR. A statistical‐mechanical theory now reveals a purely physical alternative: distributing a fixed binding strength over more linker arms exponentially lowers the concentration at which multivalent sensors switch on.
Peng Y, Xia X, Ni R.
europepmc +2 more sources
Two-Valued Logic Programs [PDF]
, 2012 We define a nonmonotonic formalism that shares some features with three other systems of nonmonotonic reasoning—default logic, logic programming with strong negation, and nonmonotonic causal logic—and study its possibilities as a language for describing ...
Lifschitz, Vladimir
core +1 more source
Standard Logics Are Valuation-Nonmonotonic [PDF]
Journal of Logic and Computation, 2008 35 pages, 3 ...
Mladen Pavicic, Norman D. Megill
openaire +3 more sources