| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| 0-1 Constraints and 0-1 Optimization
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ? | Bockmayr, Alexander | Benhamou, F.
Colmerauer, A.
Smolka, G. | 1993 | Proceedings 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] | | 2002 | Proceedings Article |
| A Calculus for and Termination of Rippling
In: Automated mathematical induction, 147-180 | Basin, David A.
[Walsh, Toby] | Zhang, Hantao | 1996 | Part of a Book |
| A Calculus for and Termination of Rippling
In: Journal of Automated Reasoning [16], 147-180 | Basin, David A.
[Walsh, Toby] | | 1996 | Journal Article |
| A Calculus of Simplification for Superposition
Universität des Saarlandes | Christen, Michael | | 1997 | Thesis - 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 | 1996 | Proceedings 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] | 2004 | Proceedings Article |
| A Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ? | Barth, Peter | Benhamou, F.
Colmerauer, A.
Smolka, Gert | 1993 | Proceedings Article |
| A completion procedure for conditional equations
In: Journal of Symbolic Computation [11], 51-81 | Ganzinger, Harald | | 1991 | Journal Article |
| A Concept for the Implementation of LSE Narrowing
In: 9.~Workshop Logische Programmierung, ? | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | Beierle, C. | 1993 | Proceedings 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. | 1993 | Proceedings Article |
| A Covering Problem for Hypercubes
In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580 | Hoffmann, Jörg | [Kaelbling, Leslie] | 2005 | Poster |
| 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 | 1993 | Proceedings 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] | 1999 | Part 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, Patrick | Charatonik, Witold
Ganzinger, Harald | 2002 | Proceedings Article |
| A framework for incremental learning of logic programs
In: Theoretical Computer Science [185], 191-213 | Krishna Rao, M. R. K. | | 1997 | Journal Article |
| A Framework for Non-Classical Logics
Universität des Saarlandes | Viganò, Luca | | 1997 | Thesis - 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 | | 1993 | Proceedings 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. | 1995 | Proceedings Article |
| A Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445 | Socher-Ambrosius, Rolf | Kirchner, Hélène
Levi, G. | 1992 | Proceedings Article |
| A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256 | Dimopoulos, Yannis
[Magirou, Vangelis] | | 1994 | Journal Article |
| A Higher-order Interpretation of Deductive Tableau
In: Journal of Symbolic Computation [31], 487-520 | [Ayari, Abdelwaheb]
Basin, David A. | | 2001 | Journal 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] | 1998 | Proceedings Article |
| A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes | Maier, Patrick | | 2003 | Thesis - 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, Manfred | Lopez de Mantaraz, Ramon
Poole, David | 1994 | Proceedings Article |
| A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | [Podelski, Andreas]
Wagner, Silke | | 2007 | Report |
| A Model Checker based on Abstraction Refinement
Universität des Saarlandes | Rybalchenko, Andrey | | 2002 | Thesis - 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 | 1998 | Proceedings Article |
| A Multi-Dimensional Terminological Knowledge Representation Language
In: Journal of Applied Non-Classical Logics [5], 153-198 | Baader, Franz
Ohlbach, Hans Jürgen | | 1995 | Journal Article |
| A Multi-Modal Logic for Stereotyping
In: Proceedings of the 4th International Conference on User Modeling UM94, 87-92 | Hustadt, Ullrich | | 1994 | Proceedings Article |