Publications

Books

Frege on Definitions: A Case Study of Semantic Content. Oxford University Press (2007), xiv+176 pp.
Agency and Deontic Logic. Oxford University Press (2001), xiii+192 pp. (Reviewed in: Notre Dame Philosophical Reviews (2002) Philosophical Quarterly (2002); Erkenntnis (2003); Mind (2003); Journal of Logic, Language, and Information (2003); Artificial Intelligence and Law (2003).)

Articles

Reasons as defaults. Philosophers' Imprint, vol. 7 no. 3 (2007), 28 pp.
Defaults with priorities. Journal of Philosophical Logic, vol. 36 (2007), pp. 367 - 413.
Right actions in perspective. In Modality Matters: Twenty-five Essays in Honour of Krister Segerberg, H Lagerlund, S. Lindstrom, and R. Sliwinski (eds.), Uppsala Philosophical Studies, vol 53, Uppsala University Press (2006).
The result model of precedent. Legal Theory, vol. 10 (2004), pp. 19 - 31.
Reasoning with moral conflicts. Nous, vol. 37 (2003), pp. 557 - 605.
Skepticism and floating conclusions. Artificial Intelligence, vol. 135 (2002), pp. 55 - 72.

A preliminary version appears in Working Notes of Common Sense 2001: The Fifth International Symposium on Logical Formalizations of Commonsense Reasoning , E. Davis, J. McCarthy, L. Morgenstern, and R. Reiter (eds.), Courant Institute of Mathematical Sciences, New York University (2001), pp. 156 - 167.
Review of S.O. Hansson, The Structure of Values and Norms. Notre Dame Philosophical Reviews , June 2002.
Evaluating new options in the context of existing plans (J. Horty and M. Pollack). Artificial Intelligence, vol. 127 (2001), pp. 199 - 220.
Argument construction and reinstatement in logics for defeasible reasoning. Artificial Intelligence and Law, vol. 9 (2001), pp. 1 - 28.
Nonmonotonic Logic. In The Blackwell Guide to Philosophical Logic, L. Goble (ed.), Blackwell Publishers (2001), pp. 336 - 361.
Merging plans with quantitative temporal constraints, temporally extended actions, and conditional branches (I. Tsamardinos, M. Pollack, and J. Horty). In Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling (AIPS-2000), American Association for Artificial Intelligence Press, pp. 264 - 272. (Winner of Best Student Paper Award, AIPS-2000.)
There's more to life than making plans: plan management in dynamic, multi-agent environments (M. Pollack and J. Horty). AI Magazine, vol. 20 (1999), pp. 71 - 84.
Precedent, deontic logic, and inheritance. In Proceedings of the Seventh International Conference on Artificial Intelligence and Law (ICAIL-99), Association for Computing Machinery Press (1999), pp. 63 - 72.
Adjustable autonomy for a plan management agent (M. Pollack, I. Tsamardinos, and J. Horty). In Proceedings of the AAAI Spring Symposium on Adjustable Autonomy, American Association for Artificial Intelligence Press (1999).
Plan management issues for cognitive robotics (M. Pollack and J. Horty). In Proceedings of the AAAI Fall Symposium on Cognitive Robotics, C. Baral, K. Konolige, G. Lakemayer, R. Reiter, and M. Shanahan (eds.), American Association for Artificial Intelligence Press (1998), pp. 76 - 83.
A unifying algorithm for conditional and probabilistic planning (N. Onder, M. Pollack, and J. Horty). In Proceedings of the AIPS'98 Workshop on Integrating Planning, Scheduling and Execution in Dynamic and Uncertain Environments, A. Kott (ed.), American Association for Artificial Intelligence Press (1998), pp. 106 - 112.
Nonmonotonic foundations for deontic logic. In Defeasible Deontic Logic, D. Nute (ed.), Kluwer Academic Publishers (1997), pp. 17 - 44.
Agency and obligation . Synthese, vol. 108 (1996), pp. 269 - 307.
Combining logics of agency and obligation. In Deontic Logic, Agency, and Normative Systems: Proceedings of the Third International Workshop on Deontic Logic in Computer Science, M. Brown and J. Carmo (eds.), Workshops in Computing Series, Springer Verlag (1996), pp. 98 - 122.
Nondeterminism and dominance: foundations of planning and qualitative decision theory (R. Thomason and J. Horty). In Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge (TARK-96), Y. Shoham (ed.), Morgan-Kaufmann Publishing Company (1996), pp. 229 - 250.
The deliberative stit: a study of action, omission, ability, and obligation (J. Horty and N. Belnap). Journal of Philosophical Logic, vol. 24 (1995), pp. 583 - 644.

