Steffen Hölldobler
Affiliations:- Dresden University of Technology, Germany
According to our database1,
Steffen Hölldobler
authored at least 107 papers
between 1985 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
5
10
1
1
1
1
2
1
1
3
1
1
1
1
1
1
1
2
3
1
1
1
1
2
1
2
2
12
2
6
6
3
1
1
2
1
3
1
1
1
1
4
2
1
3
1
1
6
3
4
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2023
2022
Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), 2022
2021
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021
Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021
2020
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020
2019
A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract).
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
2018
J. Artif. Intell. Res., 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018
2017
Proceedings of the YSIP2, 2017
Proceedings of the YSIP2, 2017
Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters.
Proceedings of the Declarative Programming and Knowledge Management, 2017
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2017
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2017
Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning?
Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017
Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017
2016
Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
2015
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the 2nd International Workshop on Semantic Technologies (IWOST2), 2015
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015
Proceedings of the Global Conference on Artificial Intelligence, 2015
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2015
2014
J. Appl. Non Class. Logics, 2014
Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, 2014
Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, 2014
Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014
2012
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012
Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012
Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012
2011
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Artificial Neural Networks, 2009
2008
Proceedings of the Fourth International Workshop on Neural-Symbolic Learning and Reasoning, 2008
2007
Proceedings of the Perspectives of Neural-Symbolic Integration, 2007
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach.
Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007
Proceedings of the IJCAI 2007, 2007
2006
J. Artif. Intell. Res., 2006
Proceedings of the Artificial Neural Networks, 2006
2004
J. Appl. Log., 2004
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
CoRR, 2004
Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004
2003
J. Adv. Comput. Intell. Intell. Informatics, 2003
2002
Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002
2001
User Adaptation in a Web Shop System.
Proceedings of the Fifth IASTED International Conference Internet and Multimedia Systems and Applications (IMSA 2001), 2001
2000
Challenge problems for the integration of logic and connectionist systems.
Proceedings of the 14. Workshop Logische Programmierung, 2000
Proceedings of the Logic for Programming and Automated Reasoning, 2000
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams.
Proceedings of the Computational Logic, 2000
Complex Plans in the Fluent Calculus.
Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000
1999
Appl. Intell., 1999
1998
Proceedings of the Hybrid Neural Systems, 1998
Proceedings of the Advanced Topics in Artificial Intelligence, 1998
1997
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks.
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997
1996
Proceedings of the 1996 ACM Symposium on Applied Computing, 1996
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996
Equational Logic and Theories of Action.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1995
Ann. Math. Artif. Intell., 1995
A Resource-Oriented Deductive Approach Towards Hierarchical Planning.
Proceedings of the 11. Workshop Logische Programmierung, 1995
1994
Ein massiv paralleles Modell für die Logikprogrammierung.
Proceedings of the Tenth Logic Programming Workshop, 1994
1993
Actions and Specificity.
Proceedings of the Logic Programming, 1993
Disjunction In Resource-Oriented Deductive Planning.
Proceedings of the Logic Programming, 1993
Disjunction in Plan Generation by Equational Logic Programming.
Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993
Spatial Reasoning and Connectionist Inference.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
On Logic Programming with Multisets.
Proceedings of the Workshop on Logic Programming with Sets, 1993
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
Wissensrepräsentation und Inferenz - eine grundlegende Einführung.
Artificial Intelligence, Vieweg, ISBN: 978-3-528-05374-1, 1993
1992
7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme".
Künstliche Intell., 1992
Proceedings of the Logic Programming and Automated Reasoning, 1992
Equational Logic Programming Actions, and Change.
Proceedings of the Logic Programming, 1992
1991
1990
Theor. Comput. Sci., 1990
On High-Level Inferencing and the Variable Binding Problem in Connectionist Networks.
Proceedings of the Konnektionismus in Artificial Intelligence und Kognitionsforschung. Proceedings 6. Österreichische Artificial Intelligence-Tagung (KONNAI), 1990
Proceedings of the Parallelization in Inference Systems, 1990
Proceedings of the Parallelization in Inference Systems, 1990
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
1989
Forschungsberichte, TU Munich, 1989
Lecture Notes in Computer Science 353, Springer, ISBN: 3-540-51533-X, 1989
1988
From Paramodulation to Narrowing.
Proceedings of the Logic Programming, 1988
Horn Equality Theories and Complete Sets of Transformations.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
1987
Acta Informatica, 1987
Equational Logic Programming.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987
1986
J. Symb. Comput., 1986
1985