Steffen Hölldobler

144 papers A* 7A 1B 13C 3Misc 9Journal 27Unranked 53

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	The Weak Completion Semantics and Counterexamples. FLAP Meghna Bhadra, Steffen Hölldobler
2022	—	`ed.`	Ausgezeichnete Informatikdissertationen 2021. Steffen Hölldobler, Rüdiger Reischuk, Sven Apel, Abraham Bernstein, Felix C. Freiling, Hans-Peter Lenhof, Gustaf Neumann, Kay Uwe Römer, Björn Scheuermann, Nicole Schweikardt, Klaus Wehrle
2022	—	`conf`	Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning. CAKR@IJCAI Meghna Bhadra, Steffen Hölldobler
2021	—	`book`	Ausgezeichnete Informatikdissertationen 2020. Ausgezeichnete Informatikdissertationen Steffen Hölldobler, Sven Apel, Abraham Bernstein, Felix C. Freiling, Hans-Peter Lenhof, Gustaf Neumann, Rüdiger Reischuk, Kay Uwe Römer, Björn Scheuermann, Nicole Schweikardt, Myra Spiliopoulou, Sabine Süsstrunk, Klaus Wehrle
2021	—	`conf`	The Weak Completion Semantics and Counter Examples. FCR@KI Meghna Bhadra, Steffen Hölldobler
2021	B	`conf`	When are Humans Reasoning with Modus Tollens? CogSci Marcos Cramer, Steffen Hölldobler, Marco Ragni
2020	—	`book`	Ausgezeichnete Informatikdissertationen 2019. Steffen Hölldobler, Sven Apel, Abraham Bernstein, Felix C. Freiling, Hans-Peter Lenhof, Gustaf Neumann, Rüdiger Reischuk, Kay Uwe Römer, Björn Scheuermann, Nicole Schweikardt, Myra Spiliopoulou, Sabine Süsstrunk, Klaus Wehrle
2020	B	`conf`	Conditional Reasoning and Relevance. CogSci Steffen Hölldobler
2020	Misc	`conf`	Conditional Reasoning and Relevance. KI Steffen Hölldobler
2019	A*	`conf`	A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract). IJCAI Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli
2019	—	`book`	Ausgezeichnete Informatikdissertationen 2018. Ausgezeichnete Informatikdissertationen Sven Apel, Abraham Bernstein, Felix C. Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Björn Scheuermann, Nicole Schweikardt, Myra Spiliopoulou, Sabine Süsstrunk, Klaus Wehrle
2019	J	`jnl`	Cognitive Reasoning: A Personal View. Künstliche Intell. Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg
2019	—	`conf`	Do Humans Reason with Description Logic, Theory Combination, and All That Steffen Hölldobler
2019	—	`ed.`	Joint Proceedings of the Workshops on Linguistic and Cognitive Approaches to Dialog Agents (LaCATODA 2019) and on Bridging the Gap Between Human and Automated Reasoning (BtG 2019) co-located with 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, August 12, 2019. LaCATODA/BtG@IJCAI Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Rafal Rzepka, Claudia Schon, Jordi Vallverdú, Andre Wlodarczyk
2018	J	`jnl`	A Core Method for the Weak Completion Semantics with Skeptical Abduction. J. Artif. Intell. Res. Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli
2018	—	`book`	Ausgezeichnete Informatikdissertationen 2017 Ausgezeichnete Informatikdissertationen Sven Apel, Abraham Bernstein, Wolfgang Effelsberg, Felix C. Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Björn Scheuermann, Myra Spiliopoulou, Sabine Süsstrunk
2018	—	`conf`	Ethical Decision Making under the Weak Completion Semantics. Bridging@IJCAI/ECAI Steffen Hölldobler
2018	B	`conf`	The Weak Completion Semantics and Equality. LPAR Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus
2017	B	`conf`	A Computational Logic Approach to Human Syllogistic Reasoning. CogSci Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
2017	—	`conf`	An Abstract Dual Propositional Model Counter. YSIP Armin Biere, Steffen Hölldobler, Sibylle Möhle
2017	—	`book`	Ausgezeichnete Informatikdissertationen 2016 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Wolfgang Effelsberg, Felix C. Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Myra Spiliopoulou, Sabine Süsstrunk
2017	—	`conf`	Contextual Abduction and its Complexity Issues. DARe@LPNMR Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp
2017	B	`conf`	Contextual Reasoning: Usually Birds Can Abductively Fly. LPNMR Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira
2017	—	`conf`	Lessons Learned from AlphaGo. YSIP Steffen Hölldobler, Sibylle Möhle, Anna Tigunova
2017	—	`conf`	Monadic Reasoning using Weak Completion Semantics. YSIP Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler
2017	—	`conf`	Obligation versus Factual Conditionals under the Weak Completion Semantics. YSIP Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha
2017	—	`conf`	Principles and Clusters in Human Syllogistic Reasoning. Bridging@CogSci Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
2017	—	`conf`	The Complexity of Contextual Abduction in Human Reasoning Tasks. YSIP Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp
2017	—	`conf`	The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters. DECLARE Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
2017	—	`conf`	The Weak Completion Semantics. Bridging@CogSci Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha
2017	B	`conf`	Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? CogSci Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon
2017	—	`ed.`	YSIP2 - Proceedings of the Second Young Scientist's International Workshop on Trends in Information Processing, Dombai, Russian Federation, May 16-20, 2017. YSIP Steffen Hölldobler, Andrey Malikov, Christoph Wernhard
2016	—	`book`	Ausgezeichnete Informatikdissertationen 2015 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Wolfgang Effelsberg, Felix C. Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Myra Spiliopoulou, Harald Störrle, Sabine Süsstrunk
2016	—	`conf`	Syllogistic Reasoning under the Weak Completion Semantics. Bridging@IJCAI Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
2016	—	`conf`	Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis. Bridging@IJCAI Marco Ragni, Emmanuelle-Anna Dietz, Ilir Kola, Steffen Hölldobler
2015	—	`conf`	A Computational Logic Approach to Human Spatial Reasoning. SSCI Emmanuelle-Anna Dietz, Steffen Hölldobler, Raphael Hops
2015	B	`conf`	A New Computational Logic Approach to Reason with Conditionals. LPNMR Emmanuelle-Anna Dietz, Steffen Hölldobler
2015	—	`conf`	A Syllogistic Reasoning Theory and Three Examples. IWOST-2 Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
2015	—	`book`	Ausgezeichnete Informatikdissertationen 2014 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Wolfgang Effelsberg, Felix C. Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Myra Spiliopoulou, Harald Störrle, Sabine Süsstrunk
2015	Misc	`ed.`	KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings KI Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph
2015	—	`conf`	On Conditionals. GCAI Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
2015	—	`conf`	On Indicative Conditionals. IWOST-1 Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
2015	—	`ed.`	Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), Changchun, China, March 9-12, 2015. IWOST-1 Steffen Hölldobler, Yanchun Liang
2015	—	`ed.`	Proceedings of the 2nd International Workshop on Semantic Technologies (IWOST2), Bangkok, Thailand, November 2-3, 2015. IWOST-2 Steffen Hölldobler, Krisana Chinnasarn
2015	—	`conf`	Weak Completion Semantics and its Applications in Human Reasoning. Bridging@CADE Steffen Hölldobler
2014	—	`conf`	Advanced Petri Nets and the Fluent Calculus. YSIP Steffen Hölldobler, Ferdian Jovan
2014	A*	`conf`	An Abductive Reasoning Approach to the Belief Bias Effect. KR Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
2014	—	`conf`	Answer Set Programming and CLASP - A Tutorial. YSIP Steffen Hölldobler, Lukas Schweizer
2014	—	`book`	Ausgezeichnete Informatikdissertationen 2013 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Wolfgang Effelsberg, Steffen Hölldobler, Hans-Peter Lenhof, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Myra Spiliopoulou, Harald Störrle, Sabine Süsstrunk
2014	J	`jnl`	Contextual Abductive Reasoning with Side-Effects. CoRR Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
2014	J	`jnl`	Contextual Abductive Reasoning with Side-Effects. Theory Pract. Log. Program. Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
2014	Misc	`conf`	Efficient SAT-Encoding of Linear CSP Constraints. ISAIM Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
2014	—	`conf`	Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. POS@SAT Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
2014	—	`conf`	Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. YSIP Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
2014	J	`jnl`	Modeling the suppression task under weak completion and well-founded semantics. J. Appl. Non Class. Logics Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard
2014	—	`ed.`	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, Production and Education (INFOCOM-6), Stavropol, Russian Federation, April 22-25, 2014. YSIP Steffen Hölldobler, Andrey Malikov, Christoph Wernhard
2014	B	`conf`	Representative Encodings to Translate Finite CSPs into SAT. CPAIOR Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
2012	Misc	`conf`	A Compact Encoding of Pseudo-Boolean Constraints into SAT. KI Steffen Hölldobler, Norbert Manthey, Peter Steinke
2012	B	`conf`	A Computational Logic Approach to the Suppression Task. CogSci Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
2012	—	`book`	Ausgezeichnete Informatikdissertationen 2011 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Steffen Hölldobler, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2012	—	`book`	Ausgezeichnete Informatikdissertationen 2012 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Wolfgang Effelsberg, Steffen Hölldobler, Hans-Peter Lenhof, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Myra Spiliopoulou, Harald Störrle, Sabine Süsstrunk
2012	C	`conf`	Solving Periodic Event Scheduling Problems with SAT. IEA/AIE Peter Großmann, Steffen Hölldobler, Norbert Manthey, Karl Nachtigall, Jens Opitz, Peter Steinke
2011	—	`conf`	An Abductive Model for Human Reasoning. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Steffen Hölldobler, Tobias Philipp, Christoph Wernhard
2011	—	`book`	Ausgezeichnete Informatikdissertationen 2010 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2011	J	`jnl`	FluCaP: A Heuristic Search Planner for First-Order MDPs CoRR Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova
2010	—	`book`	Ausgezeichnete Informatikdissertationen 2008 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2010	—	`book`	Ausgezeichnete Informatikdissertationen 2009 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2010	—	`conf`	Improving Resource-Unaware SAT Solvers. LPAR (Yogyakarta) Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya
2009	B	`conf`	Logic Programs under Three-Valued Lukasiewicz Semantics. ICLP Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
2009	—	`conf`	Logics and Networks for Human Reasoning. ICANN (2) Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
2008	—	`book`	Ausgezeichnete Informatikdissertationen 2007 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2008	J	`jnl`	Connectionist model generation: A first-order approach. Neurocomputing Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
2008	C	`conf`	Guiding Backprop by Inserting Rules. NeSy Sebastian Bader, Steffen Hölldobler, Nuno C. Marques
2008	B	`ed.`	Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings JELIA Steffen Hölldobler, Carsten Lutz, Heinrich Wansing
2007	A*	`conf`	A Fully Connectionist Model Generator for Covered First-Order Logic Programs. IJCAI Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
2007	—	`conf`	Decidability Under the Well-Founded Semantics. RR Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler
2007	C	`conf`	Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. NeSy Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger
2007	—	`ch.`	The Core Method: Connectionist Model Generation for First-Order Logic Programs. Perspectives of Neural-Symbolic Integration Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
2006	—	`book`	Ausgezeichnete Informatikdissertationen 2005 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Dorothea Wagner
2006	J	`jnl`	FluCaP: A Heuristic Search Planner for First-Order MDPs. J. Artif. Intell. Res. Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova
2006	—	`conf`	The Core Method: Connectionist Model Generation. ICANN (2) Sebastian Bader, Steffen Hölldobler
2005	—	`book`	Ausgezeichnete Informatikdissertationen 2004 Ausgezeichnete Informatikdissertationen Thomas Dreier, Oliver Günther, Steffen Hölldobler, Klaus-Peter Löhr, Paul Molitor, Rüdiger Reischuk, Dietmar Saupe, Dorothea Wagner
2004	—	`book`	Ausgezeichnete Informatikdissertationen 2003 Ausgezeichnete Informatikdissertationen Heinz Beilner, Thomas Dreier, Markus Gross, Oliver Günther, Steffen Hölldobler, Klaus-Peter Löhr, Rüdiger Reischuk, Dorothea Wagner
2004	J	`jnl`	Journal of Applied Logic Special Volume on Neural-Symbolic Systems. J. Appl. Log. Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor
2004	J	`jnl`	Logic programs and connectionist networks. J. Appl. Log. Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda
2004	Misc	`conf`	Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. KI Sebastian Bader, Steffen Hölldobler, Alexandre Scalzitti
2004	J	`jnl`	The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence CoRR Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
2003	J	`jnl`	The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers. J. Adv. Comput. Intell. Intell. Informatics Steffen Hölldobler, Hans-Peter Störr, Dinh Khang Tran
2002	—	`book`	Ausgezeichnete Informatikdissertationen 2002 Ausgezeichnete Informatikdissertationen Heinz Beilner, Herbert Fiedler, Markus Gross, Oliver Günther, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Rüdiger Reischuk, Dorothea Wagner
2002	Misc	`conf`	Incremental Fuzzy Decision Trees. KI Marina Guetova, Steffen Hölldobler, Hans-Peter Störr
2001	—	`book`	Ausgezeichnete Informatikdissertationen 2001 Ausgezeichnete Informatikdissertationen Heinz Beilner, Herbert Fiedler, Oliver Günther, Steffen Hölldobler, Günter Hotz, Peter Liggesmeyer, Klaus-Peter Löhr, Rüdiger Reischuk, Dorothea Wagner
2001	—	`conf`	User Adaptation in a Web Shop System. IMSA Sven-Erik Bornscheuer, Yvonne McIntyre, Steffen Hölldobler, Hans-Peter Störr
2000	—	`book`	Ausgezeichnete Informatikdissertationen 1999 Herbert Fiedler, Oliver Günther, Werner Grass, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner
2000	—	`book`	Ausgezeichnete Informatikdissertationen 2000 Ausgezeichnete Informatikdissertationen Herbert Fiedler, Werner Grass, Oliver Günther, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner
2000	J	`jnl`	BDD-based reasoning in the fluent calculus - first results CoRR Steffen Hölldobler, Hans-Peter Störr
2000	—	`conf`	Challenge problems for the integration of logic and connectionist systems. WLP Steffen Hölldobler
2000	—	`conf`	Complex Plans in the Fluent Calculus. Intellectics and Computational Logic Steffen Hölldobler, Hans-Peter Störr
2000	—	`ed.`	Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday) Intellectics and Computational Logic Steffen Hölldobler
2000	—	`conf`	Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams. Computational Logic Steffen Hölldobler, Hans-Peter Störr
2000	B	`conf`	The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus. LPAR Steffen Hölldobler, Dietrich Kuske
1999	J	`jnl`	Approximating the Semantics of Logic Programs by Recurrent Neural Networks. Appl. Intell. Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr
1998	—	`conf`	A Recursive Neural Network for Reflexive Reasoning. Hybrid Neural Systems Steffen Hölldobler, Yvonne Kalinke, Jörg Wunderlich
1998	—	`conf`	Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs. Australian Joint Conference on Artificial Intelligence Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr
1997	Misc	`conf`	Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. KI Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann
1996	—	`conf`	An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP Kerstin Eder, Steffen Hölldobler, Michael Thielscher
1996	—	`conf`	Equational Logic and Theories of Action. APPIA-GULP-PRODE Steffen Hölldobler
1996	Misc	`conf`	Fuzzy conceptual knowledge processing. SAC Christoph S. Herrmann, Steffen Hölldobler, Antje Strohmaier
1996	Misc	`ed.`	KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings KI Günther Görz, Steffen Hölldobler
1996	J	`jnl`	Linear Deductive Planning. J. Log. Comput. Gerd Große, Steffen Hölldobler, Josef Schneeberger
1995	—	`conf`	A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP Kerstin Eder, Steffen Hölldobler, Michael Thielscher
1995	J	`jnl`	Computing change and specificity with equational logic programs. Ann. Math. Artif. Intell. Steffen Hölldobler, Michael Thielscher
1994	—	`conf`	Ein massiv paralleles Modell für die Logikprogrammierung. WLP Steffen Hölldobler, Yvonne Kalinke
1993	—	`conf`	Actions and Specificity. ILPS Steffen Hölldobler, Michael Thielscher
1993	—	`conf`	Disjunction In Resource-Oriented Deductive Planning. ILPS Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger
1993	—	`conf`	Disjunction in Plan Generation by Equational Logic Programming. PuK Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher
1993	—	`conf`	On Logic Programming with Multisets. ICLP Workshop on Logic Programming with Sets Steffen Hölldobler, Michael Thielscher
1993	A*	`conf`	On the Adequateness of the Connection Method. AAAI Antje Beringer, Steffen Hölldobler
1993	A*	`conf`	Spatial Reasoning and Connectionist Inference. IJCAI Antje Beringer, Steffen Hölldobler, Franz J. Kurfess
1993	—	`book`	Wissensrepräsentation und Inferenz - eine grundlegende Einführung. Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub
1992	J	`jnl`	7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme". Künstliche Intell. Jürgen Cleve, Steffen Hölldobler, Jörg Würtz
1992	A	`conf`	Cycle Unification. CADE Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
1992	—	`conf`	Equational Logic Programming Actions, and Change. JICSLP Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher
1992	B	`conf`	On Deductive Planning and the Frame Problem. LPAR Steffen Hölldobler
1991	J	`jnl`	Combining Logic Programming and Equation Solving. J. Log. Comput. Steffen Hölldobler
1990	J	`jnl`	A New Deductive Approach to Planning. New Gener. Comput. Steffen Hölldobler, Josef Schneeberger
1990	A*	`conf`	A Structured Connectionist Unification Algorithm. AAAI Steffen Hölldobler
1990	—	`conf`	CHCL - A Connectionist Infernce System. Dagstuhl Seminar on Parallelization in Inference Systems Steffen Hölldobler, Franz J. Kurfess
1990	J	`jnl`	Conditional Equational Theories and Complete Sets of Transformations. Theor. Comput. Sci. Steffen Hölldobler
1990	—	`conf`	Connectionist Inference Systems. Dagstuhl Seminar on Parallelization in Inference Systems Hans W. Guesgen, Steffen Hölldobler
1990	—	`conf`	On High-Level Inferencing and the Variable Binding Problem in Connectionist Networks. ÖGAI Steffen Hölldobler
1989	—	`conf`	A New Deductive Approach to Planning. GWAI Steffen Hölldobler, Josef Schneeberger
1989	J	`jnl`	Equations, order-sortedness and inheritance in logic programming Forschungsberichte, TU Munich Ulrich Furbach, Steffen Hölldobler
1989	—	`book`	Foundations of Equational Logic Programming Steffen Hölldobler
1989	J	`jnl`	Horn Equational Theories and Paramodulation. J. Autom. Reason. Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
1989	—	`conf`	Linear Paramodulation modulo Equality. GWAI Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
1989	J	`jnl`	Linear paramodulation modulo equality Forschungsberichte, TU Munich Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
1988	J	`jnl`	FHCL - functions in Horn Clause logic Forschungsberichte, TU Munich Ulrich Furbach, Steffen Hölldobler
1988	—	`conf`	From Paramodulation to Narrowing. ICLP/SLP Steffen Hölldobler
1988	—	`conf`	Horn Equality Theories and Complete Sets of Transformations. FGCS Steffen Hölldobler
1987	A*	`conf`	A Unification Algorithms for Confluent Theories. ICALP Steffen Hölldobler
1987	—	`conf`	Equational Logic Programming. SLP Steffen Hölldobler
1987	J	`jnl`	The Undecidability of the Unification and Matching Problem for Canonical Theories. Acta Informatica Stephan Heilbrunner, Steffen Hölldobler
1986	J	`jnl`	Modelling the Combination of Functional and Logic Programming Languages. J. Symb. Comput. Ulrich Furbach, Steffen Hölldobler
1985	—	`conf`	Extended Unification and its Implementation. GWAI Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair