John F. Horty - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 41 from 41

2023

Reasoning with hierarchies of open-textured predicatesIlaria Canavotto, John F. Horty. icail 2023: 52-61 [doi]

The Importance of Intermediate FactorsIlaria Canavotto, John F. Horty. jurix 2023: 13-22 [doi]

Normative Reasoning for AI (Dagstuhl Seminar 23151)Agata Ciabattoni, John F. Horty, Marija Slavkovik 0001, Leendert van der Torre, Aleks Knoks. dagstuhl-reports, 13(4):1-23, 2023. [doi]

2022

Piecemeal Knowledge Acquisition for Computational Normative ReasoningIlaria Canavotto, John F. Horty. aies 2022: 171-180 [doi]

2021

Modifying the reason modelJohn F. Horty. ail, 29(2):271-285, 2021. [doi]

2020

Open Texture and Defeasible Semantic ConstraintJohn F. Horty. comma 2020: 4 [doi]

2019

Reasoning with dimensions and magnitudesJohn F. Horty. ail, 27(3):309-345, 2019. [doi]

2017

Action Types in STIT SemanticsJohn F. Horty, Eric Pacuit. rsl, 10(4):617-637, 2017. [doi]

Reasoning with dimensions and magnitudesJohn F. Horty. icail 2017: 109-118 [doi]

2015

IntroductionJohn F. Horty, Frank Veltman. jphil, 44(6):593-594, 2015. [doi]

2014

Stit Logics, Games, Knowledge, and FreedomRoberto Ciuni, John F. Horty. In Alexandru Baltag, Sonja Smets, editors, Johan van Benthem on Logic and Information Dynamics. pages 631-656, Springer, 2014. [doi]

2012

A factor-based definition of precedential constraintJohn F. Horty, Trevor J. M. Bench-Capon. ail, 20(2):181-214, 2012. [doi]

An appreciation of John Pollock's work on the computational study of argumentHenry Prakken, John F. Horty. argcom, 3(1):1-19, 2012. [doi]

2011

Reasons and precedentJohn F. Horty. icail 2011: 41-50 [doi]

2007

Defaults with PrioritiesJohn F. Horty. jphil, 36(4):367-413, 2007. [doi]

2002

Skepticism and floating conclusionsJohn F. Horty. ai, 135(1-2):55-72, 2002. [doi]

Skepticism and floating conclusionsJohn F. Horty. lpnmr 2002: 391

2001

Argument construction and reinstatement in logics for defeasible reasoningJohn F. Horty. ail, 9(1):1-28, 2001.

Evaluating new options in the context of existing plansJohn F. Horty, Martha E. Pollack. ai, 127(2):199-220, 2001. [doi]

2000

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

1999

Precedent, deontic logic, and inheritanceJohn F. Horty. icail 1999: 63-72 [doi]

There s More to Life than Making Plans: Plan Management in Dynamic, Multiagent EnvironmentsMartha E. Pollack, John F. Horty. aim, 20(4):71-83, 1999.

1998

Evaluating Qptions in a ContextJohn F. Horty, Martha E. Pollack. tark 1998: 249-262

1996

Agency and obligationJohn F. Horty. synthese, 108(2):269-307, 1996. [doi]

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

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

1995

The deliberative stit: A study of action, omission, ability, and obligationJohn F. Horty, Nuel Belnap. jphil, 24(6):583-644, 1995. [doi]

1994

Moral dilemmas and nonmonotonic logicJohn F. Horty. jphil, 23(1):35-65, 1994. [doi]

1993

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

Deontic Logic as Founded on Nonmonotonic LogicJohn F. Horty. AMAI, 9(1-2):69-91, 1993.

1991

Conditionals and artificial intelligenceJohn F. Horty, Richmond H. Thomason. FUIN, 15(3-4):301-323, 1991.

Reasoning about ignorance: a note on the Bush-Gorbachev problemSarit Kraus, Donald Perlis, John F. Horty. FUIN, 15(3-4):325-332, 1991.

A Skeptic s Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic InheritanceDavid S. Touretzky, Richmond H. Thomason, John F. Horty. IJCAI 1991: 478-485

1990

A Skeptical Theory of Inheritance in Nonmonotonic Semantic NetworksJohn F. Horty, Richmond H. Thomason, David S. Touretzky. ai, 42(2-3):311-348, 1990.

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

1988

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

Logics for Inheritance TheoryRichmond H. Thomason, John F. Horty. nmr 1989: 220-237

1987

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

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

A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance SystemsDavid S. Touretzky, John F. Horty, Richmond H. Thomason. IJCAI 1987: 476-482

1961

An information retrieval language for legal studiesWilliam B. Kehl, John F. Horty, Charles R. T. Bacon, David S. Mitchell. CACM, 4(9):380-389, 1961. [doi]

Sign in or sign up to see more results.

runs on WebDSL