Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

32 relations
Abductive reasoningAnswer set programmingAraucariaArtificial intelligence

Broader (1)

Belief revision

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Poster: towards attribute based group key management
Attribute based systems enable fine-grained access control among a group of users each identified by a set of attributes. Secure… 
2011
2011
Worst-case temperature analysis for real-time systems
With the evolution of today's semiconductor technology, chip temperature increases rapidly mainly due to the growth in power… 
Review
2010
Review
2010
Low latency and energy efficient routing protocols for wireless sensor networks
Wireless sensor network (WSN) consists of tiny sensor nodes with sensing, computation and wireless communication capabilities… 
2007
2007
Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction
We propose a framework and tractable algorithms for semantic-based automated Web service composition, fully compliant with… 
Highly Cited
2006
Highly Cited
2006
Mobility and threshold-voltage comparison between [110]- and (100)-oriented ultrathin-body silicon MOSFETs
Mobility and threshold-voltage (Vth) behaviour in (110) and (100) ultrathin body (UTB) n- and p-MOSFETs are experimentally… 
Highly Cited
1999
Highly Cited
1999
Numerical methods for reactive transport on rectangular and streamline-oriented grids
Highly Cited
1998
Highly Cited
1998
An efficient RMS admission control and its application to multiprocessor scheduling
A real-time system must execute functionally correct computations in a timely manner. In order to guarantee that all tasks… 
Highly Cited
1990
Highly Cited
1990
Three-valued formalization of logic programming: is it needed?
The central issue of this paper concerns the truth value undefined in Przymusinsi's 3-valued formalization of nonmonotonic… 
Highly Cited
1983
Highly Cited
1983
On the Extension of Constrained Optimization Algorithms from Differentiable to Nondifferentiable Problems
This paper presents three general schemes for extending differentiable optimization algorithms to nondifferentiable problems. It… 
Highly Cited
1975
Highly Cited
1975
Fourier transform carbon-13 nuclear magnetic resonance study of Group VIB transition metal carbonyl complexes
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… 
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)