MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#YearAuthor(s) [non member]Editor(s) [non member]TitleType
1
Show details for Vakarelov, DimiterVakarelov, Dimiter
1
Show details for Vakil, R. (ed.)Vakil, R. (ed.)
1
Show details for Vallduvi, Enric (ed.)Vallduvi, Enric (ed.)
2
Show details for Valmari, Antti (ed.)Valmari, Antti (ed.)
22
Hide details for van der Torre, Leendert W. N.van der Torre, Leendert W. N.
2002[Lang, Jérôme]
[van der Torre, Leendert W. N.]
Weydert, Emil
Utilitarian Desires
In: Autonomous Agents and Multi-Agent Systems [5], 329-363
Journal Article
2001[Lang, Jérôme]
van der Torre, Leendert W. N.
Weydert, Emil
Parsons, Simon
Gmytrasiewicz, Piotr
Two Kinds of Conflicts between Desires (and how to resolve them)
In: Proceedings of the AAAI Symposium on Game and Decision Theoretic Agents, 54-59
Proceedings Article
2001[Makinson, David]
van der Torre, Leendert W. N.
Input-output logics
In: Proceedings of the 5th International Workshop on Deontic Logic in Computer Science (Deon-00),, 29
Proceedings Article
2001van der Torre, Leendert W. N.
Weydert, Emil
Parameters for Utilitarian Desires in a Qualitative Decision Theory
In: Applied Artificial Intelligence [14], 285-301
Journal Article
2000[Makinson, David]
van der Torre, Leendert W. N.
Input-output logics
In: Journal of Philosophical Logic [29], 383-408
Journal Article
1999van der Torre, Leendert W. N.[Hunter, Anthony]
[Parsons, Simon]
Defeasible Goals
In: Proceedings of the 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-99), 374-385
Proceedings Article
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Contrary-to-duty reasoning with preference-based dyadic obligations
In: Annals of Mathematics and Artificial Intelligence [27], 49-78
Journal Article
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Diagnosis and Decision Making in Normative Reasoning
In: Journal of Artificial Intelligence and Law [7], 51-67
Journal Article
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Rights, Duties and Commitments Between Agents
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 1239-1244
Proceedings Article
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
[Cavalcanti, Marcos]Contextual Deontic Logic: violation contexts and factual defeasibility
In: Formal Aspects in Context, 173-192
Part of a Book
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
[Laskey, Kathryn B.]
[Prade, Henri]
An Update Semantics for Defeasible Obligations
In: Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI-99), 631-638
Proceedings Article
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
[McNamara, Paul]
[Prakken, Henri]
An update semantics for deontic reasoning
In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 73-90
Part of a Book
1999Weydert, Emil
[van der Torre, Leendert W. N.]
John BellRisk parameters for utilitarian desires
In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-99), Workshop on Practial Reasoning and Rationality, 48-54
Proceedings Article
1998[Firozabadhi, Babak Sadighi]
van der Torre, Leendert W. N.
Prade, HenriTowards a formal analysis of control systems
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 317-318
Proceedings Article
1998van der Torre, Leendert W. N.Dix, Jürgen
Fariñas del Cerro, Luís
Furbach, Ulrich
Phased labeled logics of conditional goals
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 92-106
Proceedings Article
1998van der Torre, Leendert W. N.Prade, HenriLabeled logics of conditional goals
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 368-369
Proceedings Article
1998van der Torre, Leendert W. N.
[Tan, Yao-Hua]
The temporal analysis of Chisholm's paradox
In: Proceedings of the 15th National Conference, and 10th Conference on Innovative Applications of Artificial Intelligence (AAAI-98) and (IAAI-98), 650-655
Proceedings Article
1998van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Dix, Jürgen
Fariñas del Cerro, Luís
Furbach, Ulrich
Prohairetic Deontic Logic (PDL)
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 77-91
Proceedings Article
1998van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Prade, HenriAn update semantics for prima facie obligations
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 38-42
Proceedings Article
1998Weydert, Emil
van der Torre, Leendert W. N.
[Lang, Jerome]Goals, desires, utilities and preferences
In: Proceedings of the ECAI-98 Workshop : Decision theory meets artificial intelligence - qualitative and quantitative approaches, 57-64
Proceedings Article
1997van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Distinguishing different roles in normative reasoning
In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), 225-232
Proceedings Article
1997van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard
Reasoning about exceptions
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 405-408
Proceedings Article
1
Show details for van Emde Boas, Peter (ed.)van Emde Boas, Peter (ed.)
2
Show details for Van Hentenryck, Pascal (ed.)Van Hentenryck, Pascal (ed.)
1
Show details for van Leeuwen, Jan (ed.)van Leeuwen, Jan (ed.)

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)