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

Jörg H. Siekmann Vis

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

*2009
82EEClaus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician CoRR abs/0902.4682: (2009)
81EEJörg H. Siekmann: Die Entwicklung der Disziplin in Deutschland. KI 23(1): 47-52 (2009)
2008
80 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
79EEErica Melis, Andreas Meier, Jörg H. Siekmann: Proof planning with multiple strategies. Artif. Intell. 172(6-7): 656-684 (2008)
2007
78 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
77 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
76EEJörg H. Siekmann: History of AI in Germany and The Third Industrial Revolution. KI 2006: 445
75EEErica 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
74EEChristoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
73EEJörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Computer supported mathematics with Omegamega. J. Applied Logic 4(4): 533-559 (2006)
2005
72EEChristoph 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
71EEErica 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
70EEJörg H. Siekmann: Proof Presentation. Deduction and Applications 2005
69 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
68 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
67EEErica Melis, Jörg H. Siekmann: ActiveMath: An Intelligent Tutoring System for Mathematics. ICAISC 2004: 91-101
66EEJörg H. Siekmann, Christoph Benzmüller: Omega: Computer Supported Mathematics. KI 2004: 3-28
65EEMartin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann: Invited talks. KI 18(3): 44- (2004)
2003
64EEKlaus Fischer, Michael Schillo, Jörg H. Siekmann: Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems. HoloMAS 2003: 71-80
63EEMichael Schillo, Klaus Fischer, Jörg H. Siekmann: The Link between Autonomy and Organisation in Multiagent Systems. HoloMAS 2003: 81-90
2002
62EEJö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
61EEMaurice 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
60EEJö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
59EEJö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
58 Jörg H. Siekmann: KI - Die Entwicklung der Disziplin in Deutschland. KI 16(1): 52-53 (2002)
57EEJö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
56EEJö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
55 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
54 Erica Melis, Jörg H. Siekmann: Concepts in Proof Planning. Intellectics and Computational Logic 2000: 263-276
53 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
52EEErica Melis, Jörg H. Siekmann: Knowledge-Based Proof Planning. Artif. Intell. 115(1): 65-105 (1999)
51EEJö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
50EELassaad Cheikhrouhou, Jörg H. Siekmann: Planning Diagonalization Proofs. AIMSA 1998: 167-180
49 Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt: Wohin geht die automatische Deduktion? KI 12(4): 33-37 (1998)
48EEJörg H. Siekmann, Michael Kohlhase, Erica Melis: <Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998)
1997
47EEChristoph 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
46EEDieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers: Deduction in the Verification Support Environment (VSE). FME 1996: 268-286
45 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
44 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
43EEXiaorong 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
42EEXiaorong 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
41 Franz Baader, Jörg H. Siekmann: Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 41-126
40 Wolfgang Bibel, Jörg H. Siekmann: Informatik und Intellektik als zukünftiges Zwiegespann. KI 8(1): 16-22 (1994)
1992
39 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
38 Hans Jürgen Ohlbach, Jörg H. Siekmann: The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 41-112
37 Jürgen Müller, Jörg H. Siekmann: Structured Social Agents. Wissensbasierte Systeme 1991: 42-52
36 Michael A. McRobbie, Jörg H. Siekmann: Artificial intelligence: Perspectives and Predictions. Applied Artificial Intelligence 5(2): 187-207 (1991)
35 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
34 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
33EEKarl-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
32 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)
31 Jörg H. Siekmann: Unification Theory. J. Symb. Comput. 7(3/4): 207-274 (1989)
30 Jörg H. Siekmann, Peter Szabó: The Undecidability of the DA-Unification Problem. J. Symb. Log. 54(2): 402-414 (1989)
1988
29EEKarl-Hans Bläsius, Jörg H. Siekmann: Partial Unification for Graph Based Equational Reasoning. CADE 1988: 397-414
28 Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden: What is Computation? (Panel Introduction). ECAI 1988: 724
27 Jörg H. Siekmann: Artificial Intelligence: Perspectives and Predictions. FGCS 1988: 145-146
26 Michael A. McRobbie, Jörg H. Siekmann: Artificial Intelligence: Perspectives and Predictions. AI Commun. 1(4): 16-29 (1988)
25 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
24 Karl-Hans Bläsius, Jörg H. Siekmann: Computergestützte Frühwarn- und Entwscheidungssysteme. Informatik Spektrum 10(1): 24-39 (1987)
23 Alexander Herold, Jörg H. Siekmann: Unification in Abelian Semigroups. J. Autom. Reasoning 3(3): 247-283 (1987)
1986
22 Jörg H. Siekmann: 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings Springer 1986
21 Jörg H. Siekmann: Unification Theory. ECAI 1986: 365-400
20 Ronald V. Book, Jörg H. Siekmann: On Unification: Equational Theories Are Not Bounded. J. Symb. Comput. 2(4): 317-324 (1986)
1985
19 Ronald V. Book, Jörg H. Siekmann: On the Unification Hierarchy. GWAI 1985: 111-117
1984
18EEJörg H. Siekmann: Universal Unification. CADE 1984: 1-42
1983
17EEJörg H. Siekmann: Open mathematical problems computer competition. Computing 30(4): 379-380 (1983)
1982
16 Wolfgang Bibel, Jörg H. Siekmann: Künstliche Intelligenz, Frühjahrsschule, Teisendorf, 15.-24. März 1982 Springer 1982
15EEJö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 [80]
2Serge Autexier [73] [82]
3Franz Baader [41]
4Gerhard Barth [35]
5Christoph Beierle [32] [34] [39]
6Christoph Benzmüller (Christoph Benzmueller) [47] [51] [59] [62] [66] [72] [73] [74] [82]
7Wolfgang Bibel [16] [40]
8Karl-Hans Bläsius [9] [24] [29] [33]
9Margaret A. Boden [28]
10Ronald V. Book [19] [20]
11Vladimir Brezhnev [62]
12Maurice Bruynooghe [61]
13Hans-Jürgen Bürckert [25]
14Lassaad Cheikhrouhou [47] [50] [51] [62]
15Thomas Christaller [35]
16Andy Clark [28]
17Armin B. Cremers [35]
18Norbert Eisinger [3] [7] [9]
19Maarten H. van Emden [61]
20François Fages [65]
21Detlef Fehrer [47]
22Armin Fiedler [47] [51] [59] [62] [74]
23Klaus Fischer [63] [64]
24Andreas Franke [62]
25Dov M. Gabbay [44]
26Harald Ganzinger [49]
27Malik Ghallab [65]
28Peng Han [71]
29Ulrich Hedtstück [32] [34] [39]
30Alexander Herold [9] [23] [25]
31Stephan M. Hess [51]
32Christopher J. Hogger [44]
33Helmut Horacek [51] [62] [72]
34Xiaorong Huang [42] [43] [45] [47]
35Dieter Hutter [46] [53] [55]
36Deepak Kapur [25]
37Manfred Kerber [42] [43] [45] [47]
38Michael Kohlhase [42] [43] [45] [47] [48] [51] [62]
39Karsten Konrad [47] [51]
40Ivana Kruijff-Korbayová [72]
41Stefan Kühner [1]
42Bruno Langenstein [46] [53]
43Ruqian Lu [78]
44Chris Mathis [1]
45Michael A. McRobbie [26] [36]
46Andreas Meier [47] [51] [59] [62] [74] [79]
47Erica Melis [42] [43] [45] [47] [48] [51] [52] [54] [62] [67] [69] [71] [75] [79]
48Markus Moschner [62]
49Jürgen Müller [37]
50Daniel Nesmith (Dan Nesmith) [42] [43] [45]
51Bernd Neumann [35]
52Immanuel Normann [62]
53Hans Jürgen Ohlbach [38]
54Luís Moniz Pereira (Luíz Moniz Pereira) [61]
55Manfred Pinkal [72]
56Udo Pletat [32] [34] [39]
57Martin Pollet [51] [59] [62] [74] [75]
58Franz Josef Radermacher [35]
59Bernd Radig [35]
60Peter Raulefs [1]
61Michael M. Richter [35]
62Jörn Richts [42] [43] [45]
63Martin A. Riedmiller (Martin Riedmiller) [65]
64J. A. Robinson [44]
65Georg Rock [53] [55]
66Claus-Rainer Rollinger [33]
67Leszek Rutkowski [68]
68Wolf Schaarschmidt [47]
69Michael Schillo [63] [64]
70Peter H. Schmitt [34] [39] [49]
71Werner von Seelen [35]
72Claus Sengler [46]
73Ruimin Shen [71]
74Aaron Sloman [28]
75Gert Smolka [7] [9] [11]
76Volker Sorge [47] [51] [62]
77Werner Stephan [2] [46] [53] [55]
78Mark E. Stickel [25]
79Peter Szabó [8] [10] [14] [15] [30]
80Ryszard Tadeusiewicz [68]
81Sten-Åke Tärnlund (Sten-Åke Tarnlund, Sten-Ake Tärnlund) [28]
82Michael Tepp [25]
83Carsten Ullrich [62] [71] [78]
84E. Unvericht [7]
85Roland Vogt [53] [55]
86Wolfgang Wahlster [65]
87Christoph Walther [7] [9]
88Claus-Peter Wirth [62] [82]
89Andreas Wolpers [46]
90Magdalena Wolska [72]
91Graham Wrightson [3] [6] [56] [57] [60]
92Fan Yang [71]
93Lotfi A. Zadeh [68]
94Hantao Zhang [25]
95Zili Zhang [77]
96Jürgen Zimmer [62]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)