Publications of Steffen Hölldobler

From International Center for Computational Logic
Toggle side column

Publications of Steffen Hölldobler


Journal Articles

Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard
Modeling the Suppression Task under Weak Completion and Well-Founded Semantics
Journal of Applied Non-Classsical Logics, 24(1--2):61-85, 2014
Details
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
Contextual Abductive Reasoning with Side-Effects
Journal of Theory and Practice of Logic Programming (TPLP), 14(4-5):633-648, 2014
Details
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
Connectionist Model Generation: A First-Order Approach
Neurocomputing, 71(13--15):2420-2432,  2008
Details
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
Journal of Information, 9(1):7-20, January 2006
Details Download
Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova
FLUCAP: A Heuristic Search Planner for First-Order MDPs
Journal of Artificial Intelligence Research, 27:419-439, 2006
Details Download
Pascal Hitzler, Steffen Hölldobler, Anthony K. Seda
Logic Programs and Connectionist Networks
Journal of Applied Logic, Special Issue on Neural-Symbolic Systems, 2(3):245-272, 2004
Details Download
Steffen Hölldobler, Hans-Peter Störr, Tran Dinh Khang
The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers
International Journal of Advanced Computational Intelligence and Intelligent Informatics, 7(3):294-305, 2003
Details
Steffen Hölldobler, Hans-Peter Störr, Yvonne Kalinke
Approximating the Semantics of Logic Programs by Recurrent Neural Networks
Applied Intelligence, 11:45-58, 1999
Details
Gerd Gros̈e, Steffen Hölldobler, Josef Schneeberger
Linear Deductive Planning
Journal of Logic and Computation, 6(2):233-262, 1996
Details
Sven-Erik Bornscheuer, Steffen Hölldobler
Deduktives Planen
Wissenschaftliche Zeitschrift der TU Dresden, 44(6):39-44, 1995
Details
Steffen Hölldobler, Michael Thielscher
Computing Change and Specificity with Equational Logic Programs
Annals of Mathematics and Artificial Intelligence, 14:99-133, 1995
Details

