| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
|---|
| Paradigmen und Perspektiven der automatischen Deduktion
In: KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. [4], 15-19 | [Letz, Reinhold]
Weidenbach, Christoph | | 1998 | Journal Article |
 | Parallel Unit Resulting Resolution
Universität des Saarlandes | Meyer, Christoph |  | 1996 | Thesis - Masters thesis |
| Parameter Structures for Parametrized Modal Operators
In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), 512-517 | Ohlbach, Hans Jürgen
Herzig, A. | | 1991 | Proceedings Article |
| Parameters for Utilitarian Desires in a Qualitative Decision Theory
In: Applied Artificial Intelligence [14], 285-301 | van der Torre, Leendert W. N.
Weydert, Emil | | 2001 | Journal Article |
| Parametric Order-Sorted Types in Logic Programming
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT-91), 181-200 | Hanus, Michael | Abramsky, S.
Maibaum, T.S.E. | 1991 | Proceedings Article |
| Parkwächter
In: c't Magazin für computer technik [-], 252-253 | Brahm, Uwe
[Pitz, Werner] | | 1990 | Journal Article |
| Path indexing for AC-theories
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 718-732 | Graf, Peter | [McRobbie, M. A.]
[Slaney, J. K.] | 1996 | Proceedings Article |
| Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | [Ferrante, Jeanne]
[McKinley, Kathryn S.] | 2007 | Proceedings Article |
| Paths vs. Trees in Set-based Program Analysis
In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), 330-337 | Charatonik, Witold
Podelski, Andreas
Talbot, Jean-Marc | | 2000 | Proceedings Article |
| Peirce Algebras
In: Formal Aspects of Computing [6], 339-358 | [Brink, Chris]
[Britz, Katarina]
Schmidt, Renate A. | | 1994 | Journal Article |
| Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: Relational Methods in Computer Science; Dagstuhl Seminar Report 80 (9403), 21-22 | Schmidt, Renate A. | Brink, C.
Schmidt, G. | 1994 | Proceedings Article |
| Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: SIGALA Newsletter [2], 27-27 | Schmidt, Renate A. | | 1994 | Journal Article |
| Peirce Algebras: Extended Abstract
In: Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology (AMAST '93), 163-166 | [Brink, Chris]
[Britz, Katarina]
Schmidt, Renate A. | Nivat, Maurice
Rattray, Charles
Rus, Teodor
Scollo, Guiseppe | 1994 | Proceedings Article |
| Perfect model semantics for logic programs with equality
In: Proceedings International Conference on Logic Programming '91, 645-659 | Bachmair, Leo
Ganzinger, Harald | | 1991 | Proceedings Article |
| Phased labeled logics of conditional goals
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 92-106 | van der Torre, Leendert W. N. | Dix, Jürgen
Fariñas del Cerro, Luís
Furbach, Ulrich | 1998 | Proceedings Article |
| Philosophical Logics: A Survey and a Bibliography | Struth, Georg | | 1994 | Report |
| 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 |
