Jörg H. Siekmann - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Algorithms in cognition, informatics and logic: A position manifestoDov M. Gabbay, Jörg H. Siekmann. igpl, 18(6):763-768, 2010. [doi]

2009

Die Entwicklung der Disziplin in DeutschlandJörg H. Siekmann. ki, 23(1):47-52, 2009. [doi]

2008

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 SchlossAmmar Alkassar, Jörg H. Siekmann, editors, Volume 128 of LNI, GI, 2008.

Proof planning with multiple strategiesErica Melis, Andreas Meier, Jörg H. Siekmann. ai, 172(6-7):656-684, 2008. [doi]

2007

Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected PapersRuqian Lu, Jörg H. Siekmann, Carsten Ullrich, editors, Volume 4429 of Lecture Notes in Computer Science, Springer, 2007.

Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, ProceedingsZili Zhang, Jörg H. Siekmann, editors, Volume 4798 of Lecture Notes in Computer Science, Springer, 2007.

2006

2005

2004

ActiveMath: An Intelligent Tutoring System for MathematicsErica Melis, Jörg H. Siekmann. icaisc 2004: 91-101 [doi]

Invited talksMartin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann. ki, 18(3):44, 2004. [doi]

Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, ProceedingsLeszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh, editors, Volume 3070 of Lecture Notes in Computer Science, Springer, 2004.

Omega: Computer Supported MathematicsJörg H. Siekmann, Christoph Benzmüller. ki 2004: 3-28 [doi]

2003

Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent SystemsKlaus Fischer, Michael Schillo, Jörg H. Siekmann. holomas 2003: 71-80 [doi]

The Link between Autonomy and Organisation in Multiagent SystemsMichael Schillo, Klaus Fischer, Jörg H. Siekmann. holomas 2003: 81-90 [doi]

2002

A Portrait of a Scientist as a Computational LogicianMaurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden. BIRTHDAY 2002: 1-4 [doi]

Proof Development with Omega-MEGA: sqrt(2) Is IrrationalJörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet. lpar 2002: 367-387 [doi]

KI - Die Entwicklung der Disziplin in DeutschlandJörg H. Siekmann. ki, 16(1):52-53, 2002.

An Open Research Problem: Strong Completeness of R. Kowalski s Connection Graph Proof ProcedureJörg H. Siekmann, Graham Wrightson. BIRTHDAY 2002: 231-252 [doi]

An Open Research Problem: Strong Completeness of R. Kowalski s Connection Graph Proof ProcedureJörg H. Siekmann, Graham Wrightson. igpl, 10(1):85-103, 2002. [doi]

2001

Erratum: a counterexample to W. Bibel s and E. Eder s strong completeness result for connection graph resolutionJörg H. Siekmann, Graham Wrightson. JACM, 48(1):145-147, 2001. [doi]

2000

Formal Software Development in the Verification Support Environment (VSE)Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt. flairs 2000: 367-376

Formal software development in the Verification Support Environment (VSE)Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt. jetai, 12(4):383-406, 2000.

Concepts in Proof PlanningErica Melis, Jörg H. Siekmann. BIRTHDAY 2000: 263-276

1999

1998

Planning Diagonalization ProofsLassaad Cheikhrouhou, Jörg H. Siekmann. aimsa 1998: 167-180 [doi]

Wohin geht die automatische Deduktion?Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt. ki, 12(4):33-37, 1998.

<Omega>MEGA: Ein mathematisches AssistenzsystemJörg H. Siekmann, Michael Kohlhase, Erica Melis. kognitionswissenschaft, 7(3):101-105, 1998. [doi]

1997

Omega: Towards a Mathematical AssistantChristoph 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. cade 1997: 252-255

1996

Die Beweisentwicklungsumgebung Omega-MKRPXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann. ife, 11(1):20-26, 1996.

Deduction in the Verification Support Environment (VSE)Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers. fm 1996: 268-286

1994

Unification theoryFranz Baader, Jörg H. Siekmann. In Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. pages 41-126, Oxford University Press, 1994.

Informatik und Intellektik als zukünftiges ZwiegespannWolfgang Bibel, Jörg H. Siekmann. ki, 8(1):16-22, 1994.

Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction MethodologiesDov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann, editors, Oxford University Press, 1994.

KEIM: A Toolkit for Automated DeductionXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann. cade 1994: 807-810

Omega-MKRP: A Proof Development EnvironmentXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann. cade 1994: 788-792

1992

An Order-Sorted Logic for Knowledge Representation SystemsChristoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann. ai, 55(2):149-191, 1992.

1991

1989

Structure and Control of the L-LILOG Inference SystemKarl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann. lilog 1989: 165-182

Unification TheoryJörg H. Siekmann. JSC, 7(3/4):207-274, 1989.

The Undecidability of the D::A::-Unification ProblemJörg H. Siekmann, Peter Szabó. JSYML, 54(2):402-414, 1989.

1988

1987

Computergestützte Frühwarn- und EntwscheidungssystemeKarl-Hans Bläsius, Jörg H. Siekmann. insk, 10(1):24-39, 1987.

Unification in Abelian SemigroupsAlexander Herold, Jörg H. Siekmann. JAR, 3(3):247-283, 1987.

1986

On Unification: Equational Theories Are Not BoundedRonald V. Book, Jörg H. Siekmann. JSC, 2(4):317-324, 1986.

8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, ProceedingsJörg H. Siekmann, editor, Volume 230 of Lecture Notes in Computer Science, Springer, 1986.

Unification TheoryJörg H. Siekmann. ecai 1986: 365-400

1985

On the Unification HierarchyRonald V. Book, Jörg H. Siekmann. ki 1986: 111-117

1984

Universal UnificationJörg H. Siekmann. cade 1984: 1-42

1983

Open mathematical problems computer competitionJörg H. Siekmann. computing, 30(4):379-380, 1983. [doi]

1982

Künstliche Intelligenz, Frühjahrsschule, Teisendorf, 15.-24. März 1982Wolfgang Bibel, Jörg H. Siekmann, editors, Volume 59 of Informatik-Fachberichte, Springer, 1982.

Universal UnificationJörg H. Siekmann, Peter Szabó. ki 1982: 102-141

Einführung in die Künstliche IntelligenzJörg H. Siekmann. ki 1982: 1-60

Universal Unification and a Classification of Equational TheoriesJörg H. Siekmann, Peter Szabó. cade 1982: 369-389

1981

1980

Das Karlsruher BeweissystemNorbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther. gi 1980: 400-412

Paramodulated Connection GraphsJörg H. Siekmann, Graham Wrightson. ACTA, 13:67-86, 1980.

1979

Unification of commutative termsJörg H. Siekmann. eurosam 1979: 22

Matching under commutativityJörg H. Siekmann. eurosam 1979: 531-545

1978

Paramodulated Connection GraphsNorbert Eisinger, Jörg H. Siekmann, Graham Wrightson. ecai 1978: 105-109

Completeness and Soundness of the Connection Graph ProofWerner Stephan, Jörg H. Siekmann. ecai 1978: 340-344

1977

Unification of Idempotent FunctionsStefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann. IJCAI 1977: 528