| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
|---|
| Photomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem
Universität des Saarlandes | Hopf, Jörn | | 2001 | Thesis - PhD thesis |
| PLAM: ProLog and Algebraic Modelling
In: Proceedings of the 5th International Conference on the Practical Application of Prolog, 73-82 | Barth, Peter
Bockmayr, Alexander |  | 1997 | Proceedings Article |
| Plausible Inference for Default Conditionals
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93, 356-363 | Weydert, Emil | Clarke, M.
Kruse, R.
Moral, S. | 1993 | Proceedings Article |
| Precise Thread-Modular Verification
In: 14th International Static Analysis Symposium (SAS 2007), ? | Rybalchenko, Andrey | | 2007 | Proceedings Article |
| Preface
In: Theoretical Computer Science [208], 1 | Ganzinger, Harald | | 1998 | Journal Article |
| Prefixed Resolution: A Resolution Method for Modal and Description Logics
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 187-201 | de Nivelle, Hans
[Areces, Carlos]
[de Rijke, Maarten] | Ganzinger, Harald | 1999 | Proceedings Article |
 | 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 |
