Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 223,685,135 papers from all fields of science
Search
Sign In
Create Free Account
Non-monotonic logic
Known as:
Non-monotonic reasoning
, Nonmonotonic logic
, Nonmonotonic reasoning
A non-monotonic logic is a formal logic whose consequence relation is not monotonic. In other words, non-monotonic logics are devised to capture and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
32 relations
Abductive reasoning
Answer set programming
Araucaria
Artificial intelligence
Expand
Broader (1)
Belief revision
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2010
Review
2010
Complexity of non-monotonic logics
Michael Thomas
,
H. Vollmer
Bull. EATCS
2010
Corpus ID: 4765890
Over the past few decades, non-monotonic reasoning has developed to be one of the most important topics in computational logic…
Expand
Highly Cited
2007
Highly Cited
2007
Implicational Paradoxes and the Meaning of Logical Constants
F. Paoli
2007
Corpus ID: 14054120
I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a…
Expand
Review
2003
Review
2003
Possibility theory and its applications: a retrospective and prospective view
D. Dubois
,
H. Prade
The 12th IEEE International Conference on Fuzzy…
2003
Corpus ID: 27006236
This paper provides an overview of possibility theory, emphasizing its historical roots and its recent developments. Possibility…
Expand
Review
1997
Review
1997
Advanced Database Systems
Carlo Zaniolo
,
Stefano Ceri
,
Christos Faloutsos
,
R. Snodgrass
,
V. S. Subrahmanian
,
R. Zicari
1997
Corpus ID: 266462776
Advanced Database System by Carlo Zaniolo, Stefano Ceri, Christos Faloutsos, Richard T. Snodgrass, V.S. Subrahmanian, and Roberto…
Expand
Highly Cited
1991
Highly Cited
1991
Modal nonmonotonic logics: ranges, characterization, computation
V. Marek
,
G. F. Shvarts
,
M. Truszczynski
JACM
1991
Corpus ID: 10231041
Many nonmonotonic formalism, including default logic, logic programming with stable models, and autoepistemic logic, can be…
Expand
Highly Cited
1990
Highly Cited
1990
Epistemic Semantics for Fixed-Points Non-Monotonic Logics
Fangzhen Lin
,
Y. Shoham
Theoretical Aspects of Rationality and Knowledge
1990
Corpus ID: 9277995
Default Logic and Autoepistemic Logic are the two best-known fixed-points non-monotonic logics. Despite the fact that they are…
Expand
Highly Cited
1989
Highly Cited
1989
Constraint Hierarchies and Logic Programming
A. Borning
,
Michael J. Maher
,
A. Martindale
,
Molly Wilson
International Conference on Logic Programming
1989
Corpus ID: 15067916
Constraint Logic Programming (CLP) is a general scheme for extending logic programming to include constraints. It is…
Expand
1989
1989
Non-Monotonic Formalisms and Logic Programming
Teodor C. Przymusinski
International Conference on Logic Programming
1989
Corpus ID: 16870028
\It seems to me, that work in databases, logic programming, deductive databases, artii-cial intelligence and expert systems will…
Expand
Highly Cited
1984
Highly Cited
1984
Non-Monotonic Reasoning Using Dempster's Rule
M. Ginsberg
AAAI Conference on Artificial Intelligence
1984
Corpus ID: 6555064
Rich's suggestion that the arcs of semantic nets be labelled so as to reflect confidence in the properties they represent is…
Expand
Highly Cited
1983
Highly Cited
1983
On the Extension of Constrained Optimization Algorithms from Differentiable to Nondifferentiable Problems
E. Polak
,
D. Mayne
,
Y. Wardi
1983
Corpus ID: 53073809
This paper presents three general schemes for extending differentiable optimization algorithms to nondifferentiable problems. It…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE