An information retrieval language for legal studies. - William B. Kehl; John F. Horty; Charles R. T. Bacon; David S. Mitchell (Commun. ACM, 1961)

A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. - David S. Touretzky; John F. Horty; Richmond H. Thomason (IJCAI, 1987)

A Calculus for Inheritance in Monotonic Semantic Nets. - Richmond H. Thomason; John F. Horty; David S. Touretzky (ISMIS, 1987)

Mixing Strict and Defeasible Inheritance. - John F. Horty; Richmond H. Thomason (AAAI, 1988)

Logics for Inheritance Theory. - Richmond H. Thomason; John F. Horty (NMR, 1988)

Boolean Extensions of Inheritance Networks. - John F. Horty; Richmond H. Thomason (AAAI, 1990)

A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. - John F. Horty; Richmond H. Thomason; David S. Touretzky (Artif. Intell., 1990)

A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. - David S. Touretzky; Richmond H. Thomason; John F. Horty (IJCAI, 1991)

Conditionals and artificial intelligence. - John F. Horty; Richmond H. Thomason (Fundam. Informaticae, 1991)

Reasoning about ignorance: a note on the Bush-Gorbachev problem. - Sarit Kraus; Donald Perlis; John F. Horty (Fundam. Informaticae, 1991)

Deontic Logic as Founded on Nonmonotonic Logic. - John F. Horty (Ann. Math. Artif. Intell., 1993)

View Updates in Stratified Disjunctive Databases. - John Grant; John F. Horty; Jorge Lobo 001; Jack Minker (J. Autom. Reason., 1993)

Moral dilemmas and nonmonotonic logic. - John F. Horty (J. Philos. Log., 1994)

The deliberative stit: A study of action, omission, ability, and obligation. - John F. Horty; Nuel Belnap (J. Philos. Log., 1995)

Combining Agency and Obligation (Preliminary Version). - John F. Horty (DEON, 1996)

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

Agency and obligation. - John F. Horty (Synth., 1996)

Evaluating Qptions in a Context. - John F. Horty; Martha E. Pollack (TARK, 1998)

Precedent, deontic logic, and inheritance. - John F. Horty (ICAIL, 1999)

There's More to Life than Making Plans: Plan Management in Dynamic, Multiagent Environments. - Martha E. Pollack; John F. Horty (AI Mag., 1999)

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

Evaluating new options in the context of existing plans. - John F. Horty; Martha E. Pollack (Artif. Intell., 2001)

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

Skepticism and floating conclusions. - John F. Horty (Artif. Intell., 2002)

Defaults with Priorities. - John F. Horty (J. Philos. Log., 2007)

Reasons and precedent. - John F. Horty (ICAIL, 2011)

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

An appreciation of John Pollock's work on the computational study of argument. - Henry Prakken; John F. Horty (Argument Comput., 2012)

Stit Logics, Games, Knowledge, and Freedom. - Roberto Ciuni; John F. Horty (Johan van Benthem on Logic and Information Dynamics, 2014)

Introduction. - John F. Horty; Frank Veltman (J. Philos. Log., 2015)

Action Types in STIT Semantics. - John F. Horty; Eric Pacuit (Rev. Symb. Log., 2017)

Epistemic Oughts in STIT Semantics (Abbreviated Version). - John F. Horty (DEON, 2018)

Reasoning with dimensions and magnitudes. - John F. Horty (Artif. Intell. Law, 2019)

Open Texture and Defeasible Semantic Constraint. - John F. Horty (COMMA, 2020)

Modifying the reason model. - John F. Horty (Artif. Intell. Law, 2021)

Piecemeal Knowledge Acquisition for Computational Normative Reasoning. - Ilaria Canavotto; John F. Horty (AIES, 2022)

Reasoning with hierarchies of open-textured predicates. - Ilaria Canavotto; John F. Horty (ICAIL, 2023)

The Importance of Intermediate Factors. - Ilaria Canavotto; John F. Horty (JURIX, 2023)

Normative Reasoning for AI (Dagstuhl Seminar 23151). - Agata Ciabattoni; John F. Horty; Marija Slavkovik 001; Leendert van der Torre; Aleks Knoks (Dagstuhl Reports, 2023)