MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 5. Year - 8. Counting Publications

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
#YAuthor/EditorTitle
1
Show details for 20132013
2
Show details for 20092009
16
Show details for 20072007
43
Show details for 20062006
41
Show details for 20052005
37
Hide details for 20042004
1
Show details for ProceedingsProceedings
19
Hide details for Proceedings ArticleProceedings Article
Baumgartner, Peter
Burchardt, Aljoscha		Logic Programming Infrastructure for Inferences on FrameNet
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 591-603
Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare		Darwin: A Theorem Prover for the Model Evolution Calculus
In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), 1-24
Baumgartner, Peter
Furbach, Ulrich
Gross-Hardt, Margret
Kleemann, Thomas		Model Based Deduction for Database Schema Reasoning
In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, 168-182
Baumgartner, Peter
Mediratta, Anupam		Improving Stable Models Based Planning by Bidirectional Search
In: Proceedings of the 5th International Conference on Knowledge Based Computer Systems (KBCS 2004), 404-413
Brafman, Ronen
Hoffmann, Jörg		Conformant Planning via Heuristic Forward Search: A New Approach
In: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 355-364
Dubois, Catherine
Jaume, Mathieu
Pons, Olivier
Prevosto, Virgile		L'atelier FOCAL
In: Actes du 6ème Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2004), 321-324
Ganzinger, Harald
Hagen, George
Nieuwenhuis, Robert
Oliveras, Albert
Tinelli, Cesare		DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188
Ganzinger, Harald
Korovin, Konstantin		Integration of equational reasoning into instantiation-based theorem proving
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 71-84
Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe		Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182
Goranko, Valentin
Hustadt, Ullrich
Schmidt, Renate A.
Vakarelov, Dimiter		SCAN is complete for all Sahlqvist formulae
In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 149-162
Kazakov, YevgenyAttachment IconA Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 372-384
Kazakov, Yevgeny
de Nivelle, Hans		A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136
Maier, PatrickIntuitionistic LTL and a New Characterization of Safety and Liveness
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 295-309
Podelski, Andreas
Rybalchenko, Andrey		A Complete Method for the Synthesis of Linear Ranking Functions
In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, 239-251
Podelski, Andreas
Rybalchenko, Andrey		Transition Invariants
In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, 32-41
Ratschan, Stefan
Vehi, Josep		Attachment IconRobust Pole Clustering of Parametric Uncertain Systems Using Interval Methods
In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328
Schmidt, Renate A.
Orłowska, Ewa
Hustadt, Ullrich		Two Proof Systems for Peirce Algebras
In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 238-251
Sofronie-Stokkermans, VioricaResolution-based decision procedures for the positive theory of some finitely generated varieties of algebras
In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), 32-37
Trueg, Sebastian
Hoffmann, Jörg
Nebel, Bernhard		Applying Automatic Planning Systems to Airport Ground Traffic Control -- A Feasibility Study
In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, 183-197
1
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
9
Show details for Journal ArticleJournal Article
3
Show details for ReportReport

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