Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
This paper presents the Meso-NH model version 5.4. Meso-NH is an atmospheric non hydrostatic research model that is applied to a… Expand
Is this relevant?
Highly Cited
2013
Highly Cited
2013
In this paper we propose a non-monotonic extension of the Description Logic ALC for reasoning about prototypical properties and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
In this paper an approach to the exhaustive interpretation of answers is developed. It builds on a proposal brought forward by… Expand
  • figure 1
Is this relevant?
2003
2003
Monotonic modal logics form a generalisation of normal modal logics in which the additivity of the diamond modality has been… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Abstract In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Abstract Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
  • Dov M. Gabbay
  • Logics and Models of Concurrent Systems
  • 1984
  • Corpus ID: 61140250
Suppose we are given some collection of confirmed data items (information). We can assume that the information is represented as… Expand
Is this relevant?
Highly Cited
1983
Highly Cited
1983
Commonsense reasoning is "nonmonotonic" in the sense that we often draw conclusions on the basis of partial information that we… Expand
Is this relevant?
Highly Cited
1980
Highly Cited
1980
Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain… Expand
Is this relevant?
Highly Cited
1980
Highly Cited
1980
Abstract ‘Non-monotonic’ logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such… Expand
  • figure 3
Is this relevant?