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 --
Hide details for Jacobs, SwenJacobs, Swen
2006Attachment IconApplications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26		Electronic Proceedings Article
Hide details for Prevosto, VirgilePrevosto, Virgile
2006SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33		Proceedings Article
Hide details for Sofronie-Stokkermans, VioricaSofronie-Stokkermans, Viorica
2006Attachment IconApplications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26		Electronic Proceedings Article
2006Local reasoning in verification
In: Proceedings of VERIFY'06: Verification Workshop, 128-145		Electronic Proceedings Article
2006Sheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ?		Proceedings Article
Hide details for Waldmann, UweWaldmann, Uwe
2006SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33		Proceedings Article
Hide details for Weydert, EmilWeydert, Emil
1998Minimal information entailment : A preliminary account
In: Proceedings of the 7th International Workshop on Nonmonotonic Reasoning (Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning), 64-72		Proceedings Article
Hide details for AAAIAAAI
Hide details for Brafman, RonenBrafman, Ronen
2005Contingent Planning via Heuristic Forward Search with Implicit Belief States
In: 15th International Conference on Automated Planning and Scheduling, 71-80		Proceedings Article
2004Conformant Planning via Heuristic Forward Search: A New Approach
In: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 355-364		Proceedings Article
Hide details for Geffner, HectorGeffner, Hector
2003Branching Matters: Alternative Branching in Graphplan
In: 13th International Conference on Automated Planning and Scheduling (ICAPS-13), 22-31		Proceedings Article
Hide details for Hoffmann, JörgHoffmann, Jörg
2005Contingent Planning via Heuristic Forward Search with Implicit Belief States
In: 15th International Conference on Automated Planning and Scheduling, 71-80		Proceedings Article
2005The Deterministic Part of IPC-4: An Overview
In: Journal of Artificial Intelligence Research [24], 519 - 579		Journal Article
2005Where Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks
In: Journal of Artificial Intelligence Research [24], 685-758		Journal Article
2004Conformant Planning via Heuristic Forward Search: A New Approach
In: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 355-364		Proceedings Article
2003Branching Matters: Alternative Branching in Graphplan
In: 13th International Conference on Automated Planning and Scheduling (ICAPS-13), 22-31		Proceedings Article
Hide details for AAAI Press [http://www.aaai.org/Press/press.html]AAAI Press [http://www.aaai.org/Press/press.html]
Hide details for Jaeger, ManfredJaeger, Manfred
2003Probabilistic Classifiers and the Concepts they Recognize
In: Proceedings of the Twentieth International Conference on Machine Learning (ICML-03), 266-273		Proceedings Article
Hide details for AAAI Press/ MIT PressAAAI Press/ MIT Press
Show details for Tan, Yao-HuaTan, Yao-Hua

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