Reprinted in The Philosopher's Annual: Volume 18 - 1995 ("Ten Best Papers of 1995"), P. Grim, P. Ludlow, G. Mar, and P. Williams (eds.), Ridgeview Publishing Company (1997), pp. 205 - 266. Portions revised and reprinted in Facing the Future: Agents and Choices in Our Indeterministic World, by N. Belnap, M. Perloff, and M. Xu, Oxford University Press (2001).
Intentions as filters. In Proceedings of the AAAI Fall Symposium on Rational Agency, M. Fehling, D. Perlis, M. Pollack, and J. Pollock (eds.), American Association for Artificial Intelligence Press (1995), pp. 86 - 91.
Moral dilemmas and nonmonotonic logic. Journal of Philosophical Logic, vol. 23 (1994), pp. 35 - 65. A preliminary version appears in Proceedings of the First International Workshop on Deontic Logic in Computer Science, J.J. Ch. Meyer and R.M. Wieringa (eds.), Free University of Amsterdam (1991), pp. 212 - 231.
Some direct theories of nonmonotonic inheritance. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, D. Gabbay, C. Hogger, and J. Robinson (eds.), Oxford University Press (1994), pp. 111 - 187.
Frege on the psychological significance of definitions. Philosophical Studies (Special Issue on Definitions), vol. 69 (1993), pp.113 - 153.
View updates in stratified disjunctive databases (J. Grant, J. Horty, J. Lobo, and J. Minker). Journal of Automated Reasoning, vol. 11 (1993), pp. 249 - 267.
Deontic logic as founded on nonmonotonic logic. Annals of Mathematics and Artificial Intelligence (Special Issue on Deontic Logic in Computer Science), vol. 9 (1993), pp. 69 - 91.
Nonmonotonic techniques in the formalization of commonsense normative reasoning. In Proceedings of the Second Symposium on Logical Formalizations of Commonsense Reasoning , V. Lifschitz, J. McCarthy, L. Morgenstern, and Y. Shoham (eds.), American Association for Artificial Intelligence Press (1993).
Reasoning about ignorance: a note on the Bush-Gorbachev problem (S. Kraus, D. Perlis, and J. Horty). Fundamenta Informaticae (Special Issue on Logics for Artificial Intelligence), vol. 15 (1991), pp. 325 - 332.
Conditionals and artificial intelligence (J. Horty and R. Thomason). Fundamenta Informaticae (Special Issue on Logics for Artificial Intelligence), vol. 15 (1991), pp. 301 - 323.
A credulous theory of mixed inheritance. In Inheritance Hierarchies in Knowledge Representation and Programming Languages , M. Lenzerini, D. Nardi, and M. Simi (eds.), John Wiley and Sons Press (1991), pp. 13 - 28.
A skeptic's menagerie: conflictors, preemptors, reinstaters, and zombies in nonmonotonic inheritance (D. Touretzky, R. Thomason, and J. Horty). In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), Morgan Kaufmann Publishers (1991), pp. 478 - 483.
A skeptical theory of inheritance in nonmonotonic semantic networks (J. Horty, R. Thomason, and D. Touretzky). Artificial Intelligence, vol. 42 (1990), pp. 311 - 348. An extended version including implementational details appears as Technical Report CMU-CS-87-175, Computer Science Department, Carnegie Mellon University (1987), 62 pp.
A skeptical theory of mixed inheritance. In Truth or Consequences: Essays in Honor of Nuel Belnap, J.M. Dunn and A. Gupta (eds.), Kluwer Academic Publishers (1990), pp. 267 - 281.
Boolean extensions of inheritance networks (J. Horty and R. Thomason). In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), The MIT Press (1990), pp. 633 - 639.
Logics for inheritance theory (R. Thomason and J. Horty). In Proceedings of the Second International Workshop on Nonmonotonic Reasoning, M. Reinfrank, J. de Kleer, M. Ginsberg, and E. Sandewall (eds.), Springer Verlag Lecture Notes in Artificial Intelligence, vol. 346, Springer Verlag (1989), pp. 220 - 237.
Mixing strict and defeasible inheritance (J. Horty and R. Thomason). In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), Morgan Kaufmann Publishers (1988), pp. 427 - 432.
A skeptical theory of inheritance in nonmonotonic semantic networks (J. Horty, R. Thomason, and D. Touretzky). In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), Morgan Kaufmann Publishers (1987), pp. 358 - 363. Nominated for Best Paper Award, AAAI-87.
A clash of intuitions: the current state of nonmonotonic multiple inheritance systems (D. Touretzky, J. Horty, and R. Thomason). In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), Morgan Kaufmann Publishers (1987), pp. 476 - 482.
A calculus for inheritance in monotonic semantic nets (R. Thomason, J. Horty, and D. Touretzky). In Proceedings of the Second International Symposium on Methodologies for Intelligent Systems, North-Holland Publishing Company (1987), pp. 280 - 287. An extended version appears as Technical Report CMU-CS-86-138, Computer Science Department, Carnegie Mellon University (1986), 24 pp.