| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics
In: Multiple-Valued Logic - An International Journal [5], 281-305 | Sofronie-Stokkermans, Viorica | | 2000 | Journal Article |
| Priestley representation for distributive lattices with operators and applications to automated theorem proving
In: Dualities, Interpretability and Ordered Structures, 43-54 | Sofronie-Stokkermans, Viorica | [Vaz de Carvalho, Júlia]
[Ferreirim, Isabel] | 1999 | Proceedings Article |
| Probababilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference
In: Proceedings of the First European Workshop on Probabilistic Graphical Models, 81-88 | Jaeger, Manfred | | 2002 | Proceedings Article |
| Probabilistic Classifiers and the Concepts they Recognize
In: Proceedings of the Twentieth International Conference on Machine Learning (ICML-03), 266-273 | Jaeger, Manfred | [Fawcett, Tom]
[Mishra, Nina] | 2003 | Proceedings Article |
| Probabilistic Decision Graphs
Universität des Saarlandes | Jaeger, Manfred | | 2002 | Thesis - Habilitation thesis |
| Probabilistic Reasoning in Terminological Logics
In: Principles of Knowledge Representation an Reasoning: Proceedings of the 4th International Conference (KR94), 305-316 | Jaeger, Manfred | Doyle, J.
Sandewall, E.
Torasso, P. | 1994 | Proceedings Article |
| Problem solving by searching for models with a theorem prover
In: Artificial Intelligence [69], 205-233 | [Lee, Shie-Jue]
Plaisted, David A. | | 1994 | Journal Article |
| 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 |