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

David Makinson

Known as: Makinson 
David Clement Makinson, D.Phil, (born 27 August 1941), is an Australian mathematical logician living in London, England.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We provide a general notion of perfect Bayesian equilibrium which can be applied to arbitrary extensive-form games and is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2002
2002
We look at iterated non-prioritised belief revision, using as a starting point a model of non-prioritised revision, similar to… Expand
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In a previous paper we developed a general theory of input/output logics. These are operations resembling inference, but where… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Much current work in the study of belief revision goes back to a now classic paper due to Alchourron, Gardenfors and Makinson… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Knowledge-based systems must be able to "intelligently" manage a large amount of information coming from different sources and at… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Our aim in this article is to present a method for classifying and characterizing the various different semantics of logic… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Abstract We show how nonmonotonic inferences may elegantly be interpreted in terms of underlying expectations . The fundamental… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The idea of ordering plays a basic role in commonsense reasoning for addressing three interrelated tasks: inconsistency handling… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Abstract We discuss two difficulties in the “directly skeptical” approach to inference in defeasible inheritance nets, as… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1985
Highly Cited
1985
This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a… Expand
Is this relevant?