Skip to search formSkip to main contentSkip to account menu

David Makinson

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

Related topics

Related topics

3 relations
Belief revisionKripke semanticsModal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Handbook of Knowledge Representation 1
Philippa, a Greek nineteen year old student at Patras University, has just discovered that Nikos and Angela are not her true… 
2008
2008
Partial Meet Contraction Based On Relevance Criterion
An agent usually holds a very large num- ber of beliefs. Hopefully, e-cient belief changes should be performed only in the part… 
2007
2007
DAVID MAKINSON AND LEENDERT VAN DER TORRE INPUT / OUTPUT LOGICS
In a range of contexts, one comes across processes resembling inference, but where input propositions are not in ge eral included… 
2006
2006
Lack of Finite Characterizations for the Distance-Based Revision
Lehmann, Magidor, and Schlechta developed an approach to belief revision based on distances between any two valuations. Suppose… 
2004
2004
Knowledge State Reconsideration: Hindsight Belief Revision
As a knowledge representation and reasoning (KRR) system gathers and reasons about information, it has to update its belief space… 
2004
2004
New foundations for epistemic change*
It is no news that there is a debate in epistemology between foundationalists and coherentists. What might be news is that there… 
2002
2002
Appraisal and performance management
Geoff Makinson discusses different models of appraisal; an important process of many performance management systems. 
Review
1999
Review
1999
Coherence and Conservatism in the Dynamics of Belief
In this paper I discuss the foundations of a formal theory of coherent and conservative belief change that is (a) suitable to be… 
1997
1997
On having bad contractions, or: no room for recovery
ABSTRACT The well-known AGM-theory-contraction and theory-revision, due to Alchourron, Gardenfors and Makinson, relies heavily on… 
1994
1994
Changing the Theory of Theory Change: Towards a Computational Approach
The Theory of theory change has contraction and revision as its central notions. Of these, contraction is the more fundamental… 
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)