 | 2009 |
| 24 |  | Xiangdong He,
John F. Horty,
Eric Pacuit:
Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Springer 2009 |
| 2002 |
| 23 |  | John F. Horty:
Skepticism and floating conclusions.
NMR 2002: 391 |
| 22 |  | John F. Horty:
Skepticism and floating conclusions.
Artif. Intell. 135(1-2): 55-72 (2002) |
| 2001 |
| 21 |  | John F. Horty,
Martha E. Pollack:
Evaluating new options in the context of existing plans.
Artif. Intell. 127(2): 199-220 (2001) |
| 20 |  | John F. Horty:
Argument construction and reinstatement in logics for defeasible reasoning.
Artif. Intell. Law 9(1): 1-28 (2001) |
| 2000 |
| 19 |  | Ioannis Tsamardinos,
Martha E. Pollack,
John F. Horty:
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches.
AIPS 2000: 264-272 |
| 1999 |
| 18 |  | John F. Horty:
Precedent, deontic logic, and inheritance.
ICAIL 1999: 63-72 |
| 17 |  | Martha E. Pollack,
John F. Horty:
There's More to Life than Making Plans: Plan Management in Dynamic, Multiagent Environments.
AI Magazine 20(4): 71-83 (1999) |
| 1998 |
| 16 |  | John F. Horty,
Martha E. Pollack:
Evaluating Qptions in a Context.
TARK 1998: 249-262 |
| 1996 |
| 15 |  | John F. Horty:
Combining Agency and Obligation (Preliminary Version).
DEON 1996: 98-122 |
| 14 |  | Richmond H. Thomason,
John F. Horty:
Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision.
TARK 1996: 229-250 |
| 1993 |
| 13 |  | John F. Horty:
Deontic Logic as Founded on Nonmonotonic Logic.
Ann. Math. Artif. Intell. 9(1-2): 69-91 (1993) |
| 12 |  | John Grant,
John F. Horty,
Jorge Lobo,
Jack Minker:
View Updates in Stratified Disjunctive Databases.
J. Autom. Reasoning 11(2): 249-267 (1993) |
| 1991 |
| 11 |  | David S. Touretzky,
Richmond H. Thomason,
John F. Horty:
A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance.
IJCAI 1991: 478-485 |
| 10 |  | John F. Horty,
Richmond H. Thomason:
Conditionals and artificial intelligence.
Fundam. Inform. 15(3-4): 301-323 (1991) |
| 9 |  | Sarit Kraus,
Donald Perlis,
John F. Horty:
Reasoning about ignorance: a note on the Bush-Gorbachev problem.
Fundam. Inform. 15(3-4): 325-332 (1991) |
| 1990 |
| 8 |  | John F. Horty,
Richmond H. Thomason:
Boolean Extensions of Inheritance Networks.
AAAI 1990: 633-639 |
| 7 |  | John F. Horty,
Richmond H. Thomason,
David S. Touretzky:
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks.
Artif. Intell. 42(2-3): 311-348 (1990) |
| 1988 |
| 6 |  | John F. Horty,
Richmond H. Thomason:
Mixing Strict and Defeasible Inheritance.
AAAI 1988: 427-432 |
| 5 |  | Richmond H. Thomason,
John F. Horty:
Logics for Inheritance Theory.
NMR 1988: 220-237 |
| 1987 |
| 4 |  | John F. Horty,
Richmond H. Thomason,
David S. Touretzky:
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks.
AAAI 1987: 358-363 |
| 3 |  | David S. Touretzky,
John F. Horty,
Richmond H. Thomason:
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems.
IJCAI 1987: 476-482 |
| 2 |  | Richmond H. Thomason,
John F. Horty,
David S. Touretzky:
A Calculus for Inheritance in Monotonic Semantic Nets.
ISMIS 1987: 280-287 |
| 1961 |
| 1 |  | William B. Kehl,
John F. Horty,
Charles R. T. Bacon,
David S. Mitchell:
An information retrieval language for legal studies.
Commun. ACM 4(9): 380-389 (1961) |