MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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
YearTitleBibTeX cite key
Show details for van der Torrevan der Torre
Hide details for van der Torre, Tanvan der Torre, Tan
1999An Update Semantics for Defeasible Obligations
In: Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI-99), 631-638
torre:uai99
1999An update semantics for deontic reasoning
In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 73-90
torre:update99
1999Contextual Deontic Logic: violation contexts and factual defeasibility
In: Formal Aspects in Context, 173-192
torre:context99
1999Contrary-to-duty reasoning with preference-based dyadic obligations
In: Annals of Mathematics and Artificial Intelligence [27], 49-78
torre:jmai99
1999Diagnosis and Decision Making in Normative Reasoning
In: Journal of Artificial Intelligence and Law [7], 51-67
Torre98.1
1999Rights, Duties and Commitments Between Agents
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 1239-1244
torre:ijcai99
1998An update semantics for prima facie obligations
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 38-42
torre:ecai98
1998Prohairetic Deontic Logic (PDL)
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 77-91
torre:jelia98a
1998The 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
torre:aaai98
1997Distinguishing different roles in normative reasoning
In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), 225-232
Torre97b
1997Reasoning about exceptions
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 405-408
Torre97c
Show details for van der Torre, Weydertvan der Torre, Weydert
Show details for VeanesVeanes
Show details for VeitVeit
Show details for ViganòViganò
Show details for VorobyovVorobyov
Show details for Vorobyov, VoronkovVorobyov, Voronkov
Show details for VoronkovVoronkov
Show details for Wagner, PodelskiWagner, Podelski
Show details for WaldmannWaldmann
Show details for WangWang
Show details for WeidenbachWeidenbach
Show details for Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, TopićWeidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić
Show details for Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, TopićWeidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić
Show details for Weidenbach, Gaede, RockWeidenbach, Gaede, Rock
Show details for Weidenbach, Meyer, Cohrs, Engel, KeenWeidenbach, Meyer, Cohrs, Engel, Keen
Show details for Werner, Bockmayr, KrischerWerner, Bockmayr, Krischer
Show details for WeydertWeydert

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