- Artificial Intelligence, 50,2 1991, pp. 141-181 Reduction Rules for Resolution Based Systems
- Introductory Logic Course Hans Jurgen Ohlbach
- Introductory Logic Course Hans Jurgen Ohlbach
- Introductory Logic Course Hans Jurgen Ohlbach
- Journal of Logic and Computation, Vol. 1, no 6, 1991, pp 691746 SemanticsBased Translation Methods for
- Active Event Databases for Evaluating Temporal Jan Dnnweber and Hans Jrgen Ohlbach
- Set Description Languages and Reasoning about Numerical Features of Sets
- Encoding two-valued non-classical logics in classical logic
- Introductory Logic Course Hans Jurgen Ohlbach
- Introductory Logic Course Hans Jurgen Ohlbach
- Proc. of IJCAI 91, Sydney, pp. 512{517 Parameter Structures for Parametrized Modal Operators
- Introductory Logic Course Draft Manuscript
- Journal of Logic and Computation, Vol. 1, no 6, 1991, pp 691-746 Semantics-Based Translation Methods for
- Book review: Maria Manzano: Extensions of First Order Logic
- Computional Logic Essays in Honor of Alan Robinson. Jean Louis Lassez and Gordon Plotkin (ed.) MIT Press, 1991, ISBN 0262121565, pages 41112
- Introductory Logic Course Hans Jurgen Ohlbach
- Proceedings of KR 92 Quanti er Elimination in Second{Order Predicate Logic
- Proc. of ECAI 90, 1990, pp. 479484. Abstraction Tree Indexing for Terms
- Handbook of Logic in AI and Logic Programming
- Introductory Logic Course Hans Jurgen Ohlbach
- The knowledge model of Protg-2000: combining interoperability and flexibility
- Modal Logics, Description Logics and Arithmetic Reasoning
- Artificial Intelligence, 50,2 1991, pp. 141181 Reduction Rules for Resolution Based Systems
- Proc. of AIMSA 90, AlbenaVarna, Bulgaria, pp. 1322, 1990 Compilation of Recursive TwoLiteral Clauses into
- Journal of Applied NonClassical Logics, 5(2): 153--198, 1995 A MultiDimensional Terminological Knowledge
- Open Knowledge Base Connectivity 2.0.31 --Proposed --
- Set Description Languages and Reasoning about Numerical Features of Sets
- Conceptual Knowledge Markup Language: The Central Core Robert E. Kent
- 1 Translating Graded Modalities into Predicate Logic
- Introductory Logic Course Hans Jurgen Ohlbach
- Journal of Computers and Mathematics with Applications Towards Automating Duality
- Functional Translation and SecondOrder Frame Properties of
- Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals
- Computer Support for the Development and Investigation of
- Model Answers 1 Recursion and Structural Induction.
- HANS JRGEN OHLBACH & JANA KHLER HOW TO AUGMENT A FORMAL SYSTEM WITH A BOOLEAN
- The Role of Labelled Partitionings for Modelling Periodic Temporal Notions
- Computional Logic -Essays in Honor of Alan Robinson. Jean Louis Lassez and Gordon Plotkin (ed.) MIT Press, 1991, ISBN 0-262-12156-5, pages 41-112
- Proc. of ECAI 90, 1990, pp. 479-484. Abstraction Tree Indexing for Terms
- Proc. of AIMSA 90, Albena-Varna, Bulgaria, pp. 13-22, 1990 Compilation of Recursive Two-Literal Clauses into
- An informal description of Standard OIL and Instance OIL
- A Denotational Semantics for Standard OIL and Instance OIL I. Horrocks
- Knowledge Modeling at the Millennium (The Design and Evolution of Protg-2000)
- Automated Reasoning on the Web Slim Abdennadher1
- A Note on Assumptions about Skolem Functions Hans Jurgen Ohlbach and Christoph Weidenbach
- Journal of Computers and Mathematics with Applications Towards Automating Duality
- Bulletin of IGPL, Vol 1,1, pp 69-91, 1993 Translation Methods for Non-Classical Logics
- Proceedings of CADE-15, LNAI 1421, pp. 205-219, 1998 Combining Hilbert Style and Semantic
- Introductory Logic Course Hans Jurgen Ohlbach
- Data Driven Logic Algorithms --A Case for Support
- Introductory Logic Course Hans Jurgen Ohlbach
- Object-Process Methodology as an Industry Enterprise Framework
- Fuzzy Time Intervals and Relations Hans Jurgen Ohlbach
- A Note on Assumptions about Skolem Functions Hans J"urgen Ohlbach and Christoph Weidenbach
- Forthcoming in the Journal of Aritificial Intelligence Modal Logics, Description Logics and
- Computer Support for the Development and Investigation of
- Bulletin of IGPL, Vol 1,1, pp 69{91, 1993 Translation Methods for Non-Classical Logics
- Proc. of IJCAI 91, Sydney, pp. 512-517 Parameter Structures for Parametrized Modal Operators
- In Wansing: Proof Theory and Modal Logic, chapter 14 1 Translating Graded Modalities into
- Functional Translation and Second-Order Frame Properties of
- Journal of Applied Non-Classical Logics, 5(2): 153-198, 1995 A Multi-Dimensional Terminological Knowledge
- Journal of Automated Reasoning, 20:3, 1998, pp 317-336 Elimination of Self-Resolving Clauses
- Journal of Logic, Language and Information, 1998 Book review: Maria Manzano: Extensions of
- Proceedings of KR 92 Quantifier Elimination in Second-Order Predicate Logic
