Publications
Monographs
Edited collections
Articles (selected)
- An
appreciation of John Pollock's work on the computational study
of argument (H. Prakken and J. Horty).
Argumentation and Computation,
vol. 3 (2012), pp. 1--19.
-
A factor-based definition of precedential constraint (J.
Horty and T. Bench-Capon).
Artificial Intelligence and
Law , vol. 20 (2012), pp. 181-214.
- Rules and
reasons in the theory of precedent.
Legal Theory, vol. 17 (2011), pp. 1 - 33.
*** Reprinted in The Philosopher's Annual, vol. 31 (2011).
-
Reasons and precedent. In Proceedings of the Thirteenth
International Conference on Artificial Intelligence and Law
(ICAIL-99), Association for Computing Machinery Press (2011),
pp. 41 - 50.
-
Perspectival
act utilitarianism. In Dynamic Formal Epistemology,
P. Girard, M. Marion, and O. Roy (eds.), Synthese Library, vol.
351, Springer (2011), pp. 197 - 222.
- Reasons as
defaults. Philosophers' Imprint, vol. 7 no. 3
(2007), 28 pp.
Abbreviated version translated as Grunde als
Defaults in Proceedings des XXII. Deutschen
Kongresses fur Philosophie, Julian Nida-Rumelin and Elif
Ozmen (eds.), Meiner Verlag Hamburg, to appear in fall 2012.
- Defaults
with priorities. Journal of Philosophical Logic,
vol. 36 (2007), pp. 367 - 413.
- Double time
reference in the evaluations of actions. 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. A
preliminary version appears 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, vol. 18 (1995).
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.
A preliminary version appears 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 (preliminary version)
(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.
