Concepedia

David Makinson

DM

39

Publications

6.5K

Citations

25

H-Index

1965

Active since

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

39

Publications

39

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

Rows per page

1–5 of 39