dblp.uni-trier.dewww.uni-trier.de

Jörg H. Siekmann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
80EEClaus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician CoRR abs/0902.4682: (2009)
2008
79 Ammar Alkassar, Jörg H. Siekmann: Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss. GI 2008
78EEErica Melis, Andreas Meier, Jörg H. Siekmann: Proof planning with multiple strategies. Artif. Intell. 172(6-7): 656-684 (2008)
2007
77 Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich: Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers Springer 2007
76 Zili Zhang, Jörg H. Siekmann: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings Springer 2007
2006
75EEJörg H. Siekmann: History of AI in Germany and The Third Industrial Revolution. KI 2006: 445
74EEErica Melis, Martin Pollet, Jörg H. Siekmann: Reductio ad Absurdum: Planning Proofs by Contradiction. Reasoning, Action and Interaction in AI Theories and Systems 2006: 45-58
73EEChristoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
72EEJörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Computer supported mathematics with Omegamega. J. Applied Logic 4(4): 533-559 (2006)
2005
71EEChristoph 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. Cognitive Systems 2005: 1-14
70EEErica Melis, Ruimin Shen, Jörg H. Siekmann, Carsten Ullrich, Fan Yang, Peng Han: Challenges in Search and Usage of Multi-media Learning Objects. Cognitive Systems 2005: 36-44
69EEJörg H. Siekmann: Proof Presentation. Deduction and Applications 2005
68 Erica Melis, Jörg H. Siekmann: e-Learning Logic and Mathematics: What We Have and What We Need. We Will Show Them! (2) 2005: 639-662
2004
67 Leszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh: Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings Springer 2004
66EEErica Melis, Jörg H. Siekmann: ActiveMath: An Intelligent Tutoring System for Mathematics. ICAISC 2004: 91-101
65EEJörg H. Siekmann, Christoph Benzmüller: Omega: Computer Supported Mathematics. KI 2004: 3-28
64EEMartin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann: Invited talks. KI 18(3): 44- (2004)
2003
63EEKlaus Fischer, Michael Schillo, Jörg H. Siekmann: Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems. HoloMAS 2003: 71-80
62EEMichael Schillo, Klaus Fischer, Jörg H. Siekmann: The Link between Autonomy and Organisation in Multiagent Systems. HoloMAS 2003: 81-90
2002
61EEJö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. CADE 2002: 144-149
60EEMaurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden: A Portrait of a Scientist as a Computational Logician. Computational Logic: Logic Programming and Beyond 2002: 1-4
59EEJörg H. Siekmann, Graham Wrightson: An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Computational Logic: Logic Programming and Beyond 2002: 231-252
58EEJörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet: Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR 2002: 367-387
57 Jörg H. Siekmann: KI - Die Entwicklung der Disziplin in Deutschland. KI 16(1): 52-53 (2002)
56EEJörg H. Siekmann, Graham Wrightson: An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Logic Journal of the IGPL 10(1): 85-103 (2002)
2001
55EEJörg H. Siekmann, Graham Wrightson: Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution. J. ACM 48(1): 145-147 (2001)
2000
54 Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal Software Development in the Verification Support Environment (VSE). FLAIRS Conference 2000: 367-376
53 Erica Melis, Jörg H. Siekmann: Concepts in Proof Planning. Intellectics and Computational Logic 2000: 263-276
52 Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000)
1999
51EEErica Melis, Jörg H. Siekmann: Knowledge-Based Proof Planning. Artif. Intell. 115(1): 65-105 (1999)
50EEJö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. Formal Asp. Comput. 11(3): 326-342 (1999)
1998
49EELassaad Cheikhrouhou, Jörg H. Siekmann: Planning Diagonalization Proofs. AIMSA 1998: 167-180
48 Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt: Wohin geht die automatische Deduktion? KI 12(4): 33-37 (1998)
47EEJörg H. Siekmann, Michael Kohlhase, Erica Melis: <Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998)
1997
46 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. CADE 1997: 252-255
1996
45 Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers: Deduction in the Verification Support Environment (VSE). FME 1996: 268-286
44 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. Inform., Forsch. Entwickl. 11(1): 20-26 (1996)
1994
43 Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann: Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies Oxford University Press 1994
42 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Omega-MKRP: A Proof Development Environment. CADE 1994: 788-792
41 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: KEIM: A Toolkit for Automated Deduction. CADE 1994: 807-810
40 Franz Baader, Jörg H. Siekmann: Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 41-126
39 Wolfgang Bibel, Jörg H. Siekmann: Informatik und Intellektik als zukünftiges Zwiegespann. KI 8(1): 16-22 (1994)
1992
38 Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191 (1992)
1991
37 Hans Jürgen Ohlbach, Jörg H. Siekmann: The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 41-112
36 Jürgen Müller, Jörg H. Siekmann: Structured Social Agents. Wissensbasierte Systeme 1991: 42-52
35 Michael A. McRobbie, Jörg H. Siekmann: Artificial intelligence: Perspectives and Predictions. Applied Artificial Intelligence 5(2): 187-207 (1991)
34 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. Informatik Spektrum 14(4): 201-206 (1991)
1990
33 Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems IWBS Report 113: (1990)
1989
32 Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann: Structure and Control of the L-LILOG Inference System. Sorts and Types in Artificial Intelligence 1989: 165-182
31 Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann: An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information IWBS Report 86: (1989)
30 Jörg H. Siekmann: Unification Theory. J. Symb. Comput. 7(3/4): 207-274 (1989)
29 Jörg H. Siekmann, Peter Szabó: The Undecidability of the DA-Unification Problem. J. Symb. Log. 54(2): 402-414 (1989)
1988
28 Karl-Hans Bläsius, Jörg H. Siekmann: Partial Unification for Graph Based Equational Reasoning. CADE 1988: 397-414
27 Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden: What is Computation? (Panel Introduction). ECAI 1988: 724
26 Jörg H. Siekmann: Artificial Intelligence: Perspectives and Predictions. FGCS 1988: 145-146
25 Michael A. McRobbie, Jörg H. Siekmann: Artificial Intelligence: Perspectives and Predictions. AI Commun. 1(4): 16-29 (1988)
24 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. J. Autom. Reasoning 4(4): 465-474 (1988)
1987
23 Karl-Hans Bläsius, Jörg H. Siekmann: Computergestützte Frühwarn- und Entwscheidungssysteme. Informatik Spektrum 10(1): 24-39 (1987)
22 Alexander Herold, Jörg H. Siekmann: Unification in Abelian Semigroups. J. Autom. Reasoning 3(3): 247-283 (1987)
1986
21 Jörg H. Siekmann: 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings Springer 1986
20 Jörg H. Siekmann: Unification Theory. ECAI 1986: 365-400
19 Ronald V. Book, Jörg H. Siekmann: On Unification: Equational Theories Are Not Bounded. J. Symb. Comput. 2(4): 317-324 (1986)
1985
18 Ronald V. Book, Jörg H. Siekmann: On the Unification Hierarchy. GWAI 1985: 111-117
1984
17 Jörg H. Siekmann: Universal Unification. CADE 1984: 1-42
1982
16 Wolfgang Bibel, Jörg H. Siekmann: Künstliche Intelligenz, Frühjahrsschule, Teisendorf, 15.-24. März 1982 Springer 1982
15 Jörg H. Siekmann, Peter Szabó: Universal Unification and a Classification of Equational Theories. CADE 1982: 369-389
14 Jörg H. Siekmann, Peter Szabó: Universal Unification. GWAI 1982: 102-141
13 Jörg H. Siekmann: Einführung in die Künstliche Intelligenz. KIFS 1982: 1-60
1981
12 Jörg H. Siekmann: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings Springer 1981
11 Jörg H. Siekmann, Gert Smolka: Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure. GWAI 1981: 199-200
10 Jörg H. Siekmann, Peter Szabó: A Noetherian Rewrite System for Idempotent Semigroups. GWAI 1981: 235-245
9 Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther: The Markgraf Karl Refutation Procedure. IJCAI 1981: 511-518
8 Jörg H. Siekmann, Peter Szabó: Universal Unification and Regular Equational ACFM Theories. IJCAI 1981: 532-538
1980
7 Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther: Das Karlsruher Beweissystem. GI Jahrestagung 1980: 400-412
6 Jörg H. Siekmann, Graham Wrightson: Paramodulated Connection Graphs. Acta Inf. 13: 67-86 (1980)
1979
5 Jörg H. Siekmann: Unification of commutative terms. EUROSAM 1979: 22
4 Jörg H. Siekmann: Matching under commutativity. EUROSAM 1979: 531-545
1978
3 Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson: Paramodulated Connection Graphs. AISB/GI (ECAI) 1978: 105-109
2 Werner Stephan, Jörg H. Siekmann: Completeness and Soundness of the Connection Graph Proof. AISB/GI (ECAI) 1978: 340-344
1977
1 Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann: Unification of Idempotent Functions. IJCAI 1977: 528

