| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
|---|
| On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36 | [Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.] | [Horrocks, Ian]
[Tessaris, Sergio] | 2002 | Proceedings Article |
| On the semantics of EPCs: Faster calculation for EPCs with small state spaces
In: EPK 2005 : Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 7-23 | [Cuntz, Nicolas]
Freiheit, Jörn
[Kindler, Ekkart] | [Nuettgens, Markus]
[Rump, Frank J.] | 2005 | Proceedings Article |
| On the Undecidability of Second-Order Unification
In: Information and Computation [159], 125-150 | [Levy, Jordi]
Veanes, Margus | | 2000 | Journal Article |
 | On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171 | Sofronie-Stokkermans, Viorica | Ganzinger, Harald | 1999 | Proceedings Article |
| On the Word Problem for Free Lattices
In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), 128-141 | Struth, Georg | [Comon, Hubert] | 1997 | Proceedings Article |
| On Theorem proving in Annotated Logics
In: Journal of Applied Non-Classical Logics [10], 121-143 | [Lu, Mi]
Wu, Jinzhao |  | 2000 | Journal Article |
| On Translation of Finitely-Valued Logics to Classical First-Order Logic
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 410-411 | Sofronie-Stokkermans, Viorica | [Prade, Henri] | 1998 | Proceedings Article |
| 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 |