Proceedings Articles

Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters
In Dietmar Seipel and Michael Hanus and Salvador Abreu, eds., Declarative Programming and Knowledge Management, volume 10997 of LNAI, 149-165, 2018. Springer Nature Switzerland AG
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz, L.Yohanes Stefanus
The Weak Completion Semantics and Equality
In Gilles Barthe and Geoff Sutcliffe and Margus Veanes, eds., 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 326-342, 2018. EasyChair
Details
Ana Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A computational logic approach to human syllogistic reasoning
Proceedings of the 39th Annual Conference of the Cognitive Science Society, 883-888, 2017
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira
Contextual reasoning: Usually birds can abductively fly
In Marcello Balduccini, Tomi Janhunen, eds., 14th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 10377 of Lecture Notes in Computer Science, 64--77, 2017. Springer
Details
Emmanuell-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
On conditionals
In Gottlob, G., Sutcliffe, G., Voronkov, A., eds., Global Conference on Artificial Intelligence, volume 36 of EPiC Series in Computing, 79--92, 2015. EasyChair
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler
A New Computational Logic Approach to Reason with Conditionals
In F. Calimeri, G.I., Truszczynski, M., eds., 13th International Conference on Logic Programming and Non-monotonic Reasoning, volume 9345 of Lecture Notes in Artificial Intelligence, 2015. Springer
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
On Indicative Conditionals
In Hölldobler, S., Liang, Y, eds., Proceedings of the First International Workshop on Semantic Technologies, volume 1339 of CEUR Workshop Proceedings, 19-30, 2015. CEUR-WS.org
Details
Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Efficient SAT-Encoding of Linear CSP Constraints
Proc. International Symposium on Artificial Intelligence and Mathematics (ISAIM-2014), Special session on Boolean and pseudo-Boolean Functions, January 6â8, Fort Lauderdale, FL, USA, 2014, to appear, 2014
Details
Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
Representative Encodings to Translate Finite CSPs into SAT
CPAIOR, 251-267, 2014
Details
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers
In Steffen Hölldobler and Andrey Malikov and Christoph Wernhard, eds., Proceedings of the Young Scientists' International Workshop on Trends in Information Processing, 2014
Details
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers
In Daniel Le Berre, eds., POS-14, volume 27 of EPiC Series, 89-102, 2014. EasyChair
Details
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
A Computational Logic Approach to the Belief Bias Effect
In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, eds., 14th International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, July 20-24, 2014, 2014. AAAI Press
Details
Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Translating the At-Most-One Constraint to SAT
Doctoral Program, 19th International Conference on Principles and Practice of Constraint Programming 2013, Uppsala, Sweden, September 16-20, 2013
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task
Proceedings of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning, 2013
Details
Steffen Hölldobler, Van Hau Nguyen
On SAT-Encodings of the At-Most-One Constraint
In George Katsirelos and Claude-Guy Quimper, eds., Proc. The Twelfth International Workshop on Constraint Modelling and Reformulation, Uppsala, Sweden, September 16-20, 1-17, 2013
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Simple Model for the Wason Selection Task
In T. Barkowsky and M. Ragni and F. Stolzenburg, eds., Human Reasoning and Automated Deduction: KI 2012 workshop proceedings, 2012
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Suppression Task
In N. Miyake D. Peebles and R. P. Cooper, eds., Proceedings of the 34th Annual Conference of the Cognitive Science Society, 1500-1505, 2012. Cognitive Science Society
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler
Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics
In Egré, P. and Ripley, R., eds., Proceedings ESSLLI 2012 workshop on trivalent logics and their applications, 27-38, 2012
Details
Steffen Hölldobler, Tobias Philipp, Christoph Wernhard
An Abductive Model for Human Reasoning (Poster Paper)
Logical Formalizations of Commonsense Reasoning, Papers from the AAAI 2011 Spring Symposium, AAAI Spring Symposium Series Technical Reports, 135-138, 2011. AAAI Press
Details
Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger
Extracting Propositional Rules from Feed-forward Neural Networks – A New Decompositional Approach
In A. S. d'Avila Garcez and P. Hitzler and G. Tamburrini, eds., Proceedings of the IJCAI-07 Workshop on Neural-Symbolic Learning and Reasoning (NeSy'07), volume 230, 2007
Details Download
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
In Manuela M. Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 666-671, January 2007. AAAI Press
Details Download
Nuno C. Marques, Sebastian Bader, Vitor Rocio, Steffen Hölldobler
Neuro-Symbolic Word Tagging
In José Machado José Neves, Manuel Filipe Santos, eds., New Trends in Artificial Intelligence, 779-790, 2007. APPIA - Associação Portuguesa para a Inteligência Artificial Edition (ISBN-13 978-989-95618-0-9)
Details
Dzung Dinh-Khac, Steffen Hölldobler, Dinh-Khang Tran
The Fuzzy Linguistic Description Logic ALC_FL
Proceedings of the Eleventh International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-06), 2096-2103, July 2006
Details
Steffen Hölldobler, Olga Skvortsova
LIFT-UP: Lifted First-Order Planning Under Uncertainty
Proceedings of the 6th International Workshop on the Implementation of Logics, 80-99, 2006
Details
Sebastian Bader, Steffen Hölldobler, Alexandre Scalzitti
Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding —
In G. Palm S. Biundo, T. Frühwirth, eds., KI 2004: Advances in Artificial Intelligence. Proceedings of the 27th AnnualGerman Conference on Artificial Intelligence, Ulm, Germany, September 2004, volume 3238 of Lecture Notes in Artificial Intelligence, 281-294, 2004. Springer
Details Download
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
In L. Li and K. K. Yen, eds., Proceedings of the Third International Conference on Information, Tokyo, Japan, November/December 2004, 22-33, 2004. International Information Institute
Details Download
Steffen Hölldobler, Olga Skvortsova
A Logic-Based Approach to Dynamic Programming
Learning and Planning in Markov Processes–Advances and Challenges, Papers from the AAAI Workshop, 31-36, July 2004. AAAI Press, Menlo Park, California
Details Download
Axel Großmann, Steffen Hölldobler, Olga Skvortsova
Symbolic Dynamic Programming within the Fluent Calculus
In Naohiro Ishii, eds., Proceedings of the IASTED International Conference on Artificial and Computational Intelligence, 378-383,  2002. ACTA Press
Details
Marina Guetova, Steffen Hölldobler, Hans-Peter Störr
Incremental Fuzzy Decision Trees
In Matthias Jarke and Jana Koehler and Gerhard Lakemeyer, eds., Proceedings of the 25th German Conference on Artificial Intelligence (KI2002), volume 2479 of Lecture Notes in Artificial Intelligence, 67-81, 2002. Springer
Details Download
Steffen Hölldobler, Tran Dinh Khang, Hans-Peter Störr
A Fuzzy Description Logic with Hedges as Concept Modifiers
In Nguyen Hoang Phuong and Hung T. Nguyen and Nguyen Cat Ho and Pratit Santiprabhob, eds., Proceedings InTech/VJFuzzy'2002, 25-34, 2002. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam
Details Download
Sven-Erik Bornscheuer, Yvonne McIntyre, Steffen Hölldobler, Hans-Peter Störr
User Adaptation in a Web Shop System
In M. H. Hamza, eds., Proceedings of the IASTED International Conference Internet and Multimedia Systems and Applications, 208-213, 2001. ACTA Press
Details Download
Steffen Hölldobler
Descriptions in the Fluent Calculus
Proceedings of the International Conference on Artificial Intelligence, volume III, 1311-1317, 2000
Details
Steffen Hölldobler, Hans-Peter Störr
Reasoning about Complex Actions
In V. Lifschitz, eds., Seventh International Workshop on Nonmonotonic Reasoning - Papers on Action and Causality. Extended abstract in: ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications, 1-9, August 1998
Details
Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr
Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs
In J. Slaney G. Antoniou, eds., Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artifiial Intelligence (AI'98), volume 1502 of LNAI, 167-178, 1998. Springer
Details
Steffen Hölldobler, Enno Sandner
KI-Forschungsführer 1998
KI 98: Advanced in Artificial Intelligence, volume 1504 of LNAI, 251-353, 1998. Springer
Details
Steffen Hölldobler, Yvonne Kalinke
Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs
NIPS-97 Workshop on Learning dynamical data structures: From sequences to graphs, December 1997
Details
Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann
Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks
In G. Brewka and C. Habel and B. Nebel, eds., KI-97: Advances in AI, 313-324, 1997
Details
Kerstin Eder, Steffen Hölldobler, Michael Thielscher
An Abstract Machine for Reasoning about Situations, Actions, and Causality
In P. Schroeder-Heister R. Dyckhoff, H. Herre, eds., Proceedings of the International Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, 137-151, 1996. Springer
Details
Christoph Herrmann, Steffen Hölldobler, Antje Strohmaier
Fuzzy Conceptual Knowledge Processing
ACM Symposium on Applied Computing (SAC), 1996
Details
Steffen Hölldobler
Equational Logic and Theories of Action
In M. Navarro P. Lucio, M. Martelli, eds., Proceedings of the APPIA-GULP-PRODE Joint Conference on Declarative Programming, 111-123, 1996
Details
Kerstin Eder, Steffen Hölldobler, Michael Thielscher
A Resource–Oriented Deductive Approach towards Hierarchical Planning
Working Notes of the IJCAI Workshop on Nonmonotonic Reasoning, Action, and Change, 39-53, 1995
Details
Kerstin Eder, Steffen Hölldobler, Michael Thielscher
A Resource–Oriented Deductive Approach towards Hierarchical Planning
In A. Krall, eds., Proceedings 11. Workshop Logische Programmierung, GMD–Studien, volume 270, 237-246, 1995
Details
Steffen Hölldobler, Michael Thielscher
Objects, Specificity, Logic, and Change
In L. Dreschler-Fischer and S. Pribbenow, eds., KI–95 Activities: Workshops, Posters, Demos, Gesellschaft für Informatik e.V., 37-42, 1995
Details
Steffen Hölldobler, Michael Thielscher
On the Adequateness of AI-Systems.
In L. Dreschler-Fischer and B. Nebel, eds., Proceedings of the 6th International Conference on Artificial Intelligence and Information, 41-46, 1994. World Scientific, Springer
Details
Steffen Hölldobler, Yvonne Kalinke
Towards a Massively Parallel Computational Model for Logic Programming.
Proceedings of the ECAI94 Workshop on Combining Symbolic and Connectionist Processing, ECCAI, 68-77, 1994
Details
Stefan Brüning, Steffen Hölldobler, Josef Schneeberger, Ute Sigmund, Michael Thielscher
Disjunction in Resource-Oriented Deductive Planning
In D. Miller, eds., Proceedings of the International Logic Programming Symposium, 670, 1993
Details
Steffen Hölldobler, Michael Thielscher
Actions and Specificity
In D. Miller, eds., Proceedings of the International Logic Programming Symposium, 164-180, 1993
Details

Books

Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen
Synchron Publishers Heidelberg, 2011
Details
Steffen Hölldobler
Logik und Logikprogrammierung. Band 1: Grundlagen.
Synchron Wissenschaftsverlag der Autoren, 2009
Details
Steffen Hölldobler
Logik und Logikprogrammierung. Third edition.
Synchron Verlag, Heidelberg, 2003
Details
Steffen Hölldobler
Logik und Logikprogrammierung
Synchron Publishers GmbH, second, extended edition, December 2001
Details
Steffen Hölldobler
Logik und Logikprogrammierung
Synchron Publishers GmbH, January 2001
Details
Steffen Hölldobler
Intellectics and Computational Logic
Kluwer Academic Publishers, 1998
Details

Book Chapters

Steffen Hölldobler, Hans--Peter Störr
BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract)
In 8th Intlernational Workshop on Non-Monotonic Reasoning (NMR'2000), April 2000
Details
Steffen Hölldobler, Yvonne Kalinke, Jörg Wunderlich
Hybrid Neural Systems
In Wermter and Sun, eds., , chapter A Recursive Neural Network for Reflexive Reasoning. Springer, 1999
Details
Sven-Erik Bornscheuer, Steffen Hölldobler, Yvonne Kalinke, Antje Strohmaier
Automated Deduction - A Basis for Applications
In P. H. Schmitt W. Bibel, eds., , volume II, chapter Massively Parallel Reasoning, 291-321. Kluwer Academic Publishers, 1998
Details
Steffen Hölldobler, Hans-Peter Störr
Intellectics and Computational Logic
In Steffen Hölldobler in Honor of Wolfgang Bibel, eds., , chapter Complex Plans in the Fluent Calculus. Kluwer Academic Publishers, 1998
Details
Steffen Hölldobler
Neue Entwicklungen in der Informatikausbildung
In I. Schmitt S. Conrad, G. Saake, eds., , chapter Computational Logic - Ein internationaler Master-Studiengang. ???, 1998
Details
Günther Götz, Steffen Hölldobler
Advances in Artificial Intelligence
In , volume 1137 of Lecture Notes in Artificial Intelligence, chapter KI-96. Springer, 1996
Details

Edited Proceedings

Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details
Steffen Hölldobler, Andrey Malikov, Christoph Wernhard
Proceedings of the Young Scientists' International Workshop on Trends in Information Processing, YSIP
Volume 1145 of CEUR Workshop Proceedings, 2014. CEUR-WS.org
Details

Technical Reports

Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task
Technical Report, Technische Universität Dresden, volume 3, 2013
Details Download
Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard
Modeling the Suppression Task under Weak Completion and Well-Founded Semantics
Technical Report, Technische Universität Dresden, volume 2, 2013
Details Download
Steffen Hölldobler, Van Hau Nguyen
An Efficient Encoding of the at-most-one Constraint
Technical Report, TU Dresden, volume Technical Report 2013-04, 2013. Technical Report
Details Download
Steffen Hölldobler, Van Hau Nguyen
An Efficient Encoding of the At-Most-One Constraint
Technical Report, Knowledge Representation and Reasoning Group 2013-04, 2013
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Suppression Task
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
Details Download
Steffen Hölldobler, Norbert Manthey, Peter Steinke
A Compact Encoding of Pseudo-Boolean Constraints into SAT
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
Details Download
Steffen Hölldobler, Norbert Manthey, Van Hau Nguyen, Julian Stecklina, Peter Steinke
Modern Parallel SAT-Solvers
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
Logic Programs under Three-Valued Lukasiewicz Semantics
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-09-02, 2009
Details Download
Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
Logics and Networks for Human Reasoning
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-09-01, 2009
Details Download
Steffen Hölldobler
Some Remarks on Human Reasoning, Logic Programs and Connectionist Systems
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-08-01, 2008
Details Download
Dzung Dinh-Khac, Steffen Hölldobler
The Fuzzy Linguistic Description Logic ALC_FL
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-06-02, 2006
Details Download
Steffen Hölldobler, Ozan Kahramanogullari
From the Calculus of Structures to Term Rewriting Systems
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--04--03, 2004
Details Download
Bertram Fronhöfer, Steffen Hölldobler
17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002
Technical Report, TU Dresden, 01062 Dresden, volume TUD--FI03--03, April 2003
Details
Steffen Hölldobler, Olga Skvortsova
A Normalization Algorithm for Automated First-Order Value Iteration
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--16, 2003
Details
Steffen Hölldobler
Challenge Problems for the Integration of Logic and Connectionist Systems (Extended Abstract)
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-03, 1999
Details
Steffen Hölldobler, Hans-Peter Störr
Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-05, 1999
Details
Steffen Hölldobler
The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-02, 1999
Details
Steffen Hölldobler, Yvonne Kalinke, Jörg Wunderlich:
An Adequate Connectionist System for Reflexive Reasoning
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-98-12, 1998
Details
Steffen Hölldobler
Situations, Actions, and Causality in the Fluent Calculus
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1997-01, 1997
Details
Steffen Hölldobler, Michael Thielscher
Properties vs. Resources: Solving Simple Frame Problems
Technical Report, Intellektik, Informatik, TH Darmstadt, volume AIDA-96-03, 1996. Technischer Report
Details
Steffen Hölldobler, Josef Schneeberger
Constraint Equational Logic Programming and Resource-Based Partial Order Planning
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-96-08, 1996
Details

Talks and Miscellaneous

Steffen Hölldobler
From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar)
Schloss Dagstuhl - Leibniz Center for Informatics, Dagstuhl, Deutschland, September 2014
Details
Steffen Hölldobler
Computational Logic and Human Reasoning Episodes
Jilin University, Changchun, China, November 2014
Details
Steffen Hölldobler
SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6)
North-Caucasus Federal University, Stawropol, Russland, April 2014
Details
Steffen Hölldobler
Connectionist Model Generation
Jilin University, Changchun, China, November 2014
Details
Steffen Hölldobler
Answer Set Programming and Clasp (INFOCOM-6)
North-Caucasus Federal University, Stawropol, Russland, April 2014
Details
Steffen Hölldobler
SAT Solving - Scheduling, Generic CDCL, Partitioning
Jilin University, Changchun, China, November 2014
Details
Steffen Hölldobler
Advanced Petri Nets and the Fluent Calculus (INFOCOM-6)
North-Caucasus Federal University, Stawropol, Russland, April 2014
Details
Steffen Hölldobler
TU Dresden and Computer Science
Jilin University, Changchun, China, November 2014
Details
Steffen Hölldobler
Semantic Technologies (Swap and Transfer Workshops)
University of Minho, Braga, Portugal, September 2014
Details
Steffen Hölldobler
Computational Logic and Human Reasoning
King Mogul's Institute for Technology, Bangkok, Thailand, September 2013
Details
Steffen Hölldobler
EU-Drittlandprogramme 2007-2013
Dresden, Germany, October 2013
Details
Steffen Hölldobler
A New Computational Model for Human Reasoning
SPP1516 Workshop on Belief-Revision and Non-Monotonic Reasoning, Gießen, Germany, November 2013
Details
Steffen Hölldobler
A New Computational Model for Human Reasoning
National ICT Australia, Sydney, Australia, September 2013
Details
Steffen Hölldobler
The European PhD Program in Computational Logic
EPCL-Interview Week, Dresden, Germany, July 2012
Details
Steffen Hölldobler
A Simple Model for the Wason Selection Task
EPCL-Workshop, Dresden, Germany, July 2012
Details
Steffen Hölldobler
Human Reasoning and Computational Logic
Higher School of Economics, Moscow, October 2012
Details
Steffen Hölldobler
A Computational Logic Approach to Human Reasoning
Simon Fraser University, Vancouver, Canada, March 2012
Details
Steffen Hölldobler
Satisfiability Testing and its Applications
North Caucasus Federal University, Stavropol, October 2012
Details
Steffen Hölldobler
Solving Hidokus Using SAT-Solvers
Infocom-5, Kislovodsk, May 2012
Details
Steffen Hölldobler
Human Reasoning and Computational Logic
North Caucasus State Technical University, Stavropol, May 2012
Details
Steffen Hölldobler
The European PhD Program in Computational Logic
DAAD, Bonn, Germany, March 2011
Details
Steffen Hölldobler
Study Programs on Computational Logic at TUD
TUD, Dresden, Germany, October 2011
Details
Steffen Hölldobler
Logics and Networks for the Suppression Task
International Computer Science Institute, Berkeley, CA, USA, March 2011
Details
Steffen Hölldobler
An Abductive Model for Human Reasoning
Commonsense 2011, Stanford, CA, USA, March 2011
Details