John F. Horty - RankMe

44 papers A* 5B 2C 8Journal 21Unranked 5

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