John F. Horty

John F. Horty, Trevor J. M. Bench-Capon: A factor-based definition of precedential constraint. Artif. Intell. Law 20(2): 181-214 (2012)

John F. Horty: Reasons and precedent. ICAIL 2011: 41-50

Xiangdong He, John F. Horty, Eric Pacuit (Eds.): Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings. Lecture Notes in Computer Science 5834, Springer 2009, isbn 978-3-642-04892-0

John F. Horty: Defaults with Priorities. J. Philosophical Logic 36(4): 367-413 (2007)

John F. Horty: Skepticism and floating conclusions. Artif. Intell. 135(1-2): 55-72 (2002)

John F. Horty: Skepticism and floating conclusions. NMR 2002: 391

John F. Horty, Martha E. Pollack: Evaluating new options in the context of existing plans. Artif. Intell. 127(2): 199-220 (2001)

John F. Horty: Argument construction and reinstatement in logics for defeasible reasoning. Artif. Intell. Law 9(1): 1-28 (2001)

Ioannis Tsamardinos, Martha E. Pollack, John F. Horty: Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches. AIPS 2000: 264-272

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)

John F. Horty: Precedent, deontic logic, and inheritance. ICAIL 1999: 63-72

John F. Horty, Martha E. Pollack: Evaluating Qptions in a Context. TARK 1998: 249-262

John F. Horty: Combining Agency and Obligation (Preliminary Version). DEON 1996: 98-122

Richmond H. Thomason, John F. Horty: Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. TARK 1996: 229-250

John F. Horty: Deontic Logic as Founded on Nonmonotonic Logic. Ann. Math. Artif. Intell. 9(1-2): 69-91 (1993)

John Grant, John F. Horty, Jorge Lobo, Jack Minker: View Updates in Stratified Disjunctive Databases. J. Autom. Reasoning 11(2): 249-267 (1993)

John F. Horty, Richmond H. Thomason: Conditionals and artificial intelligence. Fundam. Inform. 15(3-4): 301-323 (1991)

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)

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

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)

John F. Horty, Richmond H. Thomason: Boolean Extensions of Inheritance Networks. AAAI 1990: 633-639

John F. Horty, Richmond H. Thomason: Mixing Strict and Defeasible Inheritance. AAAI 1988: 427-432

Richmond H. Thomason, John F. Horty: Logics for Inheritance Theory. NMR 1988: 220-237

John F. Horty, Richmond H. Thomason, David S. Touretzky: A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. AAAI 1987: 358-363

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

Richmond H. Thomason, John F. Horty, David S. Touretzky: A Calculus for Inheritance in Monotonic Semantic Nets. ISMIS 1987: 280-287

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)