default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn F. Horty
Person information
- affiliation: University of Maryland, College Park, USA
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c20]Ilaria Canavotto
, John F. Horty:
Reasoning with hierarchies of open-textured predicates. ICAIL 2023: 52-61- [c19]Ilaria Canavotto, John F. Horty:
The Importance of Intermediate Factors. JURIX 2023: 13-22 - [i1]Agata Ciabattoni, John F. Horty, Marija Slavkovik, Leendert van der Torre, Aleks Knoks:
Normative Reasoning for AI (Dagstuhl Seminar 23151). Dagstuhl Reports 13(4): 1-23 (2023) - 2022
- [c18]Ilaria Canavotto, John F. Horty:
Piecemeal Knowledge Acquisition for Computational Normative Reasoning. AIES 2022: 171-180 - 2021
- [j20]John F. Horty:
Modifying the reason model. Artif. Intell. Law 29(2): 271-285 (2021) - 2020
- [c17]John F. Horty:
Open Texture and Defeasible Semantic Constraint. COMMA 2020: 4
2010 – 2019
- 2019
- [j19]John F. Horty:
Reasoning with dimensions and magnitudes. Artif. Intell. Law 27(3): 309-345 (2019) - 2018
- [c16]John F. Horty:
Epistemic Oughts in STIT Semantics (Abbreviated Version). DEON 2018: 157-175 - 2017
- [j18]John F. Horty, Eric Pacuit:
Action Types in STIT Semantics. Rev. Symb. Log. 10(4): 617-637 (2017) - [c15]John F. Horty:
Reasoning with dimensions and magnitudes. ICAIL 2017: 109-118 - 2015
- [j17]John F. Horty, Frank Veltman:
Introduction. J. Philos. Log. 44(6): 593-594 (2015) - 2014
- [p1]Roberto Ciuni, John F. Horty:
Stit Logics, Games, Knowledge, and Freedom. Johan van Benthem on Logic and Information Dynamics 2014: 631-656 - 2012
- [j16]John F. Horty, Trevor J. M. Bench-Capon:
A factor-based definition of precedential constraint. Artif. Intell. Law 20(2): 181-214 (2012) - [j15]Henry Prakken, John F. Horty:
An appreciation of John Pollock's work on the computational study of argument. Argument Comput. 3(1): 1-19 (2012) - 2011
- [c14]John F. Horty:
Reasons and precedent. ICAIL 2011: 41-50
2000 – 2009
- 2009
- [e1]Xiangdong He, John F. Horty, Eric Pacuit:
Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings. Lecture Notes in Computer Science 5834, Springer 2009, ISBN 978-3-642-04892-0 [contents] - 2007
- [j14]John F. Horty:
Defaults with Priorities. J. Philos. Log. 36(4): 367-413 (2007) - 2002
- [j13]John F. Horty:
Skepticism and floating conclusions. Artif. Intell. 135(1-2): 55-72 (2002) - [c13]John F. Horty:
Skepticism and floating conclusions. NMR 2002: 391 - 2001
- [j12]John F. Horty, Martha E. Pollack:
Evaluating new options in the context of existing plans. Artif. Intell. 127(2): 199-220 (2001) - [j11]John F. Horty:
Argument construction and reinstatement in logics for defeasible reasoning. Artif. Intell. Law 9(1): 1-28 (2001) - 2000
- [c12]Ioannis Tsamardinos, Martha E. Pollack, John F. Horty:
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches. AIPS 2000: 264-272
1990 – 1999
- 1999
- [j10]Martha E. Pollack, John F. Horty:
There's More to Life than Making Plans: Plan Management in Dynamic, Multiagent Environments. AI Mag. 20(4): 71-83 (1999) - [c11]John F. Horty:
Precedent, deontic logic, and inheritance. ICAIL 1999: 63-72 - 1998
- [c10]John F. Horty, Martha E. Pollack:
Evaluating Qptions in a Context. TARK 1998: 249-262 - 1996
- [j9]John F. Horty:
Agency and obligation. Synth. 108(2): 269-307 (1996) - [c9]John F. Horty:
Combining Agency and Obligation (Preliminary Version). DEON 1996: 98-122 - [c8]Richmond H. Thomason, John F. Horty:
Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. TARK 1996: 229-250 - 1995
- [j8]John F. Horty, Nuel Belnap:
The deliberative stit: A study of action, omission, ability, and obligation. J. Philos. Log. 24(6): 583-644 (1995) - 1994
- [j7]John F. Horty:
Moral dilemmas and nonmonotonic logic. J. Philos. Log. 23(1): 35-65 (1994) - 1993
- [j6]John F. Horty:
Deontic Logic as Founded on Nonmonotonic Logic. Ann. Math. Artif. Intell. 9(1-2): 69-91 (1993) - [j5]John Grant, John F. Horty, Jorge Lobo, Jack Minker:
View Updates in Stratified Disjunctive Databases. J. Autom. Reason. 11(2): 249-267 (1993) - 1991
- [j4]John F. Horty, Richmond H. Thomason:
Conditionals and artificial intelligence. Fundam. Informaticae 15(3-4): 301-323 (1991) - [j3]Sarit Kraus, Donald Perlis, John F. Horty:
Reasoning about ignorance: a note on the Bush-Gorbachev problem. Fundam. Informaticae 15(3-4): 325-332 (1991) - [c7]David S. Touretzky, Richmond H. Thomason, John F. Horty:
A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. IJCAI 1991: 478-485 - 1990
- [j2]John 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) - [c6]John F. Horty, Richmond H. Thomason:
Boolean Extensions of Inheritance Networks. AAAI 1990: 633-639
1980 – 1989
- 1988
- [c5]John F. Horty, Richmond H. Thomason:
Mixing Strict and Defeasible Inheritance. AAAI 1988: 427-432 - [c4]Richmond H. Thomason, John F. Horty:
Logics for Inheritance Theory. NMR 1988: 220-237 - 1987
- [c3]John F. Horty, Richmond H. Thomason, David S. Touretzky:
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. AAAI 1987: 358-363 - [c2]David S. Touretzky, John F. Horty, Richmond H. Thomason:
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. IJCAI 1987: 476-482 - [c1]Richmond H. Thomason, John F. Horty, David S. Touretzky:
A Calculus for Inheritance in Monotonic Semantic Nets. ISMIS 1987: 280-287
1960 – 1969
- 1961
- [j1]William 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
