Concepedia

H. J. Ohlbach

HJ

Statistics

Publications

8

Citations

209

H-Index

8

Active since

1985

Affiliations

University of Kaiserslautern(Current)

H. J. Ohlbach is an author at University of Kaiserslautern specializing in computing, computer science, and knowledge representation.

Publications per year

1985–2006

8

Publications

8

Relations between fuzzy time intervals

H. J. Ohlbach · 2004 · 79 citations

, , +8

Functional translation and second-order frame properties of modal logics

H. J. Ohlbach · Journal of Logic and Computation · 1997 · 58 citations · Full text

, , +9

Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming

Bernhard Lorenz, H. J. Ohlbach · 2006 · 18 citations

, , +14

Encoding two valued non-classical logic in classical logic

Dav M. Gabbay, H. J. Ohlbach, Andreas Nonnengart et al. · Research Portal (King's College London) · 2001 · 12 citations

, , +6

A note on assumptions about Skolem functions

H. J. Ohlbach, Christoph Weidenbach · Journal of Automated Reasoning · 1995 · 11 citations

, , +3

1–5 of 8