| 2007 |
|---|
| 19 | EE | David Makinson:
Propositional Relevance through Letter-Sharing: Review and Contribution.
Formal Models of Belief Change in Rational Agents 2007 |
| 18 | EE | David Makinson,
Leendert W. N. van der Torre:
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions.
Normative Multi-agent Systems 2007 |
| 17 | EE | James Hawthorne,
David Makinson:
The Quantitative/Qualitative Watershed for Rules of Uncertain Inference.
Studia Logica 86(2): 247-297 (2007) |
| 2005 |
|---|
| 16 | | David Makinson:
Friendliness for Logicians.
We Will Show Them! (2) 2005: 259-292 |
| 2003 |
|---|
| 15 | EE | David Makinson:
Bridges between Classical and Nonmonotonic Logic.
Logic Journal of the IGPL 11(1): 69-96 (2003) |
| 1997 |
|---|
| 14 | | Hassan Bezzazi,
David Makinson,
Ramón Pino Pérez:
Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations.
J. Log. Comput. 7(5): 605-631 (1997) |
| 1994 |
|---|
| 13 | | Peter Gärdenfors,
David Makinson:
Nonmonotonic Inference Based on Expectations.
Artif. Intell. 65(2): 197-245 (1994) |
| 12 | | Karl Schlechta,
David Makinson:
Local and Global Metrics for the Semantics of Counterfactual Conditionals.
Journal of Applied Non-Classical Logics 4(2): (1994) |
| 1993 |
|---|
| 11 | | David Makinson:
Five faces of minimality.
Studia Logica 52(3): 339-380 (1993) |
| 1992 |
|---|
| 10 | | Jürgen Dix,
David Makinson:
The Relationship between KLM and MAK models for Nonmonotonic Inference Operations.
Journal of Logic, Language and Information 1(2): 131-140 (1992) |
| 1991 |
|---|
| 9 | | Gerhard Brewka,
David Makinson,
Karl Schlechta:
JTMS and Logic Programming.
LPNMR 1991: 199-210 |
| 8 | | David Makinson,
Karl Schlechta:
Floating Conclusions and Zombie Paths: Two Deep Difficulties in the ``Directly Skeptical'' Approach to Defeasible Inheritance Nets.
Artif. Intell. 48(2): 199-209 (1991) |
| 1990 |
|---|
| 7 | | Gerhard Brewka,
David Makinson,
Karl Schlechta:
Cumulative Inference Relations for JTMS and Logic Programming.
Nonmonotonic and Inductive Logic 1990: 1-12 |
| 1989 |
|---|
| 6 | | David Makinson,
Peter Gärdenfors:
Relations between the logic of theory change and nonmonotonic logic.
The Logic of Theory Change 1989: 185-205 |
| 1988 |
|---|
| 5 | | David Makinson:
General Theory of Cumulative Inference.
NMR 1988: 1-18 |
| 4 | | Peter Gärdenfors,
David Makinson:
Revisions of Knowledge Systems Using Epistemic Entrenchment.
TARK 1988: 83-95 |
| 1985 |
|---|
| 3 | | Carlos E. Alchourrón,
Peter Gärdenfors,
David Makinson:
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.
J. Symb. Log. 50(2): 510-530 (1985) |
| 1969 |
|---|
| 2 | | David Makinson:
A Normal Modal Calculus Between T and S4 Without the Finite Model Property.
J. Symb. Log. 34(1): 35-38 (1969) |
| 1966 |
|---|
| 1 | | David Makinson:
There are Infinitely many Diodorean Modal Functions.
J. Symb. Log. 31(3): 406-408 (1966) |
