Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,035,472 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.
2013
2013
A Model-Theoretic Approach to Belief Change in Answer Set Programming
J. Delgrande
,
Torsten Schaub
,
H. Tompits
,
S. Woltran
TOCL
2013
Corpus ID: 582277
We address the problem of belief change in (nonmonotonic) logic programming under answer set semantics. Our formal techniques are…
Expand
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
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
Highly Cited
1999
Highly Cited
1999
Numerical methods for reactive transport on rectangular and streamline-oriented grids
O. Cirpka
,
E. Frind
,
R. Helmig
1999
Corpus ID: 2228273
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
Review
1996
Review
1996
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
J. Dix
Logic, Action, and Information
1996
Corpus ID: 35257845
44 played a dominant role in Przymusinski's versions of WFS and ST N. The results of Section 4 underline the very strong…
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
Highly Cited
1989
Highly Cited
1989
The Tractability of Path-Based Inheritance
B. Selman
,
H. Levesque
International Joint Conference on Artificial…
1989
Corpus ID: 17239373
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
Highly Cited
1975
Highly Cited
1975
Fourier transform carbon-13 nuclear magnetic resonance study of Group VIB transition metal carbonyl complexes
G. Bodner
1975
Corpus ID: 101444333
13C h M R spectra have been obtained for a series of LnM(C0)6-n derivatives, (n = 0 , 1. 2; M = Cr, Mo, W; L = CO, PC13, P(OPh)3…
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