Author/Editor [Non Institute] | Year | | Title | Type |
Ohlbach
(Ed: Kobsa)
[-] | 1993 | | Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik
In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, 19-26 | Proceedings Article |
Ohlbach
(Ed: McRobbie, Slaney)
[McRobbie, Slaney] | 1996 | | SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165 | Proceedings Article |
Ohlbach
(Ed: Voronkov)
[Voronkov] | 1993 | | 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 | Proceedings Article |
Ohlbach
[-] | 1995 | | Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination | Unpublished/Draft |
Ohlbach
[-] | 1995 | | Clause Killer Transformations | Unpublished/Draft |
Ohlbach
[-] | 1993 | | Thema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes | Thesis - Habilitation thesis |
Ohlbach
[-] | 1993 | | Translation Methods for Non-Classical Logics: An Overview
In: Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) [1], 69-90 | Journal Article |
Ohlbach
[-] | 1992 | | Logic Engineering: Konstruktion von Logiken
In: KI [3], 34-38 | Journal Article |
Ohlbach
[-] | 1991 | | Semantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746 | Journal Article |
Ohlbach
[-] | 1988 | | A Resolution Calculus for Modal Logics
Universität Kaiserslautern | Thesis - PhD thesis |
Ohlbach, Herzig
[-] | 1991 | | Parameter Structures for Parametrized Modal Operators
In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), 512-517 | Proceedings Article |
Ohlbach, Koehler
[Koehler] | 1996 | | Reasoning about Sets via Atomic Decomposition | Report |
Ohlbach, Schmidt
[-] | 1997 | | Functional Translation and Second-Order Frame Properties of Modal Logics
In: Journal of Logic and Computation [7], 581-603 | Journal Article |
Ohlbach, Schmidt, Hustadt
(Ed: Borgida, Lenzerini, Nardi, Nebel)
[Borgida, Lenzerini, Nardi, Nebel] | 1995 | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings Article |
Ohlbach, Schmidt, Hustadt
(Ed: Wansing)
[Wansing] | 1996 | | Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291 | Part of a Book |
Ohlbach, Siekmann
(Ed: Lassez, Plotkin)
[-] | 1991 | | The Markgraf Karl Refutation Procedure
In: Computational Logic, Essays in Honor of Alan Robinson, 41-112 | Proceedings Article |
Ohlbach, Weidenbach
[-] | 1995 | | A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275 | Journal Article |
Pacholski, Podelski
(Ed: Smolka)
[Pacholski, Smolka] | 1997 | | Set Constraints: a Pearl in Research on Constraints
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | Proceedings Article |
Piskac
[-] | 2005 | | Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes | Thesis - Masters thesis |
Plaisted
(Ed: Bundy)
[-] | 1994 | | The Search Efficiency of Theorem Proving Strategies
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 57-71 | Proceedings Article |
Plaisted
(Ed: Gabbay, Hogger, Robinson, Siekmann)
[-] | 1993 | | Equational Reasoning and Term Rewriting Systems
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364 | Proceedings Article |
Pnueli, Podelski, Rybalchenko
(Ed: Halbwachs, Zuck)
[-] | 2005 | | Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
In: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 124-139 | Proceedings Article |
Podelski
(Ed: Maluszynski)
[-] | 1997 | | Set-Based Analysis of Logic Programs and Reactive Logic Programs
In: Proceedings of the International Symposium on Logic Programming (ILPS-14), 35-36 | Proceedings Article |
Podelski
(Ed: Palsberg)
[Palsberg] | 2000 | | Model Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237 | Proceedings Article |
Podelski
(Ed: Zuck, Attie, Cortesi, Mukhopadhyay)
[-] | 2003 | | Software Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13 | Proceedings Article |
Podelski
[-] | 2004 | | Introduction to the Special Issue on Verification and Computational Logic
In: Theory and Practice of Logic Programming (TPLP) [4], 541-751 | Journal Article |
Podelski
[-] | 1998 | | Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie
Universität des Saarlandes | Thesis - Habilitation thesis |
Podelski (ed.)
(Ed: Podelski)
[-] | 1995 | | Constraint Programming: Basics and Trends
In: Constraint Programming: Basics and Trends, 328 | Proceedings |
Podelski, Ball, Rajamani
(Ed: Kaoen, Stevens)
[-] | 2002 | | Relative Completeness of Abstraction Refinement for Software Model Checking
In: Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, 158-172 | Proceedings Article |
Podelski, Ball, Rajamani
[Ball, Rajamani] | 2003 | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15 | Journal Article |