default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jörg H. Siekmann
@article{DBLP:journals/ki/BlasiusS21,
author = {Karl{-}Hans Bl{\"{a}}sius and
J{\"{o}}rg H. Siekmann},
title = {Unintended Nuclear War},
journal = {K{\"{u}}nstliche Intell.},
volume = {35},
number = {1},
pages = {119--121},
year = {2021},
url = {https://doi.org/10.1007/s13218-021-00710-0},
doi = {10.1007/S13218-021-00710-0},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/BlasiusS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Siekmann21,
author = {J{\"{o}}rg H. Siekmann},
title = {Artificial Intelligence: Mind, Computer and the Dance of the Wu Li
Masters},
journal = {K{\"{u}}nstliche Intell.},
volume = {35},
number = {3},
pages = {445--447},
year = {2021},
url = {https://doi.org/10.1007/s13218-021-00743-5},
doi = {10.1007/S13218-021-00743-5},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/Siekmann21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SzaboS21,
author = {Peter Szab{\'{o}} and
J{\"{o}}rg H. Siekmann},
title = {E-Unification based on Generalized Embedding},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {8},
pages = {898--917},
year = {2021},
url = {https://doi.org/10.1017/S0960129522000019},
doi = {10.1017/S0960129522000019},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SzaboS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/GabbayS18,
author = {Dov M. Gabbay and
J{\"{o}}rg H. Siekmann},
title = {Editorial},
journal = {{FLAP}},
volume = {5},
number = {1},
pages = {1--4},
year = {2018},
url = {http://collegepublications.co.uk/ifcolog/?00021},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/GabbayS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/GabbayS17,
author = {Dov M. Gabbay and
J{\"{o}}rg H. Siekmann},
title = {Algorithms in Philosophy, Informatics and Logic. {A} Position Manifesto
2017},
journal = {{FLAP}},
volume = {4},
number = {5},
year = {2017},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00014.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/GabbayS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/HocheSS16,
author = {Michael Hoche and
J{\"{o}}rg H. Siekmann and
Peter Szab{\'{o}}},
title = {String Unification is Essentially Infinitary},
journal = {{FLAP}},
volume = {3},
number = {5},
pages = {755--788},
year = {2016},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00009.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/HocheSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/16/SzaboSH16,
author = {Peter Szab{\'{o}} and
J{\"{o}}rg H. Siekmann and
Michael Hoche},
editor = {Eugenio G. Omodeo and
Alberto Policriti},
title = {What Is Essential Unification?},
booktitle = {Martin Davis on Computability, Computational Logic, and Mathematical
Foundations},
series = {Outstanding Contributions to Logic},
volume = {10},
pages = {285--314},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41842-1\_11},
doi = {10.1007/978-3-319-41842-1\_11},
timestamp = {Fri, 28 Dec 2018 18:08:32 +0100},
biburl = {https://dblp.org/rec/books/sp/16/SzaboSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/9,
editor = {J{\"{o}}rg H. Siekmann},
title = {Computational Logic},
series = {Handbook of the History of Logic},
volume = {9},
publisher = {Elsevier},
year = {2014},
isbn = {978-0-444-51624-4},
timestamp = {Mon, 03 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/hhl/9.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Siekmann14,
author = {J{\"{o}}rg H. Siekmann},
editor = {J{\"{o}}rg H. Siekmann},
title = {Computational Logic},
booktitle = {Computational Logic},
series = {Handbook of the History of Logic},
volume = {9},
pages = {15--30},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/B978-0-444-51624-4.50001-0},
doi = {10.1016/B978-0-444-51624-4.50001-0},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/hhl/Siekmann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/SiekmannG14,
author = {J{\"{o}}rg H. Siekmann and
Dov M. Gabbay},
editor = {J{\"{o}}rg H. Siekmann},
title = {Editorial Note},
booktitle = {Computational Logic},
series = {Handbook of the History of Logic},
volume = {9},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/B978-0-444-51624-4.50019-8},
doi = {10.1016/B978-0-444-51624-4.50019-8},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/hhl/SiekmannG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cogtech/SiekmannC11,
author = {J{\"{o}}rg H. Siekmann and
Matthew W. Crocker},
editor = {Matthew W. Crocker and
J{\"{o}}rg H. Siekmann},
title = {Resource-Adaptive Cognitive Processes},
booktitle = {Resource-Adaptive Cognitive Processes},
series = {Cognitive Technologies},
pages = {1--10},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-540-89408-7\_1},
doi = {10.1007/978-3-540-89408-7\_1},
timestamp = {Tue, 16 May 2017 14:24:26 +0200},
biburl = {https://dblp.org/rec/series/cogtech/SiekmannC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cogtech/BenzmullerSS11,
author = {Christoph Benzm{\"{u}}ller and
Marvin R. G. Schiller and
J{\"{o}}rg H. Siekmann},
editor = {Matthew W. Crocker and
J{\"{o}}rg H. Siekmann},
title = {Resource-Bounded Modelling and Analysis of Human-Level Interactive
Proofs},
booktitle = {Resource-Adaptive Cognitive Processes},
series = {Cognitive Technologies},
pages = {291--311},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-540-89408-7\_13},
doi = {10.1007/978-3-540-89408-7\_13},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/cogtech/BenzmullerSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cogtech/AutexierBDS11,
author = {Serge Autexier and
Christoph Benzm{\"{u}}ller and
Dominik Dietrich and
J{\"{o}}rg H. Siekmann},
editor = {Matthew W. Crocker and
J{\"{o}}rg H. Siekmann},
title = {{\(\Omega\)}MEGA: Resource-Adaptive Processes in an Automated Reasoning
System},
booktitle = {Resource-Adaptive Cognitive Processes},
series = {Cognitive Technologies},
pages = {389--423},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-540-89408-7\_17},
doi = {10.1007/978-3-540-89408-7\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/cogtech/AutexierBDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/cogtech/354089408,
editor = {Matthew W. Crocker and
J{\"{o}}rg H. Siekmann},
title = {Resource-Adaptive Cognitive Processes},
series = {Cognitive Technologies},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-540-89408-7},
doi = {10.1007/978-3-540-89408-7},
isbn = {978-3-540-89407-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/cogtech/354089408.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayS10,
author = {Dov M. Gabbay and
J{\"{o}}rg H. Siekmann},
title = {Algorithms in cognition, informatics and logic: {A} position manifesto},
journal = {Log. J. {IGPL}},
volume = {18},
number = {6},
pages = {763--768},
year = {2010},
url = {https://doi.org/10.1093/jigpal/jzq004},
doi = {10.1093/JIGPAL/JZQ004},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Siekmann09,
author = {J{\"{o}}rg H. Siekmann},
title = {Die Entwicklung der Disziplin in Deutschland},
journal = {K{\"{u}}nstliche Intell.},
volume = {23},
number = {1},
pages = {47--52},
year = {2009},
url = {http://www.kuenstliche-intelligenz.de/fileadmin/template/main/archiv/pdf/ki2009-01\_page47-52\_web\_full.pdf},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/Siekmann09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/WirthSBA09,
author = {Claus{-}Peter Wirth and
J{\"{o}}rg H. Siekmann and
Christoph Benzm{\"{u}}ller and
Serge Autexier},
editor = {Dov M. Gabbay and
John Woods},
title = {Jacques Herbrand: Life, Logic, and Automated Deduction},
booktitle = {Logic from Russell to Church},
series = {Handbook of the History of Logic},
volume = {5},
pages = {195--254},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/S1874-5857(09)70009-3},
doi = {10.1016/S1874-5857(09)70009-3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/hhl/WirthSBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-4682,
author = {Claus{-}Peter Wirth and
J{\"{o}}rg H. Siekmann and
Christoph Benzm{\"{u}}ller and
Serge Autexier},
title = {Lectures on Jacques Herbrand as a Logician},
journal = {CoRR},
volume = {abs/0902.4682},
year = {2009},
url = {http://arxiv.org/abs/0902.4682},
eprinttype = {arXiv},
eprint = {0902.4682},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-4682.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MelisMS08,
author = {Erica Melis and
Andreas Meier and
J{\"{o}}rg H. Siekmann},
title = {Proof planning with multiple strategies},
journal = {Artif. Intell.},
volume = {172},
number = {6-7},
pages = {656--684},
year = {2008},
url = {https://doi.org/10.1016/j.artint.2007.11.004},
doi = {10.1016/J.ARTINT.2007.11.004},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MelisMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/SiekmannHS08,
author = {J{\"{o}}rg H. Siekmann and
Michael Hoche and
Peter Szab{\'{o}}},
editor = {Mircea Marin},
title = {String Unification is Essentially Infinitary},
booktitle = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
2008, Castle of Hagenberg, Austria, July 18, 2008},
pages = {82--102},
year = {2008},
url = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=90},
timestamp = {Tue, 19 Sep 2023 14:44:31 +0200},
biburl = {https://dblp.org/rec/conf/unif/SiekmannHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sicherheit/2008,
editor = {Ammar Alkassar and
J{\"{o}}rg H. Siekmann},
title = {Sicherheit 2008: Sicherheit, Schutz und Zuverl{\"{a}}ssigkeit.
Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der
Gesellschaft f{\"{u}}r Informatik e.V. (GI), 2.-4. April 2008
im Saarbr{\"{u}}cker Schloss},
series = {{LNI}},
volume = {{P-128}},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/21469},
isbn = {978-3-88579-222-2},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sicherheit/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cogsys/2005,
editor = {Ruqian Lu and
J{\"{o}}rg H. Siekmann and
Carsten Ullrich},
title = {Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China,
March 7-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4429},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70934-3},
doi = {10.1007/978-3-540-70934-3},
isbn = {3-540-70933-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsys/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ksem/2007,
editor = {Zili Zhang and
J{\"{o}}rg H. Siekmann},
title = {Knowledge Science, Engineering and Management, Second International
Conference, {KSEM} 2007, Melbourne, Australia, November 28-30, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4798},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76719-0},
doi = {10.1007/978-3-540-76719-0},
isbn = {978-3-540-76718-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ksem/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SiekmannBA06,
author = {J{\"{o}}rg H. Siekmann and
Christoph Benzm{\"{u}}ller and
Serge Autexier},
title = {Computer supported mathematics with Omegamega},
journal = {J. Appl. Log.},
volume = {4},
number = {4},
pages = {533--559},
year = {2006},
url = {https://doi.org/10.1016/j.jal.2005.10.008},
doi = {10.1016/J.JAL.2005.10.008},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/SiekmannBA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MelisPS06,
author = {Erica Melis and
Martin Pollet and
J{\"{o}}rg H. Siekmann},
editor = {Oliviero Stock and
Marco Schaerf},
title = {Reductio ad Absurdum: Planning Proofs by Contradiction},
booktitle = {Reasoning, Action and Interaction in {AI} Theories and Systems, Essays
Dedicated to Luigia Carlucci Aiello},
series = {Lecture Notes in Computer Science},
volume = {4155},
pages = {45--58},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11829263\_3},
doi = {10.1007/11829263\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MelisPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Siekmann06,
author = {J{\"{o}}rg H. Siekmann},
editor = {Christian Freksa and
Michael Kohlhase and
Kerstin Schill},
title = {History of {AI} in Germany and The Third Industrial Revolution},
booktitle = {{KI} 2006: Advances in Artificial Intelligence, 29th Annual German
Conference on AI, {KI} 2006, Bremen, Germany, June 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4314},
pages = {445},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69912-5\_35},
doi = {10.1007/978-3-540-69912-5\_35},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Siekmann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/tphol/BenzmullerFMPS06,
author = {Christoph Benzm{\"{u}}ller and
Armin Fiedler and
Andreas Meier and
Martin Pollet and
J{\"{o}}rg H. Siekmann},
editor = {Freek Wiedijk},
title = {Omega},
booktitle = {The Seventeen Provers of the World, Foreword by Dana S. Scott},
series = {Lecture Notes in Computer Science},
volume = {3600},
pages = {127--141},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11542384\_17},
doi = {10.1007/11542384\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BenzmullerFMPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MelisS05,
author = {Erica Melis and
J{\"{o}}rg H. Siekmann},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {e-Learning Logic and Mathematics: What We Have and What We Need},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {639--662},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MelisS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsys/BenzmullerHKPSW05,
author = {Christoph Benzm{\"{u}}ller and
Helmut Horacek and
Ivana Kruijff{-}Korbayov{\'{a}} and
Manfred Pinkal and
J{\"{o}}rg H. Siekmann and
Magdalena Wolska},
editor = {Ruqian Lu and
J{\"{o}}rg H. Siekmann and
Carsten Ullrich},
title = {Natural Language Dialog with a Tutor System for Mathematical Proofs},
booktitle = {Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China,
March 7-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4429},
pages = {1--14},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-70934-3\_1},
doi = {10.1007/978-3-540-70934-3\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cogsys/BenzmullerHKPSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsys/MelisSSUYH05,
author = {Erica Melis and
Ruimin Shen and
J{\"{o}}rg H. Siekmann and
Carsten Ullrich and
Fan Yang and
Peng Han},
editor = {Ruqian Lu and
J{\"{o}}rg H. Siekmann and
Carsten Ullrich},
title = {Challenges in Search and Usage of Multi-media Learning Objects},
booktitle = {Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China,
March 7-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4429},
pages = {36--44},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-70934-3\_4},
doi = {10.1007/978-3-540-70934-3\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsys/MelisSSUYH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Siekmann05,
author = {J{\"{o}}rg H. Siekmann},
editor = {Franz Baader and
Peter Baumgartner and
Robert Nieuwenhuis and
Andrei Voronkov},
title = {Proof Presentation},
booktitle = {Deduction and Applications, 23.-28. October 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05431},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/561},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Siekmann05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/RiedmillerFGWS04,
author = {Martin A. Riedmiller and
Fran{\c{c}}ois Fages and
Malik Ghallab and
Wolfgang Wahlster and
J{\"{o}}rg H. Siekmann},
title = {Invited talks},
journal = {K{\"{u}}nstliche Intell.},
volume = {18},
number = {3},
pages = {44},
year = {2004},
url = {http://www.kuenstliche-intelligenz.de/archiv/2004\_3/KI-Tagung-2004-web.pdf},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/RiedmillerFGWS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaisc/MelisS04,
author = {Erica Melis and
J{\"{o}}rg H. Siekmann},
editor = {Leszek Rutkowski and
J{\"{o}}rg H. Siekmann and
Ryszard Tadeusiewicz and
Lotfi A. Zadeh},
title = {ActiveMath: An Intelligent Tutoring System for Mathematics},
booktitle = {Artificial Intelligence and Soft Computing - {ICAISC} 2004, 7th International
Conference, Zakopane, Poland, June 7-11, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3070},
pages = {91--101},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24844-6\_12},
doi = {10.1007/978-3-540-24844-6\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/icaisc/MelisS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SiekmannB04,
author = {J{\"{o}}rg H. Siekmann and
Christoph Benzm{\"{u}}ller},
editor = {Susanne Biundo and
Thom W. Fr{\"{u}}hwirth and
G{\"{u}}nther Palm},
title = {Omega: Computer Supported Mathematics},
booktitle = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German
Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3238},
pages = {3--28},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30221-6\_2},
doi = {10.1007/978-3-540-30221-6\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/SiekmannB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaisc/2004,
editor = {Leszek Rutkowski and
J{\"{o}}rg H. Siekmann and
Ryszard Tadeusiewicz and
Lotfi A. Zadeh},
title = {Artificial Intelligence and Soft Computing - {ICAISC} 2004, 7th International
Conference, Zakopane, Poland, June 7-11, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3070},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98109},
doi = {10.1007/B98109},
isbn = {3-540-22123-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaisc/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/holomas/FischerSS03,
author = {Klaus Fischer and
Michael Schillo and
J{\"{o}}rg H. Siekmann},
editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and
Duncan C. McFarlane and
Paul Valckenaers},
title = {Holonic Multiagent Systems: {A} Foundation for the Organisation of
Multiagent Systems},
booktitle = {Holonic and Multi-Agent Systems for Manufacturing, First International
Conference on Industrial Applications of Holonic and Multi-Agent Systems,
HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2744},
pages = {71--80},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45185-3\_7},
doi = {10.1007/978-3-540-45185-3\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/holomas/FischerSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/holomas/SchilloFS03,
author = {Michael Schillo and
Klaus Fischer and
J{\"{o}}rg H. Siekmann},
editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and
Duncan C. McFarlane and
Paul Valckenaers},
title = {The Link between Autonomy and Organisation in Multiagent Systems},
booktitle = {Holonic and Multi-Agent Systems for Manufacturing, First International
Conference on Industrial Applications of Holonic and Multi-Agent Systems,
HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2744},
pages = {81--90},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45185-3\_8},
doi = {10.1007/978-3-540-45185-3\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/holomas/SchilloFS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SiekmannW02,
author = {J{\"{o}}rg H. Siekmann and
Graham Wrightson},
title = {An Open Research Problem: Strong Completeness of R. Kowalski's Connection
Graph Proof Procedure},
journal = {Log. J. {IGPL}},
volume = {10},
number = {1},
pages = {85--103},
year = {2002},
url = {https://doi.org/10.1093/jigpal/10.1.85},
doi = {10.1093/JIGPAL/10.1.85},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SiekmannW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Siekmann02,
author = {J{\"{o}}rg H. Siekmann},
title = {{KI} - Die Entwicklung der Disziplin in Deutschland},
journal = {K{\"{u}}nstliche Intell.},
volume = {16},
number = {1},
pages = {52--53},
year = {2002},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Siekmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruynooghePSE02,
author = {Maurice Bruynooghe and
Lu{\'{\i}}s Moniz Pereira and
J{\"{o}}rg H. Siekmann and
Maarten H. van Emden},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {A Portrait of a Scientist as a Computational Logician},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2407},
pages = {1--4},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45628-7\_1},
doi = {10.1007/3-540-45628-7\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BruynooghePSE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SiekmannW02,
author = {J{\"{o}}rg H. Siekmann and
Graham Wrightson},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {An Open Research Problem: Strong Completeness of R. Kowalski's Connection
Graph Proof Procedure},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {2408},
pages = {231--252},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45632-5\_10},
doi = {10.1007/3-540-45632-5\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SiekmannW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SiekmannBBCFFHKMMMNPSUWZ02,
author = {J{\"{o}}rg H. Siekmann and
Christoph Benzm{\"{u}}ller and
Vladimir Brezhnev and
Lassaad Cheikhrouhou and
Armin Fiedler and
Andreas Franke and
Helmut Horacek and
Michael Kohlhase and
Andreas Meier and
Erica Melis and
Markus Moschner and
Immanuel Normann and
Martin Pollet and
Volker Sorge and
Carsten Ullrich and
Claus{-}Peter Wirth and
J{\"{u}}rgen Zimmer},
editor = {Andrei Voronkov},
title = {Proof Development with {OMEGA}},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {144--149},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_12},
doi = {10.1007/3-540-45620-1\_12},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SiekmannBFMP02,
author = {J{\"{o}}rg H. Siekmann and
Christoph Benzm{\"{u}}ller and
Armin Fiedler and
Andreas Meier and
Martin Pollet},
editor = {Matthias Baaz and
Andrei Voronkov},
title = {Proof Development with Omega-MEGA: sqrt(2) Is Irrational},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2514},
pages = {367--387},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36078-6\_25},
doi = {10.1007/3-540-36078-6\_25},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SiekmannBFMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SiekmannW01,
author = {J{\"{o}}rg H. Siekmann and
Graham Wrightson},
title = {Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness
result for connection graph resolution},
journal = {J. {ACM}},
volume = {48},
number = {1},
pages = {145--147},
year = {2001},
url = {https://doi.org/10.1145/363647.363697},
doi = {10.1145/363647.363697},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/SiekmannW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/HutterLRSSV00,
author = {Dieter Hutter and
Bruno Langenstein and
Georg Rock and
J{\"{o}}rg H. Siekmann and
Werner Stephan and
Roland Vogt},
title = {Formal software development in the Verification Support Environment
{(VSE)}},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {12},
number = {4},
pages = {383--406},
year = {2000},
url = {https://doi.org/10.1080/095281300454784},
doi = {10.1080/095281300454784},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/HutterLRSSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MelisS00,
author = {Erica Melis and
J{\"{o}}rg H. Siekmann},
editor = {Steffen H{\"{o}}lldobler},
title = {Concepts in Proof Planning},
booktitle = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
of his 60th birthday)},
series = {Applied Logic Series},
volume = {19},
pages = {263--276},
publisher = {Kluwer},
year = {2000},
timestamp = {Thu, 03 Jan 2002 11:54:05 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MelisS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/HutterRSSV00,
author = {Dieter Hutter and
Georg Rock and
J{\"{o}}rg H. Siekmann and
Werner Stephan and
Roland Vogt},
editor = {James N. Etheredge and
Bill Z. Manaris},
title = {Formal Software Development in the Verification Support Environment
{(VSE)}},
booktitle = {Proceedings of the Thirteenth International Florida Artificial Intelligence
Research Society Conference, May 22-24, 2000, Orlando, Florida, {USA}},
pages = {367--376},
publisher = {{AAAI} Press},
year = {2000},
url = {http://www.aaai.org/Library/FLAIRS/2000/flairs00-069.php},
timestamp = {Wed, 26 Oct 2022 08:35:35 +0200},
biburl = {https://dblp.org/rec/conf/flairs/HutterRSSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MelisS99,
author = {Erica Melis and
J{\"{o}}rg H. Siekmann},
title = {Knowledge-Based Proof Planning},
journal = {Artif. Intell.},
volume = {115},
number = {1},
pages = {65--105},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(99)00076-4},
doi = {10.1016/S0004-3702(99)00076-4},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MelisS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SiekmannHBCFHKKMMPS99,
author = {J{\"{o}}rg H. Siekmann and
Stephan M. Hess and
Christoph Benzm{\"{u}}ller and
Lassaad Cheikhrouhou and
Armin Fiedler and
Helmut Horacek and
Michael Kohlhase and
Karsten Konrad and
Andreas Meier and
Erica Melis and
Martin Pollet and
Volker Sorge},
title = {\emph{L}{\textless}Omega{\textgreater}\emph{UI}: \emph{L}ovely {\textless}Omega{\textgreater}MEGA
\emph{U}ser \emph{I}nterface},
journal = {Formal Aspects Comput.},
volume = {11},
number = {3},
pages = {326--342},
year = {1999},
url = {https://doi.org/10.1007/s001650050053},
doi = {10.1007/S001650050053},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SiekmannHBCFHKKMMPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/GanzingerSS98,
author = {Harald Ganzinger and
J{\"{o}}rg H. Siekmann and
Peter H. Schmitt},
title = {Wohin geht die automatische Deduktion?},
journal = {K{\"{u}}nstliche Intell.},
volume = {12},
number = {4},
pages = {33--37},
year = {1998},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/GanzingerSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kognitionswissenschaft/SiekmannKM98,
author = {J{\"{o}}rg H. Siekmann and
Michael Kohlhase and
Erica Melis},
title = {{\textless}Omega{\textgreater}MEGA: Ein mathematisches Assistenzsystem},
journal = {Kognitionswissenschaft},
volume = {7},
number = {3},
pages = {101--105},
year = {1998},
url = {https://doi.org/10.1007/s001970050060},
doi = {10.1007/S001970050060},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kognitionswissenschaft/SiekmannKM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/CheikhrouhouS98,
author = {Lassaad Cheikhrouhou and
J{\"{o}}rg H. Siekmann},
editor = {Fausto Giunchiglia},
title = {Planning Diagonalization Proofs},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
21-13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1480},
pages = {167--180},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057443},
doi = {10.1007/BFB0057443},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/CheikhrouhouS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerCFFHKKKMMSSS97,
author = {Christoph Benzm{\"{u}}ller and
Lassaad Cheikhrouhou and
Detlef Fehrer and
Armin Fiedler and
Xiaorong Huang and
Manfred Kerber and
Michael Kohlhase and
Karsten Konrad and
Andreas Meier and
Erica Melis and
Wolf Schaarschmidt and
J{\"{o}}rg H. Siekmann and
Volker Sorge},
editor = {William McCune},
title = {Omega: Towards a Mathematical Assistant},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {252--255},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_23},
doi = {10.1007/3-540-63104-6\_23},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerCFFHKKKMMSSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/HuangKKMNRS96,
author = {Xiaorong Huang and
Manfred Kerber and
Michael Kohlhase and
Erica Melis and
Dan Nesmith and
J{\"{o}}rn Richts and
J{\"{o}}rg H. Siekmann},
title = {Die Beweisentwicklungsumgebung Omega-MKRP},
journal = {Inform. Forsch. Entwickl.},
volume = {11},
number = {1},
pages = {20--26},
year = {1996},
url = {https://doi.org/10.1007/s004500050036},
doi = {10.1007/S004500050036},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/HuangKKMNRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HutterLSSSW96,
author = {Dieter Hutter and
Bruno Langenstein and
Claus Sengler and
J{\"{o}}rg H. Siekmann and
Werner Stephan and
Andreas Wolpers},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Deduction in the Verification Support Environment {(VSE)}},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {268--286},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_92},
doi = {10.1007/3-540-60973-3\_92},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/HutterLSSSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BibelS94,
author = {Wolfgang Bibel and
J{\"{o}}rg H. Siekmann},
title = {Informatik und Intellektik als zuk{\"{u}}nftiges Zwiegespann},
journal = {K{\"{u}}nstliche Intell.},
volume = {8},
number = {1},
pages = {16--22},
year = {1994},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/BibelS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HuangKKMNRS94,
author = {Xiaorong Huang and
Manfred Kerber and
Michael Kohlhase and
Erica Melis and
Dan Nesmith and
J{\"{o}}rn Richts and
J{\"{o}}rg H. Siekmann},
editor = {Alan Bundy},
title = {Omega-MKRP: {A} Proof Development Environment},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {788--792},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_61},
doi = {10.1007/3-540-58156-1\_61},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/HuangKKMNRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HuangKKMNRS94a,
author = {Xiaorong Huang and
Manfred Kerber and
Michael Kohlhase and
Erica Melis and
Dan Nesmith and
J{\"{o}}rn Richts and
J{\"{o}}rg H. Siekmann},
editor = {Alan Bundy},
title = {{KEIM:} {A} Toolkit for Automated Deduction},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {807--810},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_65},
doi = {10.1007/3-540-58156-1\_65},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HuangKKMNRS94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/LAI2Hb1994/BaaderS94,
author = {Franz Baader and
J{\"{o}}rg H. Siekmann},
editor = {Dov M. Gabbay and
Christopher J. Hogger and
J. A. Robinson and
J{\"{o}}rg H. Siekmann},
title = {Unification theory},
booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming,
Volume2, Deduction Methodologies},
pages = {41--126},
publisher = {Oxford University Press},
year = {1994},
timestamp = {Tue, 06 May 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ox/LAI2Hb1994/BaaderS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ox/LAI2Hb94,
editor = {Dov M. Gabbay and
Christopher J. Hogger and
J. A. Robinson and
J{\"{o}}rg H. Siekmann},
title = {Handbook of Logic in Artificial Intelligence and Logic Programming,
Volume2, Deduction Methodologies},
publisher = {Oxford University Press},
year = {1994},
isbn = {0-19-853746-8},
timestamp = {Fri, 04 Mar 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/ox/LAI2Hb94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BeierleHPSS92,
author = {Christoph Beierle and
Ulrich Hedtst{\"{u}}ck and
Udo Pletat and
Peter H. Schmitt and
J{\"{o}}rg H. Siekmann},
title = {An Order-Sorted Logic for Knowledge Representation Systems},
journal = {Artif. Intell.},
volume = {55},
number = {2},
pages = {149--191},
year = {1992},
url = {https://doi.org/10.1016/0004-3702(92)90055-3},
doi = {10.1016/0004-3702(92)90055-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BeierleHPSS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kilv/Siekmann92,
author = {J{\"{o}}rg H. Siekmann},
editor = {Armin B. Cremers and
J{\"{u}}rgen Seetzen and
Ipke Wachsmuth},
title = {M{\"{u}}ssen die bisherigen Positionen der {KI} {\"{u}}berdacht
werden?},
booktitle = {K{\"{u}}nstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit,
Band 2: Tagungsbericht - VDI-Symposium "K{\"{u}}nstliche Intelligenz
- Leitvorstellungen und Verantwortung", Gustav-Stresemann-Institut,
Bonn-Bad Godesberg, 10.-11. September 1992},
series = {{VDI} Report},
volume = {21},
pages = {34--38},
publisher = {Verein Deutscher Ingenieure VDI, D{\"{u}}sseldorf},
year = {1992},
timestamp = {Tue, 28 Apr 2020 19:04:56 +0200},
biburl = {https://dblp.org/rec/conf/kilv/Siekmann92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/McRobbieS91,
author = {Michael A. McRobbie and
J{\"{o}}rg H. Siekmann},
title = {Artificial intelligence: Perspectives and Predictions},
journal = {Appl. Artif. Intell.},
volume = {5},
number = {2},
pages = {187--207},
year = {1991},
url = {https://doi.org/10.1080/08839519108927925},
doi = {10.1080/08839519108927925},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/McRobbieS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BarthCCNRRRSS91,
author = {Gerhard Barth and
Thomas Christaller and
Armin B. Cremers and
Bernd Neumann and
Franz Josef Radermacher and
Bernd Radig and
Michael M. Richter and
J{\"{o}}rg H. Siekmann and
Werner von Seelen},
title = {K{\"{u}}nstliche Intelligenz - Perspektiven einer wissenschaftlichen
Disziplin und Realisierungsm{\"{o}}glichkeiten},
journal = {Inform. Spektrum},
volume = {14},
number = {4},
pages = {201--206},
year = {1991},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BarthCCNRRRSS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OhlbachS91,
author = {Hans J{\"{u}}rgen Ohlbach and
J{\"{o}}rg H. Siekmann},
editor = {Jean{-}Louis Lassez and
Gordon D. Plotkin},
title = {The Markgraf Karl Refutation Procedure},
booktitle = {Computational Logic - Essays in Honor of Alan Robinson},
pages = {41--112},
publisher = {The {MIT} Press},
year = {1991},
timestamp = {Wed, 30 Mar 2016 17:34:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OhlbachS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wi/MullerS91,
author = {J{\"{u}}rgen M{\"{u}}ller and
J{\"{o}}rg H. Siekmann},
editor = {Wilfried Brauer and
Daniel Hern{\'{a}}ndez},
title = {Structured Social Agents},
booktitle = {Verteilte K{\"{u}}nstliche Intelligenz und kooperatives Arbeiten,
4. Internationaler GI-Kongress Wissensbasierte Systeme, M{\"{u}}nchen,
23.-24. Oktober 1991, Proceedings},
series = {Informatik-Fachberichte},
volume = {291},
pages = {42--52},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-76980-1\_5},
doi = {10.1007/978-3-642-76980-1\_5},
timestamp = {Tue, 15 Dec 2020 16:47:35 +0100},
biburl = {https://dblp.org/rec/conf/wi/MullerS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dss/Siekmann90,
author = {J{\"{o}}rg H. Siekmann},
title = {Unification theory},
journal = {Decis. Support Syst.},
volume = {6},
number = {4},
pages = {315--337},
year = {1990},
url = {https://doi.org/10.1016/0167-9236(90)90027-O},
doi = {10.1016/0167-9236(90)90027-O},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dss/Siekmann90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS113,
author = {Christoph Beierle and
Ulrich Hedtst{\"{u}}ck and
Udo Pletat and
Peter H. Schmitt and
J{\"{o}}rg H. Siekmann},
title = {An Order-Sorted Logic for Knowledge Representation Systems},
journal = {{IWBS} Report},
volume = {113},
year = {1990},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Siekmann89,
author = {J{\"{o}}rg H. Siekmann},
title = {Unification Theory},
journal = {J. Symb. Comput.},
volume = {7},
number = {3/4},
pages = {207--274},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80012-4},
doi = {10.1016/S0747-7171(89)80012-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Siekmann89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/SiekmannS89,
author = {J{\"{o}}rg H. Siekmann and
Peter Szab{\'{o}}},
title = {The Undecidability of the D\({}_{\mbox{A}}\)-Unification Problem},
journal = {J. Symb. Log.},
volume = {54},
number = {2},
pages = {402--414},
year = {1989},
url = {https://doi.org/10.2307/2274856},
doi = {10.2307/2274856},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/SiekmannS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lilog/BlasiusRS89,
author = {Karl{-}Hans Bl{\"{a}}sius and
Claus{-}Rainer Rollinger and
J{\"{o}}rg H. Siekmann},
editor = {Karl{-}Hans Bl{\"{a}}sius and
Ulrich Hedtst{\"{u}}ck and
Claus{-}Rainer Rollinger},
title = {Structure and Control of the {L-LILOG} Inference System},
booktitle = {Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld,
FRG, April 24-26, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {418},
pages = {165--182},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52337-6\_23},
doi = {10.1007/3-540-52337-6\_23},
timestamp = {Thu, 05 Sep 2019 16:16:22 +0200},
biburl = {https://dblp.org/rec/conf/lilog/BlasiusRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS86,
author = {Christoph Beierle and
Ulrich Hedtst{\"{u}}ck and
Udo Pletat and
J{\"{o}}rg H. Siekmann},
title = {An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information},
journal = {{IWBS} Report},
volume = {86},
year = {1989},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/McRobbieS88,
author = {Michael A. McRobbie and
J{\"{o}}rg H. Siekmann},
title = {Artificial Intelligence: Perspectives and Predictions},
journal = {{AI} Commun.},
volume = {1},
number = {4},
pages = {16--29},
year = {1988},
url = {https://doi.org/10.3233/AIC-1988-1403},
doi = {10.3233/AIC-1988-1403},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/McRobbieS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BurckertHKSSTZ88,
author = {Hans{-}J{\"{u}}rgen B{\"{u}}rckert and
Alexander Herold and
Deepak Kapur and
J{\"{o}}rg H. Siekmann and
Mark E. Stickel and
Michael Tepp and
Hantao Zhang},
title = {Opening the AC-Unification Race},
journal = {J. Autom. Reason.},
volume = {4},
number = {4},
pages = {465--474},
year = {1988},
url = {https://doi.org/10.1007/BF00297251},
doi = {10.1007/BF00297251},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/BurckertHKSSTZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BlasiusS88,
author = {Karl{-}Hans Bl{\"{a}}sius and
J{\"{o}}rg H. Siekmann},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Partial Unification for Graph Based Equational Reasoning},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {397--414},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012846},
doi = {10.1007/BFB0012846},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BlasiusS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SiekmannTSCB88,
author = {J{\"{o}}rg H. Siekmann and
Sten{-}{\AA}ke T{\"{a}}rnlund and
Aaron Sloman and
Andy Clark and
Margaret A. Boden},
editor = {Yves Kodratoff},
title = {What is Computation? (Panel Introduction)},
booktitle = {8th European Conference on Artificial Intelligence, {ECAI} 1988, Munich,
Germany, August 1-5, 1988, Proceedings},
pages = {724},
publisher = {Pitmann Publishing, London},
year = {1988},
timestamp = {Tue, 30 Jul 2019 13:42:25 +0200},
biburl = {https://dblp.org/rec/conf/ecai/SiekmannTSCB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Siekmann88,
author = {J{\"{o}}rg H. Siekmann},
title = {Artificial Intelligence: Perspectives and Predictions},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {145--146},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Siekmann88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BlasiusS87,
author = {Karl{-}Hans Bl{\"{a}}sius and
J{\"{o}}rg H. Siekmann},
title = {Computergest{\"{u}}tzte Fr{\"{u}}hwarn- und Entwscheidungssysteme},
journal = {Inform. Spektrum},
volume = {10},
number = {1},
pages = {24--39},
year = {1987},
url = {https://doi.org/10.1007/BF00417888},
doi = {10.1007/BF00417888},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BlasiusS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HeroldS87,
author = {Alexander Herold and
J{\"{o}}rg H. Siekmann},
title = {Unification in Abelian Semigroups},
journal = {J. Autom. Reason.},
volume = {3},
number = {3},
pages = {247--283},
year = {1987},
url = {https://doi.org/10.1007/BF00243791},
doi = {10.1007/BF00243791},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HeroldS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BookS86,
author = {Ronald V. Book and
J{\"{o}}rg H. Siekmann},
title = {On Unification: Equational Theories Are Not Bounded},
journal = {J. Symb. Comput.},
volume = {2},
number = {4},
pages = {317--324},
year = {1986},
url = {https://doi.org/10.1016/S0747-7171(86)80001-3},
doi = {10.1016/S0747-7171(86)80001-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BookS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Siekmann86,
author = {J{\"{o}}rg H. Siekmann},
editor = {Benedict du Boulay and
David C. Hogg and
Luc Steels},
title = {Unification Theory},
booktitle = {Advances in Artificial Intelligence II, Seventh European Conference
on Artificial Intelligence, {ECAI} 1986, Brighton, UK, July 20-25,
1986, Proceedings},
pages = {365--400},
publisher = {North-Holland},
year = {1986},
timestamp = {Tue, 30 Jul 2019 08:58:44 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Siekmann86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1986,
editor = {J{\"{o}}rg H. Siekmann},
title = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3},
doi = {10.1007/3-540-16780-3},
isbn = {3-540-16780-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/1986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BookS85,
author = {Ronald V. Book and
J{\"{o}}rg H. Siekmann},
editor = {Herbert Stoyan},
title = {On the Unification Hierarchy},
booktitle = {GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 23-27, 1985, Proceedings},
series = {Informatik-Fachberichte},
volume = {118},
pages = {111--117},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-71145-9\_8},
doi = {10.1007/978-3-642-71145-9\_8},
timestamp = {Wed, 11 Jul 2018 09:54:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/BookS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Siekmann84,
author = {J{\"{o}}rg H. Siekmann},
editor = {Robert E. Shostak},
title = {Universal Unification},
booktitle = {7th International Conference on Automated Deduction, Napa, California,
USA, May 14-16, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {170},
pages = {1--42},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-0-387-34768-4\_1},
doi = {10.1007/978-0-387-34768-4\_1},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Siekmann84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/Siekmann83,
author = {J{\"{o}}rg H. Siekmann},
title = {Open mathematical problems computer competition},
journal = {Computing},
volume = {30},
number = {4},
pages = {379--380},
year = {1983},
url = {https://doi.org/10.1007/BF02242142},
doi = {10.1007/BF02242142},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/Siekmann83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SiekmannS82,
author = {J{\"{o}}rg H. Siekmann and
Peter Szab{\'{o}}},
editor = {Donald W. Loveland},
title = {Universal Unification and a Classification of Equational Theories},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {369--389},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000071},
doi = {10.1007/BFB0000071},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/SiekmannS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Siekmann82,
author = {J{\"{o}}rg H. Siekmann},
editor = {Wolfgang Bibel and
J{\"{o}}rg H. Siekmann},
title = {Einf{\"{u}}hrung in die K{\"{u}}nstliche Intelligenz},
booktitle = {K{\"{u}}nstliche Intelligenz, Fr{\"{u}}hjahrsschule, Teisendorf,
Deutschland, 15.-24. M{\"{a}}rz 1982},
series = {Informatik-Fachberichte},
volume = {59},
pages = {1--60},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68828-7\_1},
doi = {10.1007/978-3-642-68828-7\_1},
timestamp = {Sat, 23 Jun 2018 18:48:01 +0200},
biburl = {https://dblp.org/rec/conf/ki/Siekmann82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SiekmannS82,
author = {J{\"{o}}rg H. Siekmann and
Peter Szab{\'{o}}},
editor = {Wolfgang Wahlster},
title = {Universal Unification},
booktitle = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
Germany, September 27 - October 1, 1982, Proceedings},
series = {Informatik-Fachberichte},
volume = {58},
pages = {102--141},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68826-3\_9},
doi = {10.1007/978-3-642-68826-3\_9},
timestamp = {Tue, 19 Jun 2018 08:06:48 +0200},
biburl = {https://dblp.org/rec/conf/ki/SiekmannS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1982kifs,
editor = {Wolfgang Bibel and
J{\"{o}}rg H. Siekmann},
title = {K{\"{u}}nstliche Intelligenz, Fr{\"{u}}hjahrsschule, Teisendorf,
Deutschland, 15.-24. M{\"{a}}rz 1982},
series = {Informatik-Fachberichte},
volume = {59},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68828-7},
doi = {10.1007/978-3-642-68828-7},
isbn = {3-540-11974-4},
timestamp = {Sat, 23 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/1982kifs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BlasiusESSNW81,
author = {Karl{-}Hans Bl{\"{a}}sius and
Norbert Eisinger and
J{\"{o}}rg H. Siekmann and
Gert Smolka and
Alexander Herold and
Christoph Walther},
editor = {Patrick J. Hayes},
title = {The Markgraf Karl Refutation Procedure},
booktitle = {Proceedings of the 7th International Joint Conference on Artificial
Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
pages = {511--518},
publisher = {William Kaufmann},
year = {1981},
url = {http://ijcai.org/Proceedings/81-1/Papers/092.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:26 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BlasiusESSNW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SiekmannS81,
author = {J{\"{o}}rg H. Siekmann and
Peter Szab{\'{o}}},
editor = {Patrick J. Hayes},
title = {Universal Unification and Regular Equational {ACFM} Theories},
booktitle = {Proceedings of the 7th International Joint Conference on Artificial
Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
pages = {532--538},
publisher = {William Kaufmann},
year = {1981},
url = {http://ijcai.org/Proceedings/81-1/Papers/096.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SiekmannS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SiekmannS81,
author = {J{\"{o}}rg H. Siekmann and
Gert Smolka},
editor = {J{\"{o}}rg H. Siekmann},
title = {Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations
for the Connection Graph Proof Procedure},
booktitle = {GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany,
January 26-31, 1981, Proceedings},
series = {Informatik-Fachberichte},
volume = {47},
pages = {199--200},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-662-02328-0\_18},
doi = {10.1007/978-3-662-02328-0\_18},
timestamp = {Wed, 20 Jun 2018 08:22:50 +0200},
biburl = {https://dblp.org/rec/conf/ki/SiekmannS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SiekmannS81a,
author = {J{\"{o}}rg H. Siekmann and
Peter Szab{\'{o}}},
editor = {J{\"{o}}rg H. Siekmann},
title = {A Noetherian Rewrite System for Idempotent Semigroups},
booktitle = {GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany,
January 26-31, 1981, Proceedings},
series = {Informatik-Fachberichte},
volume = {47},
pages = {235--245},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-662-02328-0\_21},
doi = {10.1007/978-3-662-02328-0\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/SiekmannS81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1981,
editor = {J{\"{o}}rg H. Siekmann},
title = {GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany,
January 26-31, 1981, Proceedings},
series = {Informatik-Fachberichte},
volume = {47},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-662-02328-0},
doi = {10.1007/978-3-662-02328-0},
isbn = {3-540-10859-9},
timestamp = {Wed, 20 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/1981.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SieckmannW80,
author = {J{\"{o}}rg H. Siekmann and
Graham Wrightson},
title = {Paramodulated Connection Graphs},
journal = {Acta Informatica},
volume = {13},
pages = {67--86},
year = {1980},
url = {https://doi.org/10.1007/BF00288537},
doi = {10.1007/BF00288537},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SieckmannW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/EisingerSSUW80,
author = {Norbert Eisinger and
J{\"{o}}rg H. Siekmann and
Gert Smolka and
E. Unvericht and
Christoph Walther},
editor = {Reinhard Wilhelm},
title = {Das Karlsruher Beweissystem},
booktitle = {{GI} - 10. Jahrestagung, Saarbr{\"{u}}cken, 30. September - 2.
Oktober 1980, Proceedings},
series = {Informatik-Fachberichte},
volume = {33},
pages = {400--412},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/978-3-642-67838-7\_37},
doi = {10.1007/978-3-642-67838-7\_37},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/EisingerSSUW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/RaulefsSSU79,
author = {Peter Raulefs and
J{\"{o}}rg H. Siekmann and
Peter Szab{\'{o}} and
E. Unvericht},
title = {A short survey on the state of the art in matching and unification
problems},
journal = {{SIGSAM} Bull.},
volume = {13},
number = {2},
pages = {14--20},
year = {1979},
url = {https://doi.org/10.1145/1089208.1089210},
doi = {10.1145/1089208.1089210},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/RaulefsSSU79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosam/Siekmann79,
author = {J{\"{o}}rg H. Siekmann},
editor = {Edward W. Ng},
title = {Unification of commutative terms},
booktitle = {Symbolic and Algebraic Computation, {EUROSAM} '79, An International
Symposiumon Symbolic and Algebraic Computation, Marseille, France,
June 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {72},
pages = {22},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09519-5\_53},
doi = {10.1007/3-540-09519-5\_53},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/eurosam/Siekmann79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosam/Siekmann79a,
author = {J{\"{o}}rg H. Siekmann},
editor = {Edward W. Ng},
title = {Matching under commutativity},
booktitle = {Symbolic and Algebraic Computation, {EUROSAM} '79, An International
Symposiumon Symbolic and Algebraic Computation, Marseille, France,
June 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {72},
pages = {531--545},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09519-5\_101},
doi = {10.1007/3-540-09519-5\_101},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosam/Siekmann79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Siekmann78,
author = {J{\"{o}}rg H. Siekmann},
title = {Unification and Matching Problems},
school = {University of Essex, {UK}},
year = {1978},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.472635},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Siekmann78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EisingerSW78,
author = {Norbert Eisinger and
J{\"{o}}rg H. Siekmann and
Graham Wrightson},
editor = {Derek H. Sleeman},
title = {Paramodulated Connection Graphs},
booktitle = {Proceedings of {AISB/GI} Conference (Proceedings of the 4th European
Conference on Artificial Intelligence), Hamburg, Germany, 18-20 July
1978},
pages = {105--109},
publisher = {Leeds University},
year = {1978},
timestamp = {Fri, 26 Jul 2019 09:34:22 +0200},
biburl = {https://dblp.org/rec/conf/ecai/EisingerSW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/StephanS78,
author = {Werner Stephan and
J{\"{o}}rg H. Siekmann},
editor = {Derek H. Sleeman},
title = {Completeness and Soundness of the Connection Graph Proof},
booktitle = {Proceedings of {AISB/GI} Conference (Proceedings of the 4th European
Conference on Artificial Intelligence), Hamburg, Germany, 18-20 July
1978},
pages = {340--344},
publisher = {Leeds University},
year = {1978},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/StephanS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KuhnerMRS77,
author = {Stefan K{\"{u}}hner and
Chris Mathis and
Peter Raulefs and
J{\"{o}}rg H. Siekmann},
editor = {Raj Reddy},
title = {Unification of Idempotent Functions},
booktitle = {Proceedings of the 5th International Joint Conference on Artificial
Intelligence. Cambridge, MA, USA, August 22-25, 1977},
pages = {528},
publisher = {William Kaufmann},
year = {1977},
url = {http://ijcai.org/Proceedings/77-1/Papers/092.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KuhnerMRS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
