Edit Profile (opens in new tab) Ohlbach, Hans Jürgen Co-Author Distance Author ID: ohlbach.hans-jurgen Published as: Ohlbach, Hans Jürgen; Ohlbach, H. J.; Ohlbach, Hans-Jürgen; Ohlbach, Hans J. more...less External Links: MGP Documents Indexed: 34 Publications since 1983, including 1 Book 6 Contributions as Editor Reviewing Activity: 32 Reviews Co-Authors: 19 Co-Authors with 22 Joint Publications 637 Co-Co-Authors all top 5 Co-Authors 18 single-authored 8 Gabbay, Dov M. 3 Nonnengart, Andreas 3 Schmidt, Renate A. 2 Eisinger, Norbert 2 Johnson, Ralph H. 2 Köhler, Jana 2 Woods, John 1 Baader, Franz 1 Brink, Chris 1 de Rijke, Maarten 1 Herzig, Andreas 1 Hustadt, Ullrich 1 Kruse, Rudolf 1 Präcklein, Axel 1 Reyle, Uwe 1 Schmidt-Schauß, Manfred 1 Szałas, Andrzej 1 Weidenbach, Christoph 1 Wrightson, Graham all top 5 Serials 5 Journal of Automated Reasoning 4 Lecture Notes in Computer Science 3 Journal of Logic and Computation 2 Artificial Intelligence 2 Journal of Applied Non-Classical Logics 1 Computers & Mathematics with Applications 1 Bulletin of the IGPL 1 Journal of the IGPL 1 Trends in Logic – Studia Logica Library 1 Studies in Logic and Practical Reasoning Fields 29 Mathematical logic and foundations (03-XX) 28 Computer science (68-XX) 6 General and overarching topics; collections (00-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 28 Publications have been cited 159 times in 136 Documents Cited by ▼ Year ▼ Semantics-based translation methods for modal logics. Zbl 0746.03010 Ohlbach, H. J. 27 1991 Temporal logic. 1st international conference, ICTL ’94, Bonn, Germany, July 11–14, 1994. Proceedings. Zbl 0875.03007 22 1994 A resolution calculus for modal logics. Zbl 0647.03010 Ohlbach, Hans Jürgen 18 1988 Encoding two-valued nonclassical logics in classical logic. Zbl 0992.03019 Ohlbach, Hans Jürgen; Nonnengart, Andreas; de Rijke, Maarten; Gabbay, Dov M. 13 2001 Functional translation and second-order frame properties of modal logics. Zbl 0976.03019 Ohlbach, Hans Jürgen; Schmidt, Renate A. 13 1997 Translation methods for non-classical logics: An overview. Zbl 0795.03019 Ohlbach, Hans Jürgen 12 1993 A multi-dimensional terminological knowledge representation language. Zbl 0845.68098 Baader, Franz; Ohlbach, Hans Jürgen 8 1995 A note on assumptions about Skolem functions. Zbl 0879.03006 Ohlbach, Hans Jürgen; Weidenbach, Christoph 4 1995 Elimination of predicate quantifiers. Zbl 0951.03028 Nonnengart, Andreas; Ohlbach, Hans Jürgen; Szałas, Andrzej 4 1999 Towards automating duality. Zbl 0816.03004 Brink, C.; Gabbay, D. M.; Ohlbach, H. J. 4 1995 Problem corner: The Lion and the Unicorn. Zbl 0616.68077 Ohlbach, H. J.; Schmidt-Schauss, M. 4 1985 Computer support for the development and investigation of logics. Zbl 0859.68094 Ohlbach, Hans Jürgen 3 1996 Translating graded modalities into predicate logics. Zbl 0874.03021 Ohlbach, H. J.; Schmidt, R.; Hustadt, U. 3 1996 SCAN – elimination of predicate quantifiers. Zbl 1412.68249 Ohlbach, Hans Jürgen 3 1996 Link inheritance in abstract clause graphs. Zbl 0635.68107 Ohlbach, Hans Jürgen 2 1987 Ein regelbasiertes Klauselgraph-Beweisverfahren. Zbl 0539.68086 Ohlbach, Hans Jürgen 2 1983 Calendar logic. Zbl 0930.03017 Ohlbach, Hans Jürgen; Gabbay, Dov 2 1998 Combining Hilbert style and semantic reasoning in a resolution framework. Zbl 0928.03011 Ohlbach, Hans Jürgen 2 1998 Reduction rules for resolution-based systems. Zbl 0764.68151 Eisinger, Norbert; Ohlbach, Hans Jürgen; Präcklein, Axel 2 1991 Handbook of the logic of argument and inference. The turn towards the practical. Zbl 1010.03001 2 2002 Logic and the practical turn. Zbl 1038.03516 Woods, John; Johnson, Ralph H.; Gabbay, Dov M.; Ohlbach, Hans Jürgen 2 2002 Solving a problem in relevance logic with an automated theorem prover. Zbl 0547.03013 Ohlbach, Hans-Jürgen; Wrightson, Graham 1 1984 New ways for developing proof theories for first-order multi modal logics. Zbl 0925.03106 Ohlbach, Hans Jürgen 1 1990 Modal logics, description logics and arithmetic reasoning. Zbl 0916.68148 Ohlbach, Hans Jürgen; Koehler, Jana 1 1999 The semantic clause graph procedure - A first overview. Zbl 0609.68062 Ohlbach, Hans Jürgen 1 1986 Problem corner: Predicate logic hacker tricks. Zbl 0616.68078 Ohlbach, Hans Jürgen 1 1985 Parameter structures for parametrized modal operators. Zbl 0742.68057 Ohlbach, Hans Jürgen; Herzig, Andreas 1 1991 Optimized translation of multi modal logic into predicate logic. Zbl 0793.68138 Ohlbach, Hans Jürgen 1 1993 Handbook of the logic of argument and inference. The turn towards the practical. Zbl 1010.03001 2 2002 Logic and the practical turn. Zbl 1038.03516 Woods, John; Johnson, Ralph H.; Gabbay, Dov M.; Ohlbach, Hans Jürgen 2 2002 Encoding two-valued nonclassical logics in classical logic. Zbl 0992.03019 Ohlbach, Hans Jürgen; Nonnengart, Andreas; de Rijke, Maarten; Gabbay, Dov M. 13 2001 Elimination of predicate quantifiers. Zbl 0951.03028 Nonnengart, Andreas; Ohlbach, Hans Jürgen; Szałas, Andrzej 4 1999 Modal logics, description logics and arithmetic reasoning. Zbl 0916.68148 Ohlbach, Hans Jürgen; Koehler, Jana 1 1999 Calendar logic. Zbl 0930.03017 Ohlbach, Hans Jürgen; Gabbay, Dov 2 1998 Combining Hilbert style and semantic reasoning in a resolution framework. Zbl 0928.03011 Ohlbach, Hans Jürgen 2 1998 Functional translation and second-order frame properties of modal logics. Zbl 0976.03019 Ohlbach, Hans Jürgen; Schmidt, Renate A. 13 1997 Computer support for the development and investigation of logics. Zbl 0859.68094 Ohlbach, Hans Jürgen 3 1996 Translating graded modalities into predicate logics. Zbl 0874.03021 Ohlbach, H. J.; Schmidt, R.; Hustadt, U. 3 1996 SCAN – elimination of predicate quantifiers. Zbl 1412.68249 Ohlbach, Hans Jürgen 3 1996 A multi-dimensional terminological knowledge representation language. Zbl 0845.68098 Baader, Franz; Ohlbach, Hans Jürgen 8 1995 A note on assumptions about Skolem functions. Zbl 0879.03006 Ohlbach, Hans Jürgen; Weidenbach, Christoph 4 1995 Towards automating duality. Zbl 0816.03004 Brink, C.; Gabbay, D. M.; Ohlbach, H. J. 4 1995 Temporal logic. 1st international conference, ICTL ’94, Bonn, Germany, July 11–14, 1994. Proceedings. Zbl 0875.03007 22 1994 Translation methods for non-classical logics: An overview. Zbl 0795.03019 Ohlbach, Hans Jürgen 12 1993 Optimized translation of multi modal logic into predicate logic. Zbl 0793.68138 Ohlbach, Hans Jürgen 1 1993 Semantics-based translation methods for modal logics. Zbl 0746.03010 Ohlbach, H. J. 27 1991 Reduction rules for resolution-based systems. Zbl 0764.68151 Eisinger, Norbert; Ohlbach, Hans Jürgen; Präcklein, Axel 2 1991 Parameter structures for parametrized modal operators. Zbl 0742.68057 Ohlbach, Hans Jürgen; Herzig, Andreas 1 1991 New ways for developing proof theories for first-order multi modal logics. Zbl 0925.03106 Ohlbach, Hans Jürgen 1 1990 A resolution calculus for modal logics. Zbl 0647.03010 Ohlbach, Hans Jürgen 18 1988 Link inheritance in abstract clause graphs. Zbl 0635.68107 Ohlbach, Hans Jürgen 2 1987 The semantic clause graph procedure - A first overview. Zbl 0609.68062 Ohlbach, Hans Jürgen 1 1986 Problem corner: The Lion and the Unicorn. Zbl 0616.68077 Ohlbach, H. J.; Schmidt-Schauss, M. 4 1985 Problem corner: Predicate logic hacker tricks. Zbl 0616.68078 Ohlbach, Hans Jürgen 1 1985 Solving a problem in relevance logic with an automated theorem prover. Zbl 0547.03013 Ohlbach, Hans-Jürgen; Wrightson, Graham 1 1984 Ein regelbasiertes Klauselgraph-Beweisverfahren. Zbl 0539.68086 Ohlbach, Hans Jürgen 2 1983 all cited Publications top 5 cited Publications all top 5 Cited by 195 Authors 8 Zakharyaschev, Michael Viktorovich 7 Gabbay, Dov M. 6 Schmidt, Renate A. 5 Demri, Stéphane P. 5 Hustadt, Ullrich 5 Montanari, Angelo 5 Ohlbach, Hans Jürgen 5 Wolter, Frank 4 Artale, Alessandro 4 Kreitz, Christoph 4 Kurucz, Agi 4 Papacchini, Fabio 4 Weidenbach, Christoph 3 Areces, Carlos 3 Benzmüller, Christoph Ewald 3 Conradie, Willem 3 de Rijke, Maarten 3 Dixon, Clare 3 Kontchakov, Roman 3 Nalon, Cláudia 3 Palmigiano, Alessandra 3 Rybakov, Vladimir Vladimirovich 3 Ryzhikov, Vladislav 2 Blanchette, Jasmin Christian 2 Bürckert, Hans Jürgen 2 Ciabattoni, Agata 2 Cialdea Mayer, Marta 2 de Nivelle, Hans 2 Debart, Françoise 2 Egly, Uwe 2 Enjalbert, Patrice 2 Gabelaia, David 2 Goranko, Valentin F. 2 Gorín, Daniel 2 Governatori, Guido 2 Kurucz, Ágnes 2 Lescot, Madeleine 2 Lutz, Carsten 2 Massacci, Fabio 2 Németi, István 2 Pym, David J. 2 Rath, Thomas 2 Schmitt, Stephan 2 Sofronie-Stokkermans, Viorica 2 Spendier, Lara 2 Szałas, Andrzej 2 van Benthem, Johan F. A. K. 2 van der Torre, Leendert W. N. 2 Vukmirović, Petar 2 Wallen, Lincoln A. 2 Zamansky, Anna 1 Adsul, Bharat 1 Aiello, Marco 1 Aitken, J. Stuart 1 Akama, Seiki 1 Alviano, Mario 1 Andréka, Hajnal 1 Andrews, Peter B. 1 Artosi, Alberto 1 Baader, Franz 1 Baryannis, George 1 Batsakis, Sotiris 1 Baumgartner, Peter 1 Bayer, Jonas 1 Benassi, Paola 1 Benevides, Mario R. F. 1 Bishop, Matthew 1 Bjørner, Nikolaj S. 1 Boella, Guido 1 Brink, Chris 1 Brzoska, Christoph 1 Cohn, Anthony G. 1 D’Agostino, Giovanna 1 Demolombe, Robert 1 Deters, Morgan 1 Diekert, Volker 1 Donini, Francesco M. 1 Düntsch, Ivo 1 Eisinger, Norbert 1 Faddoul, Jocelyne 1 Fermüller, Christian G. 1 Filkorn, Thomas 1 Fontaine, Pascal 1 Fujita, Hiroshi 1 Furbach, Ulrich 1 Gaede, Bernd 1 Gastin, Paul 1 Gatto, Alberto 1 Ghilardi, Silvio 1 Giunchiglia, Enrico 1 Giunchiglia, Fausto 1 Gonus, Alexey 1 Gu, Yilan 1 Haarslev, Volker 1 Hampson, Christopher 1 Hasegawa, Ryuzo 1 Herzig, Andreas 1 Heule, Marijn J. H. 1 Hillenbrand, Thomas 1 Hodkinson, Ian Martin ...and 95 more Authors all top 5 Cited in 27 Serials 15 Journal of Applied Non-Classical Logics 11 Journal of Automated Reasoning 10 Theoretical Computer Science 7 Artificial Intelligence 5 Journal of Philosophical Logic 4 The Journal of Symbolic Logic 4 Studia Logica 4 Annals of Pure and Applied Logic 4 Journal of Symbolic Computation 4 Annals of Mathematics and Artificial Intelligence 4 ACM Transactions on Computational Logic 3 Synthese 3 Journal of Applied Logic 2 Computers & Mathematics with Applications 2 Siberian Mathematical Journal 2 Information and Computation 2 Journal of Logic, Language and Information 2 Logical Methods in Computer Science 1 Fuzzy Sets and Systems 1 Order 1 New Generation Computing 1 Algorithmica 1 International Journal of Foundations of Computer Science 1 Logic and Logical Philosophy 1 Theory and Practice of Logic Programming 1 The Review of Symbolic Logic 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 7 Fields 110 Mathematical logic and foundations (03-XX) 84 Computer science (68-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Geometry (51-XX) 1 General topology (54-XX) Citations by Year