Concepedia

John F. Horty

JF

31

Publications

1.7K

Citations

23

H-Index

1961

Active since

Affiliations

University of Maryland, College Park(Current)

University of Pittsburgh

Carnegie Mellon University

Laboratoire d'Informatique de Paris-Nord

John F. Horty is an author at University of Maryland, College Park specializing in automated reasoning, engineering, and law.

Top concepts

Automated ReasoningEngineeringLawSemanticsLanguageLinguisticsEpistemologyFormal MethodsSocial SciencesComputer Science

Publications per year

1961–2020

31

Publications

31

A clash of intuitions: the current state of nonmonotonic multiple inheritance systems

David S. Touretzky, John F. Horty, Richmond H. Thomason · 1987 · 278 citations

The deliberative stit: A study of action, omission, ability, and obligation

John F. Horty, Nuel Belnap · Journal of Philosophical Logic · 1995 · 250 citations

Deliberative Stit, Collective Intentionality, Action (Philosophy) +6

Moral dilemmas and nonmonotonic logic

John F. Horty · Journal of Philosophical Logic · 1994 · 117 citations

Moral Reasoning, Ethical Dilemma, Normative Ethic +3

A factor-based definition of precedential constraint

John F. Horty, Trevor Bench‐Capon · Artificial Intelligence and Law · 2012 · 86 citations

Constraint Solving, Engineering, Constraint Satisfaction +6

RULES AND REASONS IN THE THEORY OF PRECEDENT

John F. Horty · Legal Theory · 2011 · 82 citations

Legal Writing, Common Law, Underlying Logic +13

Rows per page

1–5 of 31