( en | de | ru )

 

Disambiguation of "Makinson, David"

Author of the publication

copydeleteadd this publication to your clipboard
On The Logic of Theory Change

, , and . Journal of Symbolic Logic, 50 (2): 510--530 (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

 

Other publications of authors with the same name

Cumulative inference relations for JTMS and logic programming, , and . Lecture Notes in Computer Science - Nonmonotonic and Inductive Logic, (1991)Propositional Relevance through Letter-Sharing: Review and Contribution.. Formal Models of Belief Change in Rational Agents, volume 07351 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)What is Input/Output Logic? Input/Output Logic, Constraints, Permissions., and . Normative Multi-agent Systems, volume 07122 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Permission from an Input/Output Perspective., and . J. Philos. Log., 32 (4): 391-416 (2003)On the logic of theory change: Contraction functions and their associated revision functions, , and . Theoria, (1982)Relations between the logic of theory change and nonmonotonic logic., and . The Logic of Theory Change, volume 465 of Lecture Notes in Computer Science, page 185-205. Springer, (1989)Floating Conclusions and Zombie Paths: Two Deep Difficulties in the `Directly Skeptical' Approach to Defeasible Inheritance Networks, and . Artificial Intelligence, 48 (2): 199--209 (1991)There are Infinitely many Diodorean Modal Functions.. J. Symb. Log., 31 (3): 406-408 (1966)Revisions of Knowledge Systems Using Epistemic Entrenchment., and . TARK, page 83-95. Morgan Kaufmann, (1988)Input/Output Logics., and . J. Philos. Log., 29 (4): 383-408 (2000)