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… 
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
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… 
1995
1995
Co-Indexing Labelled DRSs to Represent and Reason with Ambiguities
The paper addresses the problem of representing ambiguities in a way that allows for monotonic disambiguation and for direct… 
1991
1991
Environmental fine structure in low-energy β-particle spectra
SOME recent measurements of beta-decay spectra show anomalous line shapes which have been interpreted1–5 as providing evidence… 
1990
1990
Non-monotonic ageing
1988
1988
The preferential-models approach to non-monotonic logics
This disclosure relates to a guidance arrangement for web handler, for example of the type used for moving an elongated tape. A… 
1979
1979
Non-Monotonic Logic I. Revision.
Abstract : 'Non-montonic' logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such… 
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)