Results 121 to 130 of about 783,609 (145)
Some of the next articles are maybe not open access.
A New Perspective on Nonmonotonic Logics
Cambridge International Law Journal, 2016D. Gabbay, K. Schlechta
semanticscholar +1 more source
Topics in modal nonmonotonic logic
1993In this chapter we study a variety of loosely connected topics in nonmonotonic modal logic. We start with the discussion of algorithmic issues related to the problem of computing S-expansions. Next, we study the relations between modal nonmonotonic logics.
V. Wiktor Marek, Mirosław Truszczyński
openaire +1 more source
Judgment aggregation in nonmonotonic logic
Synthese, 2017zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
A Nonmonotonic Logic of Belief
Fundamenta Informaticae, 1989A nonmonotonic logic of belief based on a combined monotonic logic of knowledge and belief is presented. Unlike previous nonmonotonic logics of belief, this logic contains an unless operator by means of which preference for beliefs and refutation of those beliefs can be expressed, thereby providing explicit representation of nonmonotonicity. A decision
openaire +1 more source
Sequent calculi for propositional nonmonotonic logics
TOCL, 2002P. Bonatti, N. Olivetti
semanticscholar +1 more source
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2002Thomas Eiter +3 more
semanticscholar +1 more source
Operational concepts of nonmonotonic logics part 1: Default logic
Artificial Intelligence Review, 2004G. Antoniou, V. Sperschneider
semanticscholar +1 more source
Embedding a Default System into Nonmonotonic Logics
Fundamenta Informaticae, 1991M. Kaminski
semanticscholar +1 more source
Hardware Implementation of Temporal Nonmonotonic Logics
Australian Conference on Artificial Intelligence, 2006Insu Song, Guido Governatori
semanticscholar +1 more source