John F. Horty - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

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

2009

Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. ProceedingsXiangdong He, John F. Horty, Eric Pacuit, editors, Volume 5834 of Lecture Notes in Computer Science, Springer, 2009. [doi]

2002

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

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

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

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

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]