| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| A Multi-Modal Logic for Stereotyping
In: Proceedings of the 4th International Conference on User Modeling UM94, 87-92 | Hustadt, Ullrich | | 1994 | Proceedings Article |
| A Needed Narrowing Strategy
In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), 268-279 | [Antoy, Sergio]
[Echahed, Rachid]
Hanus, Michael | | 1994 | Proceedings Article |
| A New Clausal Class Decidable by Hyperresolution | [Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.] | | 2002 | Report |
| A New Clausal Class Decidable by Hyperresolution
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 260-274 | [Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.] | [Voronkov, Andrei] | 2002 | Proceedings Article |
| A New Input Technique for Accented Letters in Alphabetical Scripts
In: Proceedings of the 20th International Unicode Conference, C12 | Waldmann, Uwe | | 2002 | Proceedings Article |
| A new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528 | Ganzinger, Harald
[McAllester, David] | [Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias] | 2001 | Proceedings Article |
| A New Method for Bounding the Complexity of Modal Logics
In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), 89-102 | Basin, David A.
Matthews, Seán
Viganò, Luca | Gottlob, G.
Leitsch, A.
Mundici, D. | 1997 | Proceedings Article |
| A New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54 | Weidenbach, Christoph | Ohlbach, Hans Jürgen | 1993 | Proceedings Article |
| A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275 | Ohlbach, Hans Jürgen
Weidenbach, Christoph | | 1995 | Journal Article |
| A Phytography of WALDMEISTER
In: AI Communications [15], 127-133 | [Löchner, Bernd]
Hillenbrand, Thomas | | 2002 | Journal Article |
| A 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 | [Alferes, José Júlio]
[Leite, João] | 2004 | Proceedings Article |
| A practical implementation of simple consequence relations using inductive definitions
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 306-320 | Matthews, Seán | McCune, William | 1997 | Proceedings Article |
| A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 412-426 | Schmidt, Renate A.
[Hustadt, Ullrich] | [Baader, Franz] | 2003 | Proceedings Article |
| A Recursion Planning Analysis of Inductive Completion
In: Annals of Mathematics and Artificial Intelligence [8], 363-381 | Barnett, Richard
Basin, David A.
Hesketh, Jane | | 1993 | Journal Article |
| A Refined Version of General E-Unification
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 665-677 | Socher-Ambrosius, Rolf | Bundy, Alan | 1994 | Proceedings Article |
| A Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
Universität des Saarlandes | Ayari, Abdelwaheb | | 1995 | Thesis - Masters thesis |
| A Representation Theorem and Applications
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
7th European Conference, ECSQARU 2003, 50-61 | Jaeger, Manfred | [Nielsen, Thomas D.]
[Zhang, Nevin L.] | 2003 | Proceedings Article |
| A Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes | Nonnengart, Andreas | | 1995 | Thesis - PhD thesis |
| A Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246 | Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A. | [Zakharyaschev, Michael]
[Segerberg, Krister]
[de Rijke, Maarten]
[Wansing, Heinrich] | 2001 | Part of a Book |
| A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 211-225 | de Nivelle, Hans
[Pratt-Hartmann, Ian] | [Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias] | 2001 | Proceedings Article |
| A Resolution Calculus for Modal Logics
Universität Kaiserslautern | Ohlbach, Hans Jürgen | | 1988 | Thesis - PhD thesis |
| A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136 | Kazakov, Yevgeny
de Nivelle, Hans | [Basin, David]
[Rusinowitch, Michael] | 2004 | Proceedings Article |
| A Semi-Algebraic Approach for the Computation of Lyapunov Functions
In: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE, 7-12 | She, Zhikun
Xia, Bican
[Xiao, Rong] | [Kovalerchuk, B.] | 2006 | Proceedings Article |
| A Set-Theoretic Framework for Assume-Guarantee Reasoning
In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001), 821-834 | Maier, Patrick | [Orejas, Fernando]
[Spirakis, Paul G.]
[van Leeuwen, Jan] | 2001 | Proceedings Article |
| A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753 | [Podelski, Andreas]
Wagner, Silke | Bemporad, Alberto
Bicchi, Antonio
Buttazzo, Giorgio C. | 2007 | Poster |
| A specification logic for concurrent object-oriented programming
In: Mathematical Structures in Computer Science [9], 253-286 | Delzanno, Giorgio
[Galmiche, Didier]
[Martelli, Maurizio] | | 1999 | Journal Article |
| A Superposition Calculus for Divisible Torsion-Free Abelian Groups
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 130-134 | Waldmann, Uwe | [Bonacina, Maria Paola]
[Furbach, Ulrich] | 1997 | Proceedings Article |
| A Superposition Decision Procedure for the Guarded Fragment with Equality
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 295-303 | Ganzinger, Harald
de Nivelle, Hans | [Longo, Giuseppe] | 1999 | Proceedings Article |
| A Superposition View on Nelson-Oppen
In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20 | Hillenbrand, Thomas | [Sattler, Ulrike] | 2004 | Electronic Proceedings Article |
| A Term Equality Problem Equivalent to Graph Isomorphism
In: Information Processing Letters [51], 61-66 | Basin, David A. | | 1994 | Journal Article |