MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

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
#YearTitleType
2
Show details for van der Torre [-]van der Torre [-]
1
Show details for van der Torre [Hunter, Parsons]van der Torre [Hunter, Parsons]
1
Show details for van der Torre, Tan [Tan, Cavalcanti]van der Torre, Tan [Tan, Cavalcanti]
1
Show details for van der Torre, Tan [Tan, Laskey, Prade]van der Torre, Tan [Tan, Laskey, Prade]
1
Show details for van der Torre, Tan [Tan, McNamara, Prakken]van der Torre, Tan [Tan, McNamara, Prakken]
8
Hide details for van der Torre, Tan [Tan]van der Torre, Tan [Tan]
1999Contrary-to-duty reasoning with preference-based dyadic obligations
In: Annals of Mathematics and Artificial Intelligence [27], 49-78		Journal Article
1999Diagnosis and Decision Making in Normative Reasoning
In: Journal of Artificial Intelligence and Law [7], 51-67		Journal Article
1999Rights, Duties and Commitments Between Agents
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 1239-1244		Proceedings Article
1998An update semantics for prima facie obligations
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 38-42		Proceedings Article
1998Prohairetic Deontic Logic (PDL)
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 77-91		Proceedings Article
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		Proceedings Article
1997Distinguishing different roles in normative reasoning
In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), 225-232		Proceedings Article
1997Reasoning 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 der Torre, Weydert [van der Torre]van der Torre, Weydert [van der Torre]
2
Show details for Veanes [-]Veanes [-]
1
Show details for Veit [-]Veit [-]
1
Show details for Viganò [-]Viganò [-]
5
Show details for Vorobyov [-]Vorobyov [-]
1
Show details for Vorobyov [Comon]Vorobyov [Comon]
1
Show details for Vorobyov [Gottlob, Grandjean, Seyr]Vorobyov [Gottlob, Grandjean, Seyr]
1
Show details for Vorobyov [Jaffar, Yap]Vorobyov [Jaffar, Yap]
1
Show details for Vorobyov [McRobbie, Slaney]Vorobyov [McRobbie, Slaney]
1
Show details for Vorobyov [Winskel]Vorobyov [Winskel]
1
Show details for Vorobyov, Voronkov [-]Vorobyov, Voronkov [-]
1
Show details for Voronkov [-]Voronkov [-]
1
Show details for Wagner, Podelski [Podelski, Raskin, Thiagarajan]Wagner, Podelski [Podelski, Raskin, Thiagarajan]
6
Show details for Waldmann [-]Waldmann [-]
1
Show details for Waldmann [Bonacina, Furbach]Waldmann [Bonacina, Furbach]
1
Show details for Waldmann [Goré, Leitsch, Nipkow]Waldmann [Goré, Leitsch, Nipkow]

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