| 2002 |
|---|
| 23 | | John F. Horty:
Skepticism and floating conclusions.
NMR 2002: 391 |
| 22 | EE | John F. Horty:
Skepticism and floating conclusions.
Artif. Intell. 135(1-2): 55-72 (2002) |
| 2001 |
|---|
| 21 | EE | 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 | EE | 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 | EE | 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) |
