John Horty
Titel
Geciteerd door
Geciteerd door
Jaar
Agency and deontic logic
JF Horty
Oxford University Press, 2001
5712001
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
3751987
A skeptical theory of inheritance in nonmonotonic semantic networks
JF Horty, RH Thomason, DS Touretzky
Artificial intelligence 42 (2-3), 311-348, 1990
3521990
Reasons as defaults
JF Horty
OUP USA, 2012
2972012
The deliberative stit: A study of action, omission, ability, and obligation
JF Horty, N Belnap
Journal of philosophical logic 24 (6), 583-644, 1995
2801995
Moral dilemmas and nonmonotonic logic
JF Horty
Journal of philosophical logic 23 (1), 35-65, 1994
1641994
Some direct theories of nonmonotonic inheritance, Handbook of logic in artificial intelligence and logic programming (vol. 3): nonmonotonic reasoning and uncertain reasoning
JF Horty
Oxford University Press, Inc., New York, NY, 1994
161*1994
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
1371999
Handbook of deontic logic and normative systems
DM Gabbay, JF Horty, X Parent, R van der Meyden, L van der Torre
College publications, 2013
1242013
Deontic logic as founded on nonmonotonic logic
JF Horty
Annals of Mathematics and Artificial Intelligence 9 (1-2), 69-91, 1993
1061993
Mixing Strict and Defeasible Inheritance.
JF Horty, RH Thomason, D Touretzky
AAAI, 427-432, 1988
951988
Reasoning with moral conflicts
JF Horty
Noûs 37 (4), 557-605, 2003
912003
Nonmonotonic foundations for deontic logic
JF Horty
Defeasible deontic logic, 17-44, 1997
841997
Skepticism and floating conclusions
JF Horty
Artificial Intelligence 135 (1-2), 55-72, 2002
752002
Evaluating new options in the context of existing plans
JF Horty, ME Pollack
Artificial Intelligence 127 (2), 199-220, 2001
662001
A Calculus for Inheritance in Monotonic Semantic Nets.
RH Thomason, JF Horty, DS Touretzky
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 1987
641987
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches.
I Tsamardinos, ME Pollack, JF Horty
AIPS, 264-272, 2000
632000
Prima facie norms, normative conflicts, and dilemmas
L Goble
Handbook of deontic logic and normative systems 1, 241-351, 2013
622013
Rules and reasons in the theory of precedent
JF Horty
Legal Theory 17 (1), 1-33, 2011
592011
Logics for inheritance theory
RH Thomason, JF Horty
International Workshop on Non-Monotonic Reasoning, 220-237, 1988
591988
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20