John Horty
Titolo
Citata da
Citata da
Anno
Agency and deontic logic
JF Horty
Oxford University Press, 2001
5972001
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
3791987
A skeptical theory of inheritance in nonmonotonic semantic networks
JF Horty, RH Thomason, DS Touretzky
Artificial intelligence 42 (2-3), 311-348, 1990
3551990
Reasons as defaults
JF Horty
OUP USA, 2012
3302012
The deliberative stit: A study of action, omission, ability, and obligation
JF Horty, N Belnap
Journal of philosophical logic 24 (6), 583-644, 1995
3021995
Moral dilemmas and nonmonotonic logic
JF Horty
Journal of philosophical logic 23 (1), 35-65, 1994
1721994
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
1411999
Handbook of deontic logic and normative systems
DM Gabbay, JF Horty, X Parent, R van der Meyden, L van der Torre
College publications, 2013
1372013
Deontic logic as founded on nonmonotonic logic
JF Horty
Annals of Mathematics and Artificial Intelligence 9 (1-2), 69-91, 1993
1111993
Reasoning with moral conflicts
JF Horty
Nos 37 (4), 557-605, 2003
1012003
Mixing Strict and Defeasible Inheritance.
JF Horty, RH Thomason, D Touretzky
AAAI, 427-432, 1988
931988
Nonmonotonic foundations for deontic logic
JF Horty
Defeasible deontic logic, 17-44, 1997
891997
Skepticism and floating conclusions
JF Horty
Artificial Intelligence 135 (1-2), 55-72, 2002
772002
Prima facie norms, normative conflicts, and dilemmas
L Goble
Handbook of deontic logic and normative systems 1, 241-351, 2013
762013
Rules and reasons in the theory of precedent
JF Horty
LEG 17, 1, 2011
692011
Evaluating new options in the context of existing plans
JF Horty, ME Pollack
Artificial Intelligence 127 (2), 199-220, 2001
662001
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches.
I Tsamardinos, ME Pollack, JF Horty
AIPS, 264-272, 2000
632000
A Calculus for Inheritance in Monotonic Semantic Nets.
RH Thomason, JF Horty, DS Touretzky
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 1987
631987
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
612013
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20