John F. Horty

Publication Activity (10 Years)

Years Active: 1961-2023
Publications (10 Years): 10

Top Topics

Model Based Reasoning

Medical Expert System

Reasoning Tasks

Resource Bounded

Top Venues

Artif. Intell. Law

Publications

Ilaria Canavotto, John F. Horty
Reasoning with hierarchies of open-textured predicates. ICAIL (2023)
Ilaria Canavotto, John F. Horty
The Importance of Intermediate Factors. JURIX (2023)
Agata Ciabattoni, John F. Horty, Marija Slavkovik, Leendert van der Torre, Aleks Knoks
Normative Reasoning for AI (Dagstuhl Seminar 23151). Dagstuhl Reports 13 (4) (2023)
Ilaria Canavotto, John F. Horty
Piecemeal Knowledge Acquisition for Computational Normative Reasoning. AIES (2022)
John F. Horty
Modifying the reason model. Artif. Intell. Law 29 (2) (2021)
John F. Horty
Open Texture and Defeasible Semantic Constraint. COMMA (2020)
John F. Horty
Reasoning with dimensions and magnitudes. Artif. Intell. Law 27 (3) (2019)
John F. Horty
Epistemic Oughts in STIT Semantics (Abbreviated Version). DEON (2018)
John F. Horty
Reasoning with dimensions and magnitudes. ICAIL (2017)
John F. Horty, Eric Pacuit
Action Types in STIT Semantics. Rev. Symb. Log. 10 (4) (2017)
John F. Horty, Frank Veltman
Introduction. J. Philos. Log. 44 (6) (2015)
Henry Prakken, John F. Horty
An appreciation of John Pollock's work on the computational study of argument. Argument Comput. 3 (1) (2012)
John F. Horty, Trevor J. M. Bench-Capon
A factor-based definition of precedential constraint. Artif. Intell. Law 20 (2) (2012)
John F. Horty
Reasons and precedent. ICAIL (2011)
John F. Horty
Defaults with Priorities. J. Philos. Log. 36 (4) (2007)
John F. Horty
Skepticism and floating conclusions. NMR (2002)
John F. Horty
Skepticism and floating conclusions. Artif. Intell. 135 (1-2) (2002)
John F. Horty, Martha E. Pollack
Evaluating new options in the context of existing plans. Artif. Intell. 127 (2) (2001)
John F. Horty
Argument construction and reinstatement in logics for defeasible reasoning. Artif. Intell. Law 9 (1) (2001)
Ioannis Tsamardinos, Martha E. Pollack, John F. Horty
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches. AIPS (2000)
Martha E. Pollack, John F. Horty
There's More to Life than Making Plans: Plan Management in Dynamic, Multiagent Environments. AI Mag. 20 (4) (1999)
John F. Horty
Precedent, deontic logic, and inheritance. ICAIL (1999)
John F. Horty, Martha E. Pollack
Evaluating Qptions in a Context. TARK (1998)
John F. Horty
Combining Agency and Obligation (Preliminary Version). DEON (1996)
John F. Horty
Agency and obligation. Synth. 108 (2) (1996)
Richmond H. Thomason, John F. Horty
Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. TARK (1996)
John F. Horty, Nuel Belnap
The deliberative stit: A study of action, omission, ability, and obligation. J. Philos. Log. 24 (6) (1995)
John F. Horty
Moral dilemmas and nonmonotonic logic. J. Philos. Log. 23 (1) (1994)
John Grant, John F. Horty, Jorge Lobo, Jack Minker
View Updates in Stratified Disjunctive Databases. J. Autom. Reason. 11 (2) (1993)
John F. Horty
Deontic Logic as Founded on Nonmonotonic Logic. Ann. Math. Artif. Intell. 9 (1-2) (1993)
John F. Horty, Richmond H. Thomason
Conditionals and artificial intelligence. Fundam. Informaticae 15 (3-4) (1991)
David S. Touretzky, Richmond H. Thomason, John F. Horty
A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. IJCAI (1991)
Sarit Kraus, Donald Perlis, John F. Horty
Reasoning about ignorance: a note on the Bush-Gorbachev problem. Fundam. Informaticae 15 (3-4) (1991)
John F. Horty, Richmond H. Thomason
Boolean Extensions of Inheritance Networks. AAAI (1990)
John F. Horty, Richmond H. Thomason, David S. Touretzky
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. Artif. Intell. 42 (2-3) (1990)
Richmond H. Thomason, John F. Horty
Logics for Inheritance Theory. NMR (1988)
John F. Horty, Richmond H. Thomason
Mixing Strict and Defeasible Inheritance. AAAI (1988)
David S. Touretzky, John F. Horty, Richmond H. Thomason
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. IJCAI (1987)
John F. Horty, Richmond H. Thomason, David S. Touretzky
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. AAAI (1987)
Richmond H. Thomason, John F. Horty, David S. Touretzky
A Calculus for Inheritance in Monotonic Semantic Nets. ISMIS (1987)
William B. Kehl, John F. Horty, Charles R. T. Bacon, David S. Mitchell
An information retrieval language for legal studies. Commun. ACM 4 (9) (1961)