David Makinson

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

Topic mentions per year

Topic mentions per year

1969-2018
051019692018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Philippa, a Greek nineteen year old student at Patras University, has just discovered that Nikos and Angela are not her true… (More)
  • figure 8.1
  • figure 8.2
  • figure 8.3
  • figure 8.4
Is this relevant?
2007
2007
We chart the ways in which closure properties of consequence relations for uncertain inference take on different forms according… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
2007
2007
In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… (More)
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… (More)
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… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We show how nonmonotonic inferences may elegantly be interpreted in terms of underlying expectations. The fundamental idea is… (More)
Is this relevant?
1992
1992
The purpose of this note is to make quite clear the relationship between two variants of the general notion of a preferential… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Makinson, D. and K. Schlechta, Floating conclusions and zombie paths: two deep difficulties in the "directly skeptical" approach… (More)
  • 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… (More)
Is this relevant?