Coauthor Index

1Ammar Alkassar [79]
2Serge Autexier [72] [80]
3Franz Baader [40]
4Gerhard Barth [34]
5Christoph Beierle [31] [33] [38]
6Christoph Benzmüller (Christoph Benzmueller) [46] [50] [58] [61] [65] [71] [72] [73] [80]
7Wolfgang Bibel [16] [39]
8Karl-Hans Bläsius [9] [23] [28] [32]
9Margaret A. Boden [27]
10Ronald V. Book [18] [19]
11Vladimir Brezhnev [61]
12Maurice Bruynooghe [60]
13Hans-Jürgen Bürckert [24]
14Lassaad Cheikhrouhou [46] [49] [50] [61]
15Thomas Christaller [34]
16Andy Clark [27]
17Armin B. Cremers [34]
18Norbert Eisinger [3] [7] [9]
19Maarten H. van Emden [60]
20François Fages [64]
21Detlef Fehrer [46]
22Armin Fiedler [46] [50] [58] [61] [73]
23Klaus Fischer [62] [63]
24Andreas Franke [61]
25Dov M. Gabbay [43]
26Harald Ganzinger [48]
27Malik Ghallab [64]
28Peng Han [70]
29Ulrich Hedtstück [31] [33] [38]
30Alexander Herold [9] [22] [24]
31Stephan M. Hess [50]
32Christopher J. Hogger [43]
33Helmut Horacek [50] [61] [71]
34Xiaorong Huang [41] [42] [44] [46]
35Dieter Hutter [45] [52] [54]
36Deepak Kapur [24]
37Manfred Kerber [41] [42] [44] [46]
38Michael Kohlhase [41] [42] [44] [46] [47] [50] [61]
39Karsten Konrad [46] [50]
40Ivana Kruijff-Korbayová [71]
41Stefan Kühner [1]
42Bruno Langenstein [45] [52]
43Ruqian Lu [77]
44Chris Mathis [1]
45Michael A. McRobbie [25] [35]
46Andreas Meier [46] [50] [58] [61] [73] [78]
47Erica Melis [41] [42] [44] [46] [47] [50] [51] [53] [61] [66] [68] [70] [74] [78]
48Markus Moschner [61]
49Jürgen Müller [36]
50Daniel Nesmith (Dan Nesmith) [41] [42] [44]
51Bernd Neumann [34]
52Immanuel Normann [61]
53Hans Jürgen Ohlbach [37]
54Luís Moniz Pereira (Luíz Moniz Pereira) [60]
55Manfred Pinkal [71]
56Udo Pletat [31] [33] [38]
57Martin Pollet [50] [58] [61] [73] [74]
58Franz Josef Radermacher [34]
59Bernd Radig [34]
60Peter Raulefs [1]
61Michael M. Richter [34]
62Jörn Richts [41] [42] [44]
63Martin A. Riedmiller (Martin Riedmiller) [64]
64J. A. Robinson [43]
65Georg Rock [52] [54]
66Claus-Rainer Rollinger [32]
67Leszek Rutkowski [67]
68Wolf Schaarschmidt [46]
69Michael Schillo [62] [63]
70Peter H. Schmitt [33] [38] [48]
71Werner von Seelen [34]
72Claus Sengler [45]
73Ruimin Shen [70]
74Aaron Sloman [27]
75Gert Smolka [7] [9] [11]
76Volker Sorge [46] [50] [61]
77Werner Stephan [2] [45] [52] [54]
78Mark E. Stickel [24]
79Peter Szabó [8] [10] [14] [15] [29]
80Ryszard Tadeusiewicz [67]
81Sten-Åke Tärnlund (Sten-Åke Tarnlund, Sten-Ake Tärnlund) [27]
82Michael Tepp [24]
83Carsten Ullrich [61] [70] [77]
84E. Unvericht [7]
85Roland Vogt [52] [54]
86Wolfgang Wahlster [64]
87Christoph Walther [7] [9]
88Claus-Peter Wirth [61] [80]
89Andreas Wolpers [45]
90Magdalena Wolska [71]
91Graham Wrightson [3] [6] [55] [56] [59]
92Fan Yang [70]
93Lotfi A. Zadeh [67]
94Hantao Zhang [24]
95Zili Zhang [76]
96Jürgen Zimmer [61]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)