MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 6. Publisher/Author,Editor

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
Hide details for Tan, Yao-HuaTan, Yao-Hua
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
Hide details for van der Torre, Leendert W. N.van der Torre, Leendert W. N.
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
Hide details for AAAI [http://www.aaai.org/Press/press.html]AAAI [http://www.aaai.org/Press/press.html]
Hide details for Lang, JérômeLang, Jérôme
2001Two 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
Hide details for van der Torre, Leendert W. N.van der Torre, Leendert W. N.
2001Two 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
Hide details for Weydert, EmilWeydert, Emil
2001Two 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
Hide details for AAAI [http://www.aaai.org/]AAAI [http://www.aaai.org/]
Hide details for Domshlak, CarmelDomshlak, Carmel
2006Fast Probabilistic Planning Through Weighted Model Counting
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 243-252		Proceedings Article
2006Friends or Foes? An AI Planning Perspective on Abstraction and Search
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 294-303		Proceedings Article
Hide details for Gomes, CarlaGomes, Carla
2006Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 284-293		Proceedings Article
Hide details for Hoffmann, JörgHoffmann, Jörg
2006Fast Probabilistic Planning Through Weighted Model Counting
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 243-252		Proceedings Article
2006Friends or Foes? An AI Planning Perspective on Abstraction and Search
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 294-303		Proceedings Article
2006Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 284-293		Proceedings Article
Hide details for Sabharwal, AshishSabharwal, Ashish
2006Friends or Foes? An AI Planning Perspective on Abstraction and Search
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 294-303		Proceedings Article
Hide details for Selman, BartSelman, Bart
2006Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 284-293		Proceedings Article
Hide details for Academic Conferences LimitedAcademic Conferences Limited
Hide details for Freiheit, JörnFreiheit, Jörn
2006Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151		Proceedings Article
Hide details for Zangl, FabriceZangl, Fabrice
2006Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151		Proceedings Article

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