| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Proceedings of the 16th International Conference on Automated Deduction (CADE-16) | | Ganzinger, Harald | 1999 | Proceedings |
| Proceedings of the 2nd International Workshop on the Implementation of Logics | | de Nivelle, Hans
[Schulz, Stephan] | 2001 | Proceedings |
| Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97) | | Weydert, Emil
[Brewka, Gerd]
[Witteveen, Cees] | 1997 | Proceedings |
| Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99) | | Ganzinger, Harald
[McAllester, David]
[Voronkov, Andrei] | 1999 | Proceedings |
| Proceedings of the Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems | | Basin, David A.
[Giunchiglia, Fausto]
[Kaufmann, Matt] | 1994 | Report |
| Program Development Schemata as Derived Rules
In: Journal of Symbolic Computation [30], 5-36 | [Anderson, Penny]
Basin, David A. | | 2000 | Journal Article |
| Program improvement by proof planning
In: Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11), | Madden, Peter | | 1995 | Proceedings Article |
| Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37 | [Ben-Amram, Amir M.]
Lee, Chin Soon | | 2007 | Journal Article |
| Programmanalyse des XRTL Zwischencodes
Universität des Saarlandes | Backes, Werner | | 2005 | Thesis - PhD thesis |
| Prohairetic Deontic Logic (PDL)
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 77-91 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | Dix, Jürgen
Fariñas del Cerro, Luís
Furbach, Ulrich | 1998 | Proceedings Article |
| Proof Contexts with Late Binding
In: Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, 325-339 | Prevosto, Virgile
[Boulmé, Sylvain] | [Urzyczyn, Pawe{ł}] | 2005 | Proceedings Article |
| Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions
In: 4th IEEE International Conference on Computational Cybernetics, 245-249 | She, Zhikun
Ratschan, Stefan | | 2006 | Proceedings Article |
| Proving that programs eventually do something good
In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), 265-276 | [Cook, Byron]
[Gotsman, Alexey]
[Podelski, Andreas]
Rybalchenko, Andrey
[Vardi, Moshe] | [Hofmann, Martin]
[Felleisen, Matthias] | 2007 | Proceedings Article |
| Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | [Cook, Byron]
[Podelski, Andreas]
Rybalchenko, Andrey | [Ferrante, Jeanne]
[McKinley, Kathryn S.] | 2007 | Proceedings Article |
| Pseudo-Boolean and Finite Domain Constraint Programming: A Case Study
In: Deklarative Constraint Programmierung, 29-41 | Bockmayr, Alexander
Kasper, Thomas | [Geske, Ulrich]
[Simonis, Helmut] | 1996 | Proceedings Article |
| Pseudo-Boolean Constraint Logic Programming
In: Computational Logic. The Newsletter of the European Network in Computational Logic [2], 52-53 | Barth, Peter
Bockmayr, Alexander | | 1995 | Journal Article |
| Qualitative and Quantitative Practical Reasoning | | [Gabbay, Dov M.]
[Kruse, Rudolf]
Nonnengart, Andreas
Ohlbach, Hans Jürgen | 1997 | Book |
| Qualitative Entropy Maximization - A preliminary report
In: Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97), 63-72 | Weydert, Emil | Weydert, Emil
[Brewka, Gerd]
[Witteveen, Cees] | 1997 | Proceedings Article |
| Quantifier Elimination for Second-Order Predicate Logic | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Szalas, Andrzej] | | 2001 | Unpublished/Draft |
| Quantifier Elimination in Second-Order Predicate Logic
In: Principles of Knowledge Representation and Reasoning (KR92),, 425-435
In: South African Computer Journal [7], 425-435 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | Nebel, Bernhard Nebel
Rich, Charles
Swartout, William | 1992 | Proceedings Article |
| Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | 1992 | Journal Article |
| Quantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes | Engel, Thorsten | | 1996 | Thesis - Masters thesis |
| Randomization and Approximation Techniques in Computer Science
In: Proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM-97), 209-225 | Wang, Yongge | Rolim, José | 1997 | Proceedings Article |
| Randomness, Stochasticity, and Approximation
In: Theory of Computing Systems [32], 517-529 | Wang, Yongge | | 1999 | Journal Article |
| Ranking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42 | Lee, Chin Soon | | 2009 | Journal Article |
| Rankings in flux
In: Proceedings of the 3rd International Conference on Formal and Applied Practical Reasoning (FAPR-00), 37-48 | Weydert, Emil | [Cunningham, Jim]
[Gabbay, Dov] | 2000 | Proceedings Article |
| Rankings we prefer: a minimal construction semantics for default reasoning
In: Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-01), 616-627 | Weydert, Emil | Benferhat, Salem
Besnard, Philippe | 2001 | Proceedings Article |
| Rankings we prefer: a rational minimal construction semantics for default reasoning
In: Proceedings of the 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-01), 1-12 | Weydert, Emil | [Brewka, Gerhard]
[Witteveen, Cees]
[Schaub, Torsten] | 2001 | Proceedings Article |
| Rational Default Quantifier Logic
In: Proceedings of the 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ESQARU-FAPR-97), 589-600 | Weydert, Emil | [Gabbay, Dov]
[Kruse, Rudolf]
Nonnengart, Andreas | 1997 | Proceedings Article |
| Reasoning about exceptions
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 405-408 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard | 1997 | Proceedings Article |