Results 61 to 70 of about 52,814 (199)
Many-valued non-monotonic modal logics [PDF]
, 2005 Among non-monotonic systems of reasoning, non-monotonic modal logics, and autoepistemic logic in particular, have had considerable success. The presence of explicit modal operators allows flexibility in the embedding of other approaches. Also several theoretical results of interest have been established concerning these logics.
Melvin Fitting, Melvin Fitting
openaire +2 more sources
Multi-Agent Only-Knowing Revisited [PDF]
, 2010 Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavior within a monotonic logic. Despite its appeal, all attempts to extend only-
Belle, Vaishak, Lakemeyer, Gerhard
core +2 more sources
Semantic Legal Policies for Data Exchange and Protection across Super-Peer Domains in the Cloud
Future Internet, 2012 In semantic policy infrastructure, a Trusted Legal Domain (TLD), designated as a Super-Peer Domain (SPD), is a legal cage model used to circumscribe the legal virtual boundary of data disclosure and usage in the cloud.
Kua-Ping Cheng +3 more
doaj +1 more source
Defining Cognitive Logics by Non-Classical Tableau Rules
Studies in Logic, Grammar and Rhetoric, 2016 In the paper we propose a new approach to formalization of cognitive logics. By cognitive logics we understand supraclassical, but non-trivial consequence operations, defined in a propositional language.
Jarmużek Tomasz
doaj +1 more source
An Argumentation-Theoretic Characterization of Defeasible Logic [PDF]
, 2000 Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It has potential application in some legal domains. We present here an argumentation semantics for defeasible logic that will be useful in these applications ...
Governatori, Guido, Maher, Michael J.
core +3 more sources
Independence and abstract multiplication
, 2010 We investigate the notion of independence, which is at the basis of many, seemingly unrelated, properties of logic like Rational Monotony in non-monotonic logics, and interpolation ...
Gabbay, Dov Null, Schlechta, Karl
core +1 more source
Preferential and Preferential-discriminative Consequence relations
, 2005 The present paper investigates consequence relations that are both non-monotonic and paraconsistent. More precisely, we put the focus on preferential consequence relations, i.e.
Ben-Naim, Jonathan
core +8 more sources
A flexible framework for defeasible logics [PDF]
, 2000 Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others.
David Billington +4 more
core +5 more sources
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks [PDF]
, 2014 We analyse the expressiveness of the two-valued semantics of abstract argumentation frameworks, normal logic programs and abstract dialectical frameworks.
Strass, Hannes
core
Correction to: LogAG: An algebraic non-monotonic logic for reasoning with graded propositions [PDF]
, 2020 Nourhan Ehab, Haythem O. Ismail
openalex +1 more source