Notice: is_feed was called incorrectly. Conditional query tags do not work before the query is run. Before then, they always return false. Please see Debugging in WordPress for more information. (This message was added in version 3.1.0.) in /var/www/clients/client89/web233/web/wp-includes/functions.php on line 5768
Artikel in Fachzeitschriften und Sammelbänden – Jörg Siekmann
Notice: WP_Scripts::localize wurde fehlerhaft aufgerufen. Der Parameter $l10n muss ein Array sein. Um beliebige Daten an Skripte zu übergeben, verwende stattdessen die Funktion wp_add_inline_script(). Weitere Informationen: Debugging in WordPress (engl.) (Diese Meldung wurde in Version 5.7.0 hinzugefügt.) in /var/www/clients/client89/web233/web/wp-includes/functions.php on line 5768
Jörg Siekmann

Artikel in Fachzeitschriften und Sammelbänden

ab 2001

M. Hoche, J.Siekmann, P.Szabo: “String unification is essentially infinitary” in: IFCOLOG Journal of Logics and their Applications, Volume 3 Number 5, Saarländische Universitäts-und Landesbibliothek, 2016 PDF BibTex
P. Szabo, J. Siekmann, M.Hoche: “What is essential Unification?” in: “Martin Davis on Computability, Computational Logic, and Mathematical Foundations”, Alberto Policri, pp 285-314, Springer Verlag, 2016 PDF BibTex
J. Siekmann: „Computational Logic”  in: D.Gabbay, J.Siekmann,J.Woods (eds) „Handbook on the History of Logic“, vol 9, North Holland, Elsevier, 2014. PDF BibTex
S. Autexier, C. Benzmüller, D. Dietrich, J. Siekmann: OMEGA in: „Resource Adaptive Cognitive Processes“ , Springer, 2010 PDF BibTex
C. Benzmüller, M. Schiller, J. Siekmann: „Resource Bounded Modelling and Analysis of Human-Level Interactive Proofs“ in: Resource-adaptive cognitive processes, pp 291-311, Springer, 2010 PDF BibTex
E. Melis, A. Meier, J. Siekmann:Proof Planning with mutiple Strategies” Journal of Artificial Intelligence, vol 172, pp 656-658, 2007 PDF BibTex
C. Benzmüller, A. Fiedler, A. Meier, M. Pollet, and J. Siekmann: OMEGA. In F. Wieddijk (ed.), The seventeen provers of the world, LNAI, vol 3600, pp. 127-141, Springer. 2006. PDF BibTex
C. Benzmüller, H. Horacek, I. Kruijff-Korbayova, M. Pinkal, J. Siekmann, M. Wolskam, Natural Language Dialog with a Tutor System for Mathematical Proofs. Journal of Computer Science and Technology. pp 1-14, 2006   PDF   BibTex
J. Siekmann, C. Benzmüller, and S. Autexier, Computer Supported Mathematics with OMEGA. Special Issue on Mathematics Assistance Systems, Journal of Applied Logic, vol 4, no. 4, pp 533-559 Elsevier, 2005   PDF   BibTex
C. Benzmüller, I. Kruijff-Korbayova, M. Pinkal, J. Siekmann: Natural Language Dialog with a Tutor System for Mathematical Proof.  Journal JCST, pp 1-14, 2007. PDF BibTex
J. Siekmann, C. Benzmüller: OMEGA: Computer Supported Mathematics. In: Advances in Artificial Intelligence, Springer , Vol. 3228, 2004 PDF BibTex
E. Melis, J. Siekmann: ActiveMath: An Intelligent Tutoring System for Mathematics: Int. Conf. on AI and Soft Computing, LNAI vol. 3070, 2004 PDF BibTex
J. Siekmann, C. Benzmüller, A. Fiedler, A. Meier, I. Normann, and M. Pollet: Proof Developtment in OMEGA – The Irrationality of Square Root of 2. In Fairouz Kamareddine (ed.), Thirty Five Years of Automating Mathematics, Applied Logic Series. Volume 28, pp. 271-314. Kluwer Academic Publishers, 2003. PDF BibTex
J. Siekmann, G. Wrightson:  “Strong Completeness of A. Kowalski’s Connection Graph Proof Procedure” Springer Lecture Notes on AI, vol 2408, pp 231, 2002   PDF   BibTex

bis 2000

