MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 2. Titles of all years

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
TitleAuthor(s) [non member]Editor(s) [non member]YearType
0-1 Constraints and 0-1 Optimization
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ?
Bockmayr, AlexanderBenhamou, F.
Colmerauer, A.
Smolka, G.
1993Proceedings Article
0/1 Optimization and 0/1 Primal Separation are Equivalent
In: Proceedings of the 13th Annual ACM SIAM Symposium on Discrete Algorithms, 920-926
Eisenbrand, Friedrich
Rinaldi, Giovanni
[Ventura, Paolo]
2002Proceedings Article
A Calculus for and Termination of Rippling
In: Automated mathematical induction, 147-180
Basin, David A.
[Walsh, Toby]
Zhang, Hantao1996Part of a Book
A Calculus for and Termination of Rippling
In: Journal of Automated Reasoning [16], 147-180
Basin, David A.
[Walsh, Toby]
1996Journal Article
Attachment IconA Calculus of Simplification for Superposition
Universität des Saarlandes
Christen, Michael1997Thesis - Masters thesis
A class of Prolog programs inferable from positive data
In: Algorithmic Learning Theory, 272-284
Krishna Rao, M. R. K.Arikawa, Setsuo
Sharma, Arun
1996Proceedings Article
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
[Levi, Giorgio]
[Steffen, Bernhard]
2004Proceedings Article
A Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ?
Barth, PeterBenhamou, F.
Colmerauer, A.
Smolka, Gert
1993Proceedings Article
A completion procedure for conditional equations
In: Journal of Symbolic Computation [11], 51-81
Ganzinger, Harald1991Journal Article
A Concept for the Implementation of LSE Narrowing
In: 9.~Workshop Logische Programmierung, ?
Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan
Beierle, C.1993Proceedings Article
A Conservative Extension of First-Order Logic and its Applications to Theorem Proving
In: Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'93), 151-160
Basin, David A.
Matthews, Seán
Shyamasundar, R. K.1993Proceedings Article
A Covering Problem for Hypercubes
In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580
Hoffmann, Jörg[Kaelbling, Leslie]2005Poster
A Debugging Model for Functional Logic Programs
In: Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93), 28-43
Hanus, Michael
[Josephs, Berthold]
Bruynooghe, Maurice
Penjam, Jaan
1993Proceedings Article
A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 18
Nonnengart, Andreas
[Szalas, Andrzej]
[Orlowska, Ewa]1999Part of a Book
A Framework for Circular Assume-Guarantee Rules
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58
Maier, PatrickCharatonik, Witold
Ganzinger, Harald
2002Proceedings Article
A framework for incremental learning of logic programs
In: Theoretical Computer Science [185], 191-213
Krishna Rao, M. R. K.1997Journal Article
A Framework for Non-Classical Logics
Universität des Saarlandes
Viganò, Luca1997Thesis - PhD thesis
A Framework for Program Development Based on Schematic Proof
In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171
Basin, David A.
Bundy, Alan
Kraan, Ina
Matthews, Seán
1993Proceedings Article
A General Technique for Automatic Optimization by Proof Planning
In: Proceedings of the 2nd International Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2), 80-96
Madden, Peter
[Green, Ian]
Calmet, Jacques
Campbell, John A.
1995Proceedings Article
A Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445
Socher-Ambrosius, RolfKirchner, Hélène
Levi, G.
1992Proceedings Article
A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256
Dimopoulos, Yannis
[Magirou, Vangelis]
1994Journal Article
A Higher-order Interpretation of Deductive Tableau
In: Journal of Symbolic Computation [31], 487-520
[Ayari, Abdelwaheb]
Basin, David A.
2001Journal Article
A Hybrid Concept Language
In: Proceedings of the 5th International Symposium on Artificial Intelligence and Mathematics, ?
[Blackburn, Patrick]
Tzakova, Miroslava
[Boros, Endre]
[Greiner, Russel]
1998Proceedings Article
Attachment IconA Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes
Maier, Patrick2003Thesis - PhD thesis
A Logic for Default Reasoning About Probabilities
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94), 352-359
Jaeger, ManfredLopez de Mantaraz, Ramon
Poole, David
1994Proceedings Article
Attachment IconA Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems[Podelski, Andreas]
Wagner, Silke
2007Report
Attachment IconA Model Checker based on Abstraction Refinement
Universität des Saarlandes
Rybalchenko, Andrey2002Thesis - Masters thesis
A Modular Presentation of Modal Logics in a Logical Framework
In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, 293-307
[Basin, David A.]
Matthews, Seán
[Viganò, Luca]
Ginzburg, Jonathan
Khasidashvili, Zurab
Vogel, Carl
Levy, Jean-Jacques
Vallduvi, Enric
1998Proceedings Article
A Multi-Dimensional Terminological Knowledge Representation Language
In: Journal of Applied Non-Classical Logics [5], 153-198
Baader, Franz
Ohlbach, Hans Jürgen
1995Journal Article
A Multi-Modal Logic for Stereotyping
In: Proceedings of the 4th International Conference on User Modeling UM94, 87-92
Hustadt, Ullrich1994Proceedings Article

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