Search the dblp DataBase

Publications of Author

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