Defaults with Priorities

Journal of Philosophical Logic

Volumn 36, Issue 4, 2007, Pages 367-413

  Horty, John ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34249098354     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1007/s10992-006-9040-0     Document Type: Review

References (29)

1. Antonelli, G. A. (1999): A directly cautious theory of defeasible consequence for default logic via the notion of a general extension, Artificial Intelligence 109, 71-109.
2. Apt, K. R., Blair, H. A., and Walker, A. (1998): Towards a theory of declarative knowledge, in J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, San Mateo, CA, pp. 89-148.
3. Baader, F. and Hollunder, B. (1995): Priorities on defaults with prerequisites, and their applications in treating specificity in terminological default logic. Journal of Automated Reasoning 15, 41-68.
4. Brewka, G. (1994): Adding priorities and specificity to default logic, in Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA-94), Springer Verlag Lecture Notes in Artificial Intelligence, Springer, Berlin Heidelberg New York, pp. 247-260.
5. Brewka, G. (1994): Reasoning about priorities in default logic, in Proceedings of the Twelveth National Conference on Artificial Intelligence (AAAI-94), AAAI/MIT, pp. 940-945.
6. Brewka, G. and Eiter, T. (2000): Prioritizing default logic, in St. Hölldobler (ed.), Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel, Kluwer.
7. Delgrande, J. and Schaub, T. (2000): Expressing preferences in default logic, Artificial Intelligence 123, 41-87.
8. Delgrande, J. and Schaub, T. (2000): The role of default logic in knowledge representation, in J. Minker (ed.), Logic Based Artificial Intelligence, Kluwer, Dordrecht, pp. 107-126.
9. Delgrande, J., Schaub, T., Tompits, H., and Wang, K. (2004): A classification and survey of preference handling approaches in nonmonotonic reasoning, Computational Intelligence 20, 308-334.
10. Etherington, D. and Reiter, R. (1983): On inheritance hierarchies with exceptions, in Proceedings of the Third National Conference on Artificial Intelligence (AAAI-83), pp. 104-108.
11. Horty, J. (1994): Moral dilemmas and nonmonotonic logic, Journal of Philosophical Logic 23, 35-65.
12. Horty, J.: Some direct theories of nonmonotonic inheritance, in D. Gabbay, C. Hogger, and J. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Oxford University Press, 1994, pp. 111-187.
13. Horty, J. (2001): Argument construction and reinstatement in logics for defeasible reasoning, Artificial Intelligence and Law 9, 1-28.
14. Horty, J. (2002): Skepticism and floating conclusions, Artificial Intelligence 135, 55-72.
15. Horty, J. (2003): Reasoning with moral conflicts, Nous 37, 557-605.
16. Horty, J. (2006): Reasons as defaults, Manuscript.
17. Horty, J., Thomason, R, and Touretzky, D. (1990): A skeptical theory of inheritance in nonmonotonic semantic networks, Artificial Intelligence 42, 311-348.
18. Makinson, D. (1994): General patterns in nonmonotonic reasoning, in D. Gabbay, C. Hogger, and J. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Oxford University Press, pp. 35-110.
19. Makinson, D. (2005): Bridges from Classical to Nonmonotonic Logic, Texts in Computing, Volume 5, King's College Publications.
20. Marek, W. and Tmszczyński, M. (1993): Nonmonotonic Logic: Context-dependent Reasoning, Springer, Berlin Heidelberg New York.
21. McDermott, D. (1982): Non-monotonic logic II, Journal of the Association for Computing Machinery 29, 33-57.
22. Pollock, J. (1995): Cognitive Carpentry: A Blueprint for How to Build a Person, MIT, Cambridge, MA.
23. Reiter, R. (1980): A logic for default reasoning, Artificial Intelligence 13, 81-132.
24. Reiter, R. and Criscuolo, G. (1981): On interacting defaults, in Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI-81), pp. 270-276.
25. Rintanen, J. (1998): Lexicographic priorities in default logic, Artificial Intelligence 106, 221-265.
26. Touretzky, D. (1986): The Mathematics of Inheritance Systems, Morgan Kaufmann, San Mateo, CA.
27. Touretzky, D., Horty, J., and Thomason, R. (1987): A clash of intuitions: the current state of nonmonotonic multiple inheritance systems, in Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), Morgan Kaufmann, San Mateo, CA, pp. 476-482.
28. Touretzky, D., Thomason, R., and Horty, J. (1991): A skeptic's menagerie: conflictors, preemptors, reinstaters, and zombies in nonmonotonic inheritance, in Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), Morgan Kaufmann, San Mateo, CA, pp. 478-483.
29. van Fraassen, B. (1973): Values and the heart's command, The Journal of Philosophy 70, 5-19.