Concepedia
Statistics
Publications
39
Citations
6.5K
H-Index
25
Active since
1965
Affiliations
American University of Beirut(Current)
London School of Economics and Political Science
Universidad de Buenos Aires
King's College London
UNESCO
David Makinson is an author at American University of Beirut specializing in automated reasoning, engineering, and formal methods.
Top concepts
Automated ReasoningEngineeringFormal MethodsLanguageSemanticsEpistemologyComputer ScienceStatisticsLinguisticsManagement
Publications per year
1965–2013
On the logic of theory change: Partial meet contraction and revision functions
Carlos E. Alchourrón, Peter Gärdenfors, David Makinson · Journal of Symbolic Logic · 1985 · 3.2K citations
Engineering, Contraction Functions, Automated Reasoning +13
Revisions of knowledge systems using epistemic entrenchment
Peter Gärdenfors, David Makinson · Theoretical Aspects of Rationality and Knowledge · 1988 · 446 citations
Knowledge Representation, Engineering, Automated Reasoning +14
The paradox of the preface
David Makinson · Analysis · 1965 · 353 citations
Intellectual History, Humanities, Volume 25 +9
Nonmonotonic inference based on expectations
Peter Gärdenfors, David Makinson · Artificial Intelligence · 1994 · 287 citations
Cognitive Science, Imprecise Probability, Nonmonotonic Logic +3
On the logic of theory change: Contraction functions and their associated revision functions
Carlos E. Alchourrón, David Makinson · Theoria · 1982 · 253 citations
Engineering, Contraction Functions, Automated Reasoning +8
1–5 of 39