×

Ohlbach, Hans Jürgen

Author ID: ohlbach.hans-jurgen Recent zbMATH articles by "Ohlbach, Hans Jürgen"
Published as: Ohlbach, Hans Jürgen; Ohlbach, H. J.; Ohlbach, Hans-Jürgen; Ohlbach, Hans J.
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

Publications by Year

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 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

Citations by Year