| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| On unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ? | Sofronie-Stokkermans, Viorica | | 2007 | Journal Article |
| On unification for bounded distributive lattices
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481 | Sofronie-Stokkermans, Viorica | [McAllester, David] | 2000 | Proceedings Article |
| On uniform word problems involving bridging operators on distributive lattices
In: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002, 235-250 | Sofronie-Stokkermans, Viorica | [Egly, Uwe]
[Fermüller, Christian] | 2002 | Proceedings Article |
| On Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233 | [Avenhaus, Jürgen]
Hillenbrand, Thomas
[Löchner, Bernd] | | 2003 | Journal Article |
| Ontological Reasoning for Natural Language Understanding
Universität des Saarlandes | Suchanek, Fabian M. | | 2005 | Thesis - Masters thesis |
| Operational Semantics of Constraint Logic Programming with Coroutining
In: Proceedings of the 12th International Conference on Logic Programming, 449-463 | Podelski, Andreas
Smolka, Gert | Sterling, Leon | 1995 | Proceedings Article |
| Optimised Functional Translation and Resolution
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37 | Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph | [de Swart, Harrie] | 1998 | Proceedings Article |
| Optimised Modal Translation and Resolution
Universität des Saarlandes | Schmidt, Renate A. | | 1997 | Thesis - PhD thesis |
| Optimized Translation of Multi Modal Logic into Predicate Logic
In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), 253-264 | Ohlbach, Hans Jürgen | [Voronkov, A.] | 1993 | Proceedings Article |
| Optimizing Photo Mask Layout for Grey-tone Lithography | Hopf, Jörn | [Claus, Volker]
Hopf, Jörn
[Schwefel, Hans-Paul] | 1996 | Report |
| Optimizing Photo Mask Layout for Grey-tone Lithography | Hopf, Jörn | [Claus, Volker]
Hopf, Jörn
[Schwefel, Hans-Paul] | 1996 | Report |
| Optimizing the Clausal Normal Form Transformation
In: Journal of Automated Reasoning [7], 325-336 | Socher-Ambrosius, Rolf | | 1991 | Journal Article |
| Optimizing the Evaluation of XPath Using Description Logics
In: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, 1-15 | Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas] | [Seipel, Dietmar]
[Hanus, Michael]
[Geske, Ulrich]
[Bartenstein, Oskar] | 2005 | Proceedings Article |
| Order-Sorted Completion: The Many-Sorted Way
In: Theoretical Computer Science [89], 3-32 | Ganzinger, Harald | | 1991 | Journal Article |
| Ordered Chaining Calculi for First-Order Theories of Transitive Relations
In: Journal of the ACM [45], 1007-1049 | [Bachmair, Leo]
Ganzinger, Harald | | 1998 | Journal Article |
| Ordered Chaining for Total Orderings
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 435-450 | Bachmair, Leo
Ganzinger, Harald | Bundy, Alan | 1994 | Proceedings Article |
| Ordered Landmarks in Planning
In: Journal of Artificial Intelligence Research [22], 215-278 | Hoffmann, Jörg
[Porteous, Julie]
[Sebastia, Laura] | | 2004 | Journal Article |
| Ordering Constraints over Feature Trees
In: Constraints [5], 7-41 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | | 2000 | Journal Article |
| Ordering Constraints over Feature Trees
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | [Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas | [Smolka, Gert] | 1997 | Proceedings Article |
| Orienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84 | Korovin, Konstantin
[Voronkov, Andrei] | [Kolaitis, Phokion] | 2003 | Proceedings Article |
| Orienting rewrite rules with the Knuth-Bendix order
In: Information and Computation [183], 165-186 | Korovin, Konstantin
[Voronkov, Andrei] | | 2003 | Journal Article |
| 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 |