John Horty
Titel
Citeras av
Citeras av
År
Agency and deontic logic
JF Horty
Oxford University Press, 2001
6242001
A clash of intuitions: The current state of nonmonotonic multiple inheritance systems'
JF Horty, RH Thomason, DS Touretzky
Proceedings ofthe 10th IJCAl, Milan, Italy, 1987
3761987
A skeptical theory of inheritance in nonmonotonic semantic networks
JF Horty, RH Thomason, DS Touretzky
Artificial intelligence 42 (2-3), 311-348, 1990
3571990
Reasons as defaults
JF Horty
OUP USA, 2012
3532012
The deliberative stit: A study of action, omission, ability, and obligation
JF Horty, N Belnap
Journal of philosophical logic 24 (6), 583-644, 1995
3131995
Moral dilemmas and nonmonotonic logic
JF Horty
Journal of philosophical logic 23 (1), 35-65, 1994
1751994
Some direct theories of nonmonotonic inheritance
JF Horty
Handbook of logic in artificial intelligence and logic programming 3, 111-187, 1994
1621994
Handbook of deontic logic and normative systems
DM Gabbay, JF Horty, X Parent, R van der Meyden, L van der Torre
College publications, 2013
1462013
There's more to life than making plans: plan management in dynamic, multiagent environments
ME Pollack, JF Horty
AI Magazine 20 (4), 71-71, 1999
1441999
Deontic logic as founded on nonmonotonic logic
JF Horty
Annals of Mathematics and Artificial Intelligence 9 (1), 69-91, 1993
1151993
Reasoning with moral conflicts
JF Horty
Noûs 37 (4), 557-605, 2003
1052003
Mixing Strict and Defeasible Inheritance.
JF Horty, RH Thomason, D Touretzky
AAAI, 427-432, 1988
951988
Nonmonotonic foundations for deontic logic
JF Horty
Defeasible deontic logic, 17-44, 1997
901997
Prima Facie Norms, Normative Con-flicts, and Dilemmas
L Goble
Handbook of deontic logic and normative systems, 241, 2013
822013
Skepticism and floating conclusions
JF Horty
Artificial Intelligence 135 (1-2), 55-72, 2002
762002
Rules and reasons in the theory of precedent
JF Horty
LEG 17, 1, 2011
742011
Evaluating new options in the context of existing plans
JF Horty, ME Pollack
Artificial Intelligence 127 (2), 199-220, 2001
702001
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches.
I Tsamardinos, ME Pollack, JF Horty
AIPS, 264-272, 2000
702000
The varieties of permission
SO Hansson, D Gabbay, J Horty, X Parent, R van der Meyden, ...
Handbook of deontic logic and normative systems 1, 195-240, 2013
662013
A Calculus for Inheritance in Monotonic Semantic Nets.
RH Thomason, JF Horty, DS Touretzky
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 1987
651987
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20