John F. Horty Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangdong He, John F. Horty, Eric Pacuit: Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings Springer 2009
2002
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty: Skepticism and floating conclusions. NMR 2002: 391
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty: Skepticism and floating conclusions. Artif. Intell. 135(1-2): 55-72 (2002)
2001
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty, Martha E. Pollack: Evaluating new options in the context of existing plans. Artif. Intell. 127(2): 199-220 (2001)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty: Argument construction and reinstatement in logics for defeasible reasoning. Artif. Intell. Law 9(1): 1-28 (2001)
2000
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Tsamardinos, Martha E. Pollack, John F. Horty: Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches. AIPS 2000: 264-272
1999
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty: Precedent, deontic logic, and inheritance. ICAIL 1999: 63-72
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartha E. Pollack, John F. Horty: There's More to Life than Making Plans: Plan Management in Dynamic, Multiagent Environments. AI Magazine 20(4): 71-83 (1999)
1998
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty, Martha E. Pollack: Evaluating Qptions in a Context. TARK 1998: 249-262
1996
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty: Combining Agency and Obligation (Preliminary Version). DEON 1996: 98-122
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichmond H. Thomason, John F. Horty: Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. TARK 1996: 229-250
1993
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty: Deontic Logic as Founded on Nonmonotonic Logic. Ann. Math. Artif. Intell. 9(1-2): 69-91 (1993)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Grant, John F. Horty, Jorge Lobo, Jack Minker: View Updates in Stratified Disjunctive Databases. J. Autom. Reasoning 11(2): 249-267 (1993)
1991
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid S. Touretzky, Richmond H. Thomason, John F. Horty: A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. IJCAI 1991: 478-485
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty, Richmond H. Thomason: Conditionals and artificial intelligence. Fundam. Inform. 15(3-4): 301-323 (1991)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarit Kraus, Donald Perlis, John F. Horty: Reasoning about ignorance: a note on the Bush-Gorbachev problem. Fundam. Inform. 15(3-4): 325-332 (1991)
1990
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty, Richmond H. Thomason: Boolean Extensions of Inheritance Networks. AAAI 1990: 633-639
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty, Richmond H. Thomason, David S. Touretzky: A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. Artif. Intell. 42(2-3): 311-348 (1990)
1988
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty, Richmond H. Thomason: Mixing Strict and Defeasible Inheritance. AAAI 1988: 427-432
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichmond H. Thomason, John F. Horty: Logics for Inheritance Theory. NMR 1988: 220-237
1987
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Horty, Richmond H. Thomason, David S. Touretzky: A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. AAAI 1987: 358-363
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid S. Touretzky, John F. Horty, Richmond H. Thomason: A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. IJCAI 1987: 476-482
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichmond H. Thomason, John F. Horty, David S. Touretzky: A Calculus for Inheritance in Monotonic Semantic Nets. ISMIS 1987: 280-287
1961
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam B. Kehl, John F. Horty, Charles R. T. Bacon, David S. Mitchell: An information retrieval language for legal studies. Commun. ACM 4(9): 380-389 (1961)

Coauthor Index

1Charles R. T. Bacon [1]
2John Grant [12]
3Xiangdong He [24]
4William B. Kehl [1]
5Sarit Kraus [9]
6Jorge Lobo [12]
7Jack Minker [12]
8David S. Mitchell [1]
9Eric Pacuit [24]
10Donald Perlis [9]
11Martha E. Pollack [16] [17] [19] [21]
12Richmond H. Thomason [2] [3] [4] [5] [6] [7] [8] [10] [11] [14]
13David S. Touretzky [2] [3] [4] [7] [11]
14Ioannis Tsamardinos [19]

Colors in the list of coauthors

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)