Results 71 to 80 of about 772 (194)
On Priest on Nonmonotonic and Inductive Logic
, 2016 Graham Priest defends the use of a nonmonotonic logic, LPm, in his analysis of reasoning in the face of true contradictions, such as those arising from the paradoxes of self-reference.
Restall, Greg
core +1 more source
Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems
Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. This project will fundamentally provide a new paradigm of nonmonotonic logic programming.
core
A Computationally Tractable Non-Monotonic Logic
, 2009 [[abstract]]Nonmonotonic logic is intended to apply specifically to situations where the initial information is incomplete. Using nonmonotonic reasoning procedures we shall be able to jump to conclusions, but withdraw them later when we gain additional ...
Jeffrey J. P. Tsai;T. Weigert
core +1 more source
Strong Equivalence of Qualitative Optimization Problems
, 2012 We introduce the framework of qualitative optimization problems (or, simply, optimization problems) to represent preference theories. The formalism uses separate modules to describe the space of outcomes to be compared (the generator) and the preferences
Stefan Woltran +5 more
core
Possibility theory, belief revision and nonmonotonic logic
, 1993 IJCAI 1993: Thirteenth International Joint Conference on Artificial IntelligenceInternational audienceThis paper is a brief overview of joint work done with Salem Benferhat and Jérôme Lang, at IRIT in Toulouse on the application of possibility theory to ...
Prade, Henri +3 more
core +1 more source
Coherent Choice and Epistemic Entrenchment (Preliminary Report) [PDF]
, 1994 Rott, Hans, Hans Rott
core +1 more source
Ribbon Proofs - A Proof System for the Logic of Bunched Implications
, 2013 Submitted for the degree of Doctor of Philosophy, Queen Mary, University of ...
Bean, Julian Michael Lewis
core
Legal Rules, Legal Reasoning, and Nonmonotonic Logic [PDF]
, 2014 This dissertation develops, justifies, and examines the jurisprudential implications of a non-monotonic theory of common law legal reasoning. Legal rules seem to have exceptions but identifying all of them is difficult. This hinders attempts to formalize
Rigoni, Adam W.
core
Layered argumentation for fuzzy automation controllers
, 2014 —We develop a layered argumentation system (LAS) for efficient implementation of Fuzzy automation controllers. LAS extends a logic based proposal of argumentation with subsumption concept and varying degree of confidences in beliefs.
Guido Governatori +2 more
core
Chemical compensation to mechanical loss in cell mechanosensation. [PDF]
Proc Natl Acad Sci U S ANi Q +8 more
europepmc +1 more source