D. Hutter, B. Langenstein, G. Rock, J. Siekmann, W.& R. Vogt: Formal software development in the Verification Support Environment (VSE), Journal of Experimental & Theoretical Artificial Intelligence“, Volume 12, no. 4, pp 383-406, 2000   PDF   BibTex
E. Melis and J. Siekmann: Knowledge-based proof planning. Artificial Intelligence, vol. 115, no. 1, pp 65–105, 1999.   PDF   BibTex
J. Siekmann, S. Hess, C. Benzmüller, L. Cheikhrouhou, A. Fiedler, H. Horacek, M. Kohlhase, K. Konrad, A. Meier, E. Melis, M. Pollet, and V. Sorge: LOUI Lovely Omega User Interface. Formal Aspects of Computing, vol. 11, pp 326–342, 1999.   PDF   BibTex
Jörg H. Siekmann, Helmut Horacek, Michael Kohlhase, Christoph Benzmüller, Lassad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Stephan Hess, Karsten Konrad, Andreas Meier, Erica Melis, and Volker Sorge: An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant. In Daniel M. Dubois, editor, International Journal of Computing Anticipatory Systems (CASYS), volume 3, pages 101–110, Liege, Belgium, 1999. CHAOS.   PDF   BibTex
Michael Kohlhase, Erica Melis, and Jörg H. Siekmann: OMEGA: A mathematical assistant. In Maarten de Rijke, editor, Liber Amicorum J. von Bentham. Amsterdam, 1999.   PDF   BibTex
J. Siekmann, M. Kohlhase, E. Melis:  “OMEGA: Ein mathematisches Assistenzsystem” Kognitionswissenschaft, vol 7, No. 3, p 101-105, 1998 (Englisch in: JFAK, Essays dedicated to J. von Benthem, Amsterdam, Univ. Press, 1999)   PDF  
Jörg H. Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, and Volker Sorge: LOUI: A distributed graphical user interface for the interactive proof system Omega. In Roland C. Backhouse, editor, User Interfaces for Theorem Provers, number 98–08 in Computing Science Reports, pages 130–138, Department of Mathematics and Computing Science, Eindhoven Technical University, 1998.   PDF   BibTex
Manfred Kerber, Erica Melis, and Jörg H. Siekmann. Calculemus et exemplificamus: Reasoning with hybrid knowledge bases. In T. Dartnall, editor, Creativity, Cognition and Computation, Proceedings of AAAI. MIT Press, 1996.   PDF   BibTex
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg H. Siekmann: Die Beweisentwicklungsumgebung Ω-MKRP. Informatik Forschung und Entwicklung, 11(1), 1996.   PDF   BibTex
Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, and Andreas Wolpers: Verification support environment (VSE). Journal of High Integrity Systems, 1(6):523–530, 1996.   PDF   BibTex
K. Fischer, N. Kuhn, H. J. Müller, J. P. Müller, M. Pischel, A. Schupeta, und J. Siekmann. Güter, Trucks und Speditionen: eine ausgezeichnete Domäne für Multiagentenforschung. Magazin Forschung, 1:10-16, 1994   PDF   BibTex
Franz Baader and Jörg H. Siekmann: Unification theory. In Dov M. Gabbay, C. J. Hogger, and J. Alan Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2. Oxford Univ. Press, 1994.   PDF   BibTex
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, and Jörg H. Siekmann: A predicate logic with closely coupled taxonomic information. In K. Meinke and J. K. Tucker, editors, Many sorted Logics and its Applications. John Wiley & Sons, 1993.   PDF   BibTex
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, and Jörg H. Siekmann: An order sorted logic for knowledge representation systems. Journal of Artificial Intelligence, vol 55: 149–191, 1992.   PDF   BibTex
Jörg H. Siekmann: Künstliche Intelligenz und Logik. Sonderheft Zeitschrift KI, 3, 1992.   PDF   BibTex
Michael McRobbie and Jörg H. Siekmann: Artificial intelligence: Perspectives and predictions. Applied Artificial Intelligence, vol 5: 187–207, 1991.   PDF   BibTex
Hans Jürgen Ohlbach and Jörg H. Siekmann: The Markgraf Karl refutation procedure. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic: essays in honor of Alan Robinson. MIT-Press, Cambridge, 1991.   PDF   BibTex

bis 1990

F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, and J.Siekmann:  “Concept Logics” In J.W. Lloyd (Ed.), Computational Logic, Symposium Proceedings, Brussels, November 1990, Springer-Verlag, 177-201.   PDF   BibTex
Jörg H. Siekmann: An introduction to unification theory. In R. B. Banerji, editor, Formal Techniques of Artificial Intelligence. North Holland, 1990.   PDF   BibTex
Jörg H. Siekmann: Social impacts of Artificial Intelligence. ICOT-Journal, (1), 1990.   PDF   BibTex
 Jörg H. Siekmann: Unification theory: A survey. In Claude Kirchner, editor, Unification, pages 207–274. Academic Press, 1990.   PDF   BibTex
Jörg H. Siekmann: An introduction to unification theory. In R. B. Banerji, editor, A Sourcebook on Formal Techniques in Artificial Intelligence. Elsevier, 1989.   PDF   BibTex
Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark Stickel, M. Tepp, and Hantao Zhang: Opening the ACunification race. Journal of Automated Reasoning, 4:465–475, 1989.   PDF   BibTex
Jörg H. Siekmann: Unification theory: A survey. Journal of Symbolic Computation, 7(3):207–274, 1989.   PDF   BibTex
Jörg H. Siekmann and Peter Szabó: The undecidability of the DA-unification problem. Journal of Symbolic Logic, 54(2):402–414, 1989.   PDF   BibTex
Michael McRobbie and Jörg H. Siekmann: Artificial intelligence: Perspectives and predictions. European Journal on AI (AI Communications), 1(4), 1988.   PDF   BibTex
Alexander Herold and Jörg H. Siekmann: Unification in Abelian Semigroups. Journal of Automated Reasoning, 3(3):247–283, 1987.   PDF   BibTex
Karl-Hans Bläsius and Jörg H. Siekmann: Computergestützte Frühwarn- und Entscheidungssysteme. Informatik Spektrum, 10(1):24–39, 1986.   PDF   BibTex
Ronald Book and Jörg H. Siekmann: On unification: Equational theories are not bounded. Journal of Symbolic Computation, 2:317–324, 1986.   PDF   BibTex
Jörg H. Siekmann and Peter Szabó: Uniwersalnaja unifikazija i klassifikazija ekwazionalnich teorij. Perewod na russkij jasyk, 1985.   PDF   BibTex
Karl-Hans Bläsius and Jörg H. Siekmann: Computergestützte Frühwarn- und Entscheidungssysteme. In Wissenschaft und Rüstung, pages 163–199. Steinweg, 1985.   PDF   BibTex
Jörg H. Siekmann and Peter Szabó: A Noetherian and confluent rewrite system for idempotent semigroups. Semigroup Forum, 25:83–110, 1982.   PDF   BibTex
Jörg H. Siekmann and Graham Wrightson: Paramodulated connection graphs. Acta Informatica, 13:67–86, 1980.   PDF   BibTex

 

<< zurück