The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jörg H. Siekmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
    An Order-Sorted Logic for Knowledge Representation Systems. [Citation Graph (2, 0)][DBLP]
    Artif. Intell., 1992, v:55, n:2, pp:149-191 [Journal]
  2. Jörg H. Siekmann
    Unification Theory. [Citation Graph (2, 0)][DBLP]
    J. Symb. Comput., 1989, v:7, n:3/4, pp:207-274 [Journal]
  3. Jörg H. Siekmann
    Universal Unification. [Citation Graph (1, 0)][DBLP]
    CADE, 1984, pp:1-42 [Conf]
  4. Lassaad Cheikhrouhou, Jörg H. Siekmann
    Planning Diagonalization Proofs. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:167-180 [Conf]
  5. Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden
    A Portrait of a Scientist as a Computational Logician. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:1-4 [Conf]
  6. Erica Melis, Jörg H. Siekmann
    Concepts in Proof Planning. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:263-276 [Conf]
  7. Erica Melis, Jörg H. Siekmann
    e-Learning Logic and Mathematics: What We Have and What We Need. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (2), 2005, pp:639-662 [Conf]
  8. 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]
  9. Jörg H. Siekmann, Graham Wrightson
    An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:231-252 [Conf]
  10. Erica Melis, Martin Pollet, Jörg H. Siekmann
    Reductio ad Absurdum: Planning Proofs by Contradiction. [Citation Graph (0, 0)][DBLP]
    Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:45-58 [Conf]
  11. Karl-Hans Bläsius, Jörg H. Siekmann
    Partial Unification for Graph Based Equational Reasoning. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:397-414 [Conf]
  12. Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
    Omega: Towards a Mathematical Assistant. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:252-255 [Conf]
  13. Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
    Proof Development with OMEGA. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:144-149 [Conf]
  14. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
    Omega-MKRP: A Proof Development Environment. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:788-792 [Conf]
  15. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
    KEIM: A Toolkit for Automated Deduction. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:807-810 [Conf]
  16. Jörg H. Siekmann, Peter Szabó
    Universal Unification and a Classification of Equational Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:369-389 [Conf]
  17. Jörg H. Siekmann
    Proof Presentation. [Citation Graph (0, 0)][DBLP]
    Deduction and Applications, 2005, pp:- [Conf]
  18. Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson
    Paramodulated Connection Graphs. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:105-109 [Conf]
  19. Jörg H. Siekmann
    Unification Theory. [Citation Graph (0, 0)][DBLP]
    ECAI, 1986, pp:365-400 [Conf]
  20. Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden
    What is Computation? (Panel Introduction). [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:724- [Conf]
  21. Werner Stephan, Jörg H. Siekmann
    Completeness and Soundness of the Connection Graph Proof. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:340-344 [Conf]
  22. Jörg H. Siekmann
    Unification of commutative terms. [Citation Graph (0, 0)][DBLP]
    EUROSAM, 1979, pp:22- [Conf]
  23. Jörg H. Siekmann
    Matching under commutativity. [Citation Graph (0, 0)][DBLP]
    EUROSAM, 1979, pp:531-545 [Conf]
  24. Jörg H. Siekmann
    Artificial Intelligence: Perspectives and Predictions. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:145-146 [Conf]
  25. Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
    Formal Software Development in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2000, pp:367-376 [Conf]
  26. Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
    Deduction in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:268-286 [Conf]
  27. Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther
    Das Karlsruher Beweissystem. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:400-412 [Conf]
  28. Klaus Fischer, Michael Schillo, Jörg H. Siekmann
    Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    HoloMAS, 2003, pp:71-80 [Conf]
  29. Michael Schillo, Klaus Fischer, Jörg H. Siekmann
    The Link between Autonomy and Organisation in Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    HoloMAS, 2003, pp:81-90 [Conf]
  30. Erica Melis, Jörg H. Siekmann
    ActiveMath: An Intelligent Tutoring System for Mathematics. [Citation Graph (0, 0)][DBLP]
    ICAISC, 2004, pp:91-101 [Conf]
  31. Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther
    The Markgraf Karl Refutation Procedure. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:511-518 [Conf]
  32. Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann
    Unification of Idempotent Functions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:528- [Conf]
  33. Jörg H. Siekmann, Peter Szabó
    Universal Unification and Regular Equational ACFM Theories. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:532-538 [Conf]
  34. Ronald V. Book, Jörg H. Siekmann
    On the Unification Hierarchy. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:111-117 [Conf]
  35. Jörg H. Siekmann
    Einführung in die Künstliche Intelligenz. [Citation Graph (0, 0)][DBLP]
    KIFS, 1982, pp:1-60 [Conf]
  36. Jörg H. Siekmann, Christoph Benzmüller
    Omega: Computer Supported Mathematics. [Citation Graph (0, 0)][DBLP]
    KI, 2004, pp:3-28 [Conf]
  37. Jörg H. Siekmann, Gert Smolka
    Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure. [Citation Graph (0, 0)][DBLP]
    GWAI, 1981, pp:199-200 [Conf]
  38. Jörg H. Siekmann, Peter Szabó
    A Noetherian Rewrite System for Idempotent Semigroups. [Citation Graph (0, 0)][DBLP]
    GWAI, 1981, pp:235-245 [Conf]
  39. Jörg H. Siekmann, Peter Szabó
    Universal Unification. [Citation Graph (0, 0)][DBLP]
    GWAI, 1982, pp:102-141 [Conf]
  40. Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann
    Structure and Control of the L-LILOG Inference System. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:165-182 [Conf]
  41. Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
    Proof Development with Omega-MEGA: sqrt(2) Is Irrational. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:367-387 [Conf]
  42. Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann
    Omega. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:127-141 [Conf]
  43. Jürgen Müller, Jörg H. Siekmann
    Structured Social Agents. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1991, pp:42-52 [Conf]
  44. Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska
    Natural Language Dialog with a Tutor System for Mathematical Proofs. [Citation Graph (0, 0)][DBLP]
    Cognitive Systems, 2005, pp:1-14 [Conf]
  45. Erica Melis, Ruimin Shen, Jörg H. Siekmann, Carsten Ullrich, Fan Yang, Peng Han
    Challenges in Search and Usage of Multi-media Learning Objects. [Citation Graph (0, 0)][DBLP]
    Cognitive Systems, 2005, pp:36-44 [Conf]
  46. Michael A. McRobbie, Jörg H. Siekmann
    Artificial intelligence: Perspectives and Predictions. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1991, v:5, n:2, pp:187-207 [Journal]
  47. Jörg H. Siekmann, Graham Wrightson
    Paramodulated Connection Graphs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1980, v:13, n:, pp:67-86 [Journal]
  48. Erica Melis, Jörg H. Siekmann
    Knowledge-Based Proof Planning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:115, n:1, pp:65-105 [Journal]
  49. Michael A. McRobbie, Jörg H. Siekmann
    Artificial Intelligence: Perspectives and Predictions. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1988, v:1, n:4, pp:16-29 [Journal]
  50. Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge
    L<Omega>UI: Lovely <Omega>MEGA User Interface. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:3, pp:326-342 [Journal]
  51. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
    Die Beweisentwicklungsumgebung Omega-MKRP. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1996, v:11, n:1, pp:20-26 [Journal]
  52. Jörg H. Siekmann, Graham Wrightson
    An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:1, pp:85-103 [Journal]
  53. Gerhard Barth, Thomas Christaller, Armin B. Cremers, Bernd Neumann, Franz Josef Radermacher, Bernd Radig, Michael M. Richter, Jörg H. Siekmann, Werner von Seelen
    Künstliche Intelligenz - Perspektiven einer wissenschaftlichen Disziplin und Realisierungsmöglichkeiten. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1991, v:14, n:4, pp:201-206 [Journal]
  54. Karl-Hans Bläsius, Jörg H. Siekmann
    Computergestützte Frühwarn- und Entwscheidungssysteme. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1987, v:10, n:1, pp:24-39 [Journal]
  55. Jörg H. Siekmann, Graham Wrightson
    Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2001, v:48, n:1, pp:145-147 [Journal]
  56. Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
    Computer supported mathematics with Omegamega. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:533-559 [Journal]
  57. Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang
    Opening the AC-Unification Race. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:4, pp:465-474 [Journal]
  58. Alexander Herold, Jörg H. Siekmann
    Unification in Abelian Semigroups. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1987, v:3, n:3, pp:247-283 [Journal]
  59. Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
    Formal software development in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 2000, v:12, n:4, pp:383-406 [Journal]
  60. Ronald V. Book, Jörg H. Siekmann
    On Unification: Equational Theories Are Not Bounded. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1986, v:2, n:4, pp:317-324 [Journal]
  61. Jörg H. Siekmann, Peter Szabó
    The Undecidability of the DA-Unification Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:402-414 [Journal]
  62. Wolfgang Bibel, Jörg H. Siekmann
    Informatik und Intellektik als zukünftiges Zwiegespann. [Citation Graph (0, 0)][DBLP]
    KI, 1994, v:8, n:1, pp:16-22 [Journal]
  63. Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt
    Wohin geht die automatische Deduktion? [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:33-37 [Journal]
  64. Martin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann
    Invited talks. [Citation Graph (0, 0)][DBLP]
    KI, 2004, v:18, n:3, pp:44-0 [Journal]
  65. Jörg H. Siekmann
    KI - Die Entwicklung der Disziplin in Deutschland. [Citation Graph (0, 0)][DBLP]
    KI, 2002, v:16, n:1, pp:52-53 [Journal]
  66. Jörg H. Siekmann, Michael Kohlhase, Erica Melis
    <Omega>MEGA: Ein mathematisches Assistenzsystem. [Citation Graph (0, 0)][DBLP]
    Kognitionswissenschaft, 1998, v:7, n:3, pp:101-105 [Journal]
  67. Jörg H. Siekmann
    History of AI in Germany and The Third Industrial Revolution. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:445- [Conf]

  68. Proof planning with multiple strategies. [Citation Graph (, )][DBLP]


  69. Open mathematical problems computer competition. [Citation Graph (, )][DBLP]


  70. Lectures on Jacques Herbrand as a Logician [Citation Graph (, )][DBLP]


Search in 0.388secs, Finished in 0.393secs
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