The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hans Jürgen Ohlbach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein
    Reduction Rules for Resolution-Based Systems. [Citation Graph (1, 0)][DBLP]
    Artif. Intell., 1991, v:50, n:2, pp:141-181 [Journal]
  2. Hans Jürgen Ohlbach
    Compilation of Recursive Two-Literal Clauses into Unification Algorithms. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1990, pp:13-22 [Conf]
  3. Dov M. Gabbay, Hans Jürgen Ohlbach
    From A Hilbert Calculus to its Model Theoretic Semantics. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:218-252 [Conf]
  4. Frank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach
    Ontology Driven Visualisation of Maps with SVG - Technical Aspects. [Citation Graph (0, 0)][DBLP]
    ASWC, 2006, pp:329-335 [Conf]
  5. Hans Jürgen Ohlbach
    Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (2), 2005, pp:453-498 [Conf]
  6. Hans Jürgen Ohlbach, Jörg H. Siekmann
    The Markgraf Karl Refutation Procedure. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:41-112 [Conf]
  7. Norbert Eisinger, Hans Jürgen Ohlbach
    The Markgraf Karl Refutation Procedure (MKRP). [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:681-682 [Conf]
  8. Hans Jürgen Ohlbach
    A Resolution Calculus for Modal Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:500-516 [Conf]
  9. Hans Jürgen Ohlbach
    SCAN - Elimination of Predicate Quantifiers. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:161-165 [Conf]
  10. Hans Jürgen Ohlbach
    Combining Hilbert Style and Semantic Reasoning in a Resolution Framework. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:205-219 [Conf]
  11. Hans Jürgen Ohlbach, Andreas Herzig
    Tutorial on Compilation techniques for Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:683- [Conf]
  12. Hans Jürgen Ohlbach, Graham Wrightson
    Solving a Problem in Relevance Logic with an Automated Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1984, pp:496-508 [Conf]
  13. Hans Jürgen Ohlbach
    New Ways for Developing Proof Theories for First-Order Multi Modal Logics. [Citation Graph (0, 0)][DBLP]
    CSL, 1989, pp:271-308 [Conf]
  14. François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach
    05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. [Citation Graph (0, 0)][DBLP]
    Principles and Practices of Semantic Web Reasoning, 2005, pp:- [Conf]
  15. Hans Jürgen Ohlbach
    Computational Treatment of Temporal Notions - The CTTN-System. [Citation Graph (0, 0)][DBLP]
    Annotating, Extracting and Reasoning about Time and Events, 2005, pp:- [Conf]
  16. Hans Jürgen Ohlbach
    Set Description Languages and Reasoning about Numerical Features of Sets. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  17. Hans Jürgen Ohlbach, Jana Koehler
    Role Hierarchies and Number Restrictions. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1997, pp:- [Conf]
  18. Hans Jürgen Ohlbach
    Efficient Data Structures for Deduction Systems. [Citation Graph (0, 0)][DBLP]
    DOOD, 1997, pp:1-2 [Conf]
  19. Hans Jürgen Ohlbach
    Abstraction Tree Indexing for Terms. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:479-484 [Conf]
  20. Christoph Weidenbach, Hans Jürgen Ohlbach
    A Resolution Calculus with Dynamic Sort Structures and Partial Functions. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:688-693 [Conf]
  21. Sacha Berger, François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Paula-Lavinia Patranjan, Sebastian Schaffert, Uta Schwertel, Stephanie Spranger
    Reasoning on the Web: Language Prototypes and Perspectives. [Citation Graph (0, 0)][DBLP]
    EWIMT, 2004, pp:- [Conf]
  22. Grigoris Antoniou, Hans Jürgen Ohlbach
    TERMINATOR. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:916-919 [Conf]
  23. Hans Jürgen Ohlbach
    A Multi-Dimensional Terminological Knowledge Representation Language. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:690-695 [Conf]
  24. Hans Jürgen Ohlbach, Andreas Herzig
    Parameter Structures for Parametrized Modal Operators. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:512-517 [Conf]
  25. Frank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach
    Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming. [Citation Graph (0, 0)][DBLP]
    IV, 2006, pp:424-429 [Conf]
  26. Hans Jürgen Ohlbach
    Ein regelbasiertes Klauselgraph-Beweisverfahren. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:216-224 [Conf]
  27. Hans Jürgen Ohlbach
    Theory Unification in Abstract Clause Graphs. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:77-100 [Conf]
  28. Hans Jürgen Ohlbach
    The Semantic Clause Graph Procedure - A First Overview. [Citation Graph (0, 0)][DBLP]
    GWAI, 1986, pp:218-229 [Conf]
  29. Hans Jürgen Ohlbach
    Context Logic - An Introduction. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:27-36 [Conf]
  30. Dov M. Gabbay, Hans Jürgen Ohlbach
    Quantifier Elimination in Second-Order Predicate Logic. [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:425-435 [Conf]
  31. Hans Jürgen Ohlbach
    Geotemporal Reasoning for Semantic Web Applications. [Citation Graph (0, 0)][DBLP]
    KRDB, 2003, pp:- [Conf]
  32. Hans Jürgen Ohlbach
    Optimized Translation of Multi Modal Logic into Predicate Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:253-264 [Conf]
  33. François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner
    A Geospatial World Model for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2005, pp:145-159 [Conf]
  34. François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger
    On Reasoning on Time and Location on the Web. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2003, pp:69-83 [Conf]
  35. Hans Jürgen Ohlbach
    Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2004, pp:118-133 [Conf]
  36. Hans Jürgen Ohlbach
    Computational Treatment of Temporal Notions: The CTTN-System. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2005, pp:133-144 [Conf]
  37. Hans Jürgen Ohlbach
    Fuzzy Time Intervals System Description of the FuTI-Library. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2006, pp:257-261 [Conf]
  38. Hans Jürgen Ohlbach
    Automated Reasoning in the Context of the Semantic Web. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2005, pp:14-14 [Conf]
  39. Hans Jürgen Ohlbach
    Relations Between Fuzzy Time Intervals. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:44-51 [Conf]
  40. Hans Jürgen Ohlbach
    The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:60-63 [Conf]
  41. Bernhard Lorenz, Hans Jürgen Ohlbach, Edgar-Philipp Stoffel
    A Hybrid Spatial Model for Representing Indoor Environments. [Citation Graph (0, 0)][DBLP]
    W2GIS, 2006, pp:102-112 [Conf]
  42. Hans Jürgen Ohlbach, Jana Koehler
    Modal Logics, Description Logics and Arithmetic Reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:109, n:1-2, pp:1-31 [Journal]
  43. Franz Baader, Hans Jürgen Ohlbach
    A Multi-Dimensional Terminological Knowledge Representation Language. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1995, v:5, n:2, pp:- [Journal]
  44. Hans Jürgen Ohlbach, Dov M. Gabbay
    Calendar Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1998, v:8, n:4, pp:- [Journal]
  45. Hans Jürgen Ohlbach
    Predicate Logic Hacker Tricks. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:4, pp:435-440 [Journal]
  46. Hans Jürgen Ohlbach
    Link Inheritance in Abstract Clause Graphs. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1987, v:3, n:1, pp:1-34 [Journal]
  47. Hans Jürgen Ohlbach
    Elimination of Self-Resolving Clauses. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:20, n:3, pp:317-336 [Journal]
  48. Hans Jürgen Ohlbach, Manfred Schmidt-Schauß
    The Lion and the Unicorn. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:3, pp:327-332 [Journal]
  49. Hans Jürgen Ohlbach, Christoph Weidenbach
    A Note on Assumptions about Skolem Functions. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:15, n:2, pp:267-275 [Journal]
  50. Hans Jürgen Ohlbach
    Extensions of First-Order Logic, Maria Manzano. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:389-391 [Journal]
  51. Hans Jürgen Ohlbach
    Logic Engineering - Konstruktion von Logiken. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:34-38 [Journal]
  52. Hans Jürgen Ohlbach, Manfred Schmidt-Schauß
    Bericht zur 9th Conference on Automated Deduction. [Citation Graph (0, 0)][DBLP]
    KI, 1988, v:2, n:4, pp:18-19 [Journal]
  53. Hans Jürgen Ohlbach, Renate A. Schmidt
    Functional Translation and Second-Order Frame Properties of Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:5, pp:581-603 [Journal]
  54. Hans Jürgen Ohlbach
    Semantics-Based Translation Methods for Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:5, pp:691-746 [Journal]
  55. Hans Jürgen Ohlbach, Renate A. Schmidt
    Editorial: The Possibility of Generating True Conjectures. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:4, pp:341-343 [Journal]
  56. Hans Jürgen Ohlbach
    Computational Treatment of Temporal Notions: The CTTN-System. [Citation Graph (0, 0)][DBLP]
    Annotating, Extracting and Reasoning about Time and Events, 2005, pp:72-87 [Conf]
  57. Edgar-Philipp Stoffel, Bernhard Lorenz, Hans Jürgen Ohlbach
    Towards a Semantic Spatial Model for Pedestrian Indoor Navigation. [Citation Graph (0, 0)][DBLP]
    ER Workshops, 2007, pp:328-337 [Conf]
  58. Hans Jürgen Ohlbach
    GeTS - A Specification Language for Geo-Temporal Notions. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:214-228 [Conf]

  59. Applying hierarchical graphs to pedestrian indoor navigation. [Citation Graph (, )][DBLP]


  60. The Facility Control Markup Language FCML. [Citation Graph (, )][DBLP]


  61. L-DSMS - A Local Data Stream Management System. [Citation Graph (, )][DBLP]


  62. A Local Data Stream Management System. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002