default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSteffen Hölldobler
Person information
- affiliation: Dresden University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j20]Meghna Bhadra, Steffen Hölldobler:
The Weak Completion Semantics and Counterexamples. FLAP 10(2): 121-154 (2023)- 2022
- [c83]Meghna Bhadra, Steffen Hölldobler:
Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning. CAKR@IJCAI 2022 - [e31]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:
Ausgezeichnete Informatikdissertationen 2021. LNI D-22, GI 2022, ISBN 978-3-88579-980-1 [contents] - 2021
- [c82]Marcos Cramer, Steffen Hölldobler, Marco Ragni:
When are Humans Reasoning with Modus Tollens? CogSci 2021 - [c81]Meghna Bhadra, Steffen Hölldobler:
The Weak Completion Semantics and Counter Examples. FCR@KI 2021: 60-73 - [e30]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:
Ausgezeichnete Informatikdissertationen 2020. LNI D-21, GI 2021, ISBN 978-3-88579-775-3 [contents] - 2020
- [c80]Steffen Hölldobler:
Conditional Reasoning and Relevance. CogSci 2020 - [c79]Steffen Hölldobler:
Conditional Reasoning and Relevance. KI 2020: 73-87 - [e29]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:
Ausgezeichnete Informatikdissertationen 2019. LNI D-20, GI 2020, ISBN 978-3-88579-775-3 [contents]
2010 – 2019
- 2019
- [j19]Ulrich Furbach, Steffen Hölldobler, Marco Ragni
, Claudia Schon, Frieder Stolzenburg:
Cognitive Reasoning: A Personal View. Künstliche Intell. 33(3): 209-217 (2019) - [c78]Steffen Hölldobler:
Do Humans Reason with E -Matchers? Description Logic, Theory Combination, and All That 2019: 367-384 - [c77]Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli:
A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract). IJCAI 2019: 6358-6361 - [e28]Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Rafal Rzepka, Claudia Schon, Jordi Vallverdú, Andre Wlodarczyk:
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. CEUR Workshop Proceedings 2452, CEUR-WS.org 2019 [contents] - [e27]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:
Ausgezeichnete Informatikdissertationen 2018. LNI D-19, GI 2019, ISBN 978-3-88579-977-1 [contents] - 2018
- [j18]Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli:
A Core Method for the Weak Completion Semantics with Skeptical Abduction. J. Artif. Intell. Res. 63: 51-86 (2018) - [c76]Steffen Hölldobler:
Ethical Decision Making under the Weak Completion Semantics. Bridging@IJCAI/ECAI 2018: 1 - [c75]Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus:
The Weak Completion Semantics and Equality. LPAR 2018: 326-342 - [e26]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:
Ausgezeichnete Informatikdissertationen 2017. LNI D-18, GI 2018, ISBN 978-3-88579-977-1 [contents] - 2017
- [c74]Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni:
A Computational Logic Approach to Human Syllogistic Reasoning. CogSci 2017 - [c73]Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon:
Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? CogSci 2017 - [c72]Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha:
The Weak Completion Semantics. Bridging@CogSci 2017: 18-30 - [c71]Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz:
Principles and Clusters in Human Syllogistic Reasoning. Bridging@CogSci 2017: 69-83 - [c70]Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz:
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters. DECLARE 2017: 149-165 - [c69]Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp:
Contextual Abduction and its Complexity Issues. DARe@LPNMR 2017: 58-70 - [c68]Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira:
Contextual Reasoning: Usually Birds Can Abductively Fly. LPNMR 2017: 64-77 - [c67]Armin Biere, Steffen Hölldobler, Sibylle Möhle:
An Abstract Dual Propositional Model Counter. YSIP 2017: 17-26 - [c66]Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler:
Monadic Reasoning using Weak Completion Semantics. YSIP 2017: 45-54 - [c65]Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha:
Obligation versus Factual Conditionals under the Weak Completion Semantics. YSIP 2017: 55-64 - [c64]Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp:
The Complexity of Contextual Abduction in Human Reasoning Tasks. YSIP 2017: 65-74 - [c63]Steffen Hölldobler, Sibylle Möhle, Anna Tigunova:
Lessons Learned from AlphaGo. YSIP 2017: 92-101 - [e25]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:
Ausgezeichnete Informatikdissertationen 2016. LNI D-17, GI 2017, ISBN 978-3-88579-976-4 [contents] - [e24]Steffen Hölldobler, Andrey Malikov, Christoph Wernhard:
YSIP2 - Proceedings of the Second Young Scientist's International Workshop on Trends in Information Processing, Dombai, Russian Federation, May 16-20, 2017. CEUR Workshop Proceedings 1837, CEUR-WS.org 2017 [contents] - 2016
- [c62]Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni:
Syllogistic Reasoning under the Weak Completion Semantics. Bridging@IJCAI 2016: 5-19 - [c61]Marco Ragni, Emmanuelle-Anna Dietz, Ilir Kola, Steffen Hölldobler:
Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis. Bridging@IJCAI 2016: 61-73 - [e23]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:
Ausgezeichnete Informatikdissertationen 2015. LNI D-16, GI 2016, ISBN 978-3-88579-975-7 [contents] - 2015
- [c60]Steffen Hölldobler:
Weak Completion Semantics and its Applications in Human Reasoning. Bridging@CADE 2015: 2-16 - [c59]Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira:
On Conditionals. GCAI 2015: 79-92 - [c58]Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira:
On Indicative Conditionals. IWOST-1 2015: 19-30 - [c57]Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni:
A Syllogistic Reasoning Theory and Three Examples. IWOST-2 2015 - [c56]Emmanuelle-Anna Dietz, Steffen Hölldobler:
A New Computational Logic Approach to Reason with Conditionals. LPNMR 2015: 265-278 - [c55]Emmanuelle-Anna Dietz, Steffen Hölldobler, Raphael Hops:
A Computational Logic Approach to Human Spatial Reasoning. SSCI 2015: 1627-1634 - [e22]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:
Ausgezeichnete Informatikdissertationen 2014. LNI D-15, GI 2015, ISBN 978-3-88579-419-6 [contents] - [e21]Steffen Hölldobler, Yanchun Liang:
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), Changchun, China, March 9-12, 2015. CEUR Workshop Proceedings 1339, CEUR-WS.org 2015 [contents] - [e20]Steffen Hölldobler, Krisana Chinnasarn:
Proceedings of the 2nd International Workshop on Semantic Technologies (IWOST2), Bangkok, Thailand, November 2-3, 2015. CEUR Workshop Proceedings 1494, CEUR-WS.org 2015 [contents] - [e19]Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph:
KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings. Lecture Notes in Computer Science 9324, Springer 2015, ISBN 978-3-319-24488-4 [contents] - 2014
- [j17]Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard:
Modeling the suppression task under weak completion and well-founded semantics. J. Appl. Non Class. Logics 24(1-2): 61-85 (2014) - [j16]Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler:
Contextual Abductive Reasoning with Side-Effects. Theory Pract. Log. Program. 14(4-5): 633-648 (2014) - [c54]Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen:
Representative Encodings to Translate Finite CSPs into SAT. CPAIOR 2014: 251-267 - [c53]Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen:
Efficient SAT-Encoding of Linear CSP Constraints. ISAIM 2014 - [c52]Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler:
An Abductive Reasoning Approach to the Belief Bias Effect. KR 2014 - [c51]Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke:
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. POS@SAT 2014: 89-102 - [c50]Steffen Hölldobler, Ferdian Jovan:
Advanced Petri Nets and the Fluent Calculus. YSIP 2014: 15-24 - [c49]Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke:
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. YSIP 2014: 25-34 - [c48]Steffen Hölldobler, Lukas Schweizer:
Answer Set Programming and CLASP - A Tutorial. YSIP 2014: 77-95 - [e18]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:
Ausgezeichnete Informatikdissertationen 2013. LNI D-14, GI 2014, ISBN 978-3-88579-418-9 [contents] - [e17]Steffen Hölldobler, Andrey Malikov, Christoph Wernhard:
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. CEUR Workshop Proceedings 1145, CEUR-WS.org 2014 [contents] - [i7]Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler:
Contextual Abductive Reasoning with Side-Effects. CoRR abs/1405.3713 (2014) - 2012
- [c47]Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni:
A Computational Logic Approach to the Suppression Task. CogSci 2012 - [c46]Peter Großmann, Steffen Hölldobler, Norbert Manthey, Karl Nachtigall, Jens Opitz, Peter Steinke:
Solving Periodic Event Scheduling Problems with SAT. IEA/AIE 2012: 166-175 - [c45]Steffen Hölldobler, Norbert Manthey, Peter Steinke:
A Compact Encoding of Pseudo-Boolean Constraints into SAT. KI 2012: 107-118 - [e16]Abraham Bernstein, Steffen Hölldobler, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2011. LNI D-12, GI 2012, ISBN 978-3-88579-416-5 [contents] - [e15]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:
Ausgezeichnete Informatikdissertationen 2012. LNI D-13, GI 2012, ISBN 978-3-88579-417-2 [contents] - 2011
- [c44]Steffen Hölldobler, Tobias Philipp, Christoph Wernhard:
An Abductive Model for Human Reasoning. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [e14]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:
Ausgezeichnete Informatikdissertationen 2010. LNI D-11, GI 2011, ISBN 978-3-88579-415-8 [contents] - [i6]Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova:
FluCaP: A Heuristic Search Planner for First-Order MDPs. CoRR abs/1109.6621 (2011) - 2010
- [c43]Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya:
Improving Resource-Unaware SAT Solvers. LPAR (Yogyakarta) 2010: 519-534 - [e13]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:
Ausgezeichnete Informatikdissertationen 2009. LNI D-10, GI 2010, ISBN 978-3-88579-414-1 [contents] - [e12]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:
Ausgezeichnete Informatikdissertationen 2008. LNI D-9, GI 2010, ISBN 978-3-88579-413-4 [contents]
2000 – 2009
- 2009
- [c42]Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli:
Logics and Networks for Human Reasoning. ICANN (2) 2009: 85-94 - [c41]Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli:
Logic Programs under Three-Valued Lukasiewicz Semantics. ICLP 2009: 464-478 - 2008
- [j15]Sebastian Bader, Pascal Hitzler, Steffen Hölldobler:
Connectionist model generation: A first-order approach. Neurocomputing 71(13-15): 2420-2432 (2008) - [c40]Sebastian Bader, Steffen Hölldobler, Nuno C. Marques:
Guiding Backprop by Inserting Rules. NeSy 2008 - [e11]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:
Ausgezeichnete Informatikdissertationen 2007. LNI D-8, GI 2008, ISBN 978-3-88579-412-7 [contents] - [e10]Steffen Hölldobler, Carsten Lutz, Heinrich Wansing:
Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings. Lecture Notes in Computer Science 5293, Springer 2008, ISBN 978-3-540-87802-5 [contents] - 2007
- [c39]Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel:
A Fully Connectionist Model Generator for Covered First-Order Logic Programs. IJCAI 2007: 666-671 - [c38]Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger:
Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. NeSy 2007 - [c37]Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler:
Decidability Under the Well-Founded Semantics. RR 2007: 269-278 - [p1]Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel:
The Core Method: Connectionist Model Generation for First-Order Logic Programs. Perspectives of Neural-Symbolic Integration 2007: 205-232 - 2006
- [j14]Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova:
FluCaP: A Heuristic Search Planner for First-Order MDPs. J. Artif. Intell. Res. 27: 419-439 (2006) - [c36]Sebastian Bader, Steffen Hölldobler:
The Core Method: Connectionist Model Generation. ICANN (2) 2006: 1-13 - [e9]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:
Ausgezeichnete Informatikdissertationen 2005. LNI D-6, GI 2006, ISBN 978-3-88579-410-3 [contents] - 2005
- [e8]Thomas Dreier, Oliver Günther, Steffen Hölldobler, Klaus-Peter Löhr, Paul Molitor, Rüdiger Reischuk, Dietmar Saupe, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2004. LNI D-5, GI 2005, ISBN 3-88579-409-8 [contents] - 2004
- [j13]Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor:
Journal of Applied Logic Special Volume on Neural-Symbolic Systems. J. Appl. Log. 2(3): 241-243 (2004) - [j12]Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda:
Logic programs and connectionist networks. J. Appl. Log. 2(3): 245-272 (2004) - [c35]Sebastian Bader, Steffen Hölldobler, Alexandre Scalzitti:
Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. KI 2004: 281-294 - [e7]Heinz Beilner, Thomas Dreier, Markus Gross, Oliver Günther, Steffen Hölldobler, Klaus-Peter Löhr, Rüdiger Reischuk, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2003. LNI D-4, GI 2004, ISBN 3-88579-408-X [contents] - [i5]Sebastian Bader, Pascal Hitzler, Steffen Hölldobler:
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence. CoRR cs.AI/0408069 (2004) - 2003
- [j11]Steffen Hölldobler, Hans-Peter Störr, Dinh Khang Tran:
The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers. J. Adv. Comput. Intell. Intell. Informatics 7(3): 294-305 (2003) - 2002
- [c34]Marina Guetova, Steffen Hölldobler, Hans-Peter Störr:
Incremental Fuzzy Decision Trees. KI 2002: 67-81 - [e6]Heinz Beilner, Herbert Fiedler, Markus Gross, Oliver Günther, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Rüdiger Reischuk, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2002. LNI D-3, GI 2002, ISBN 3-88579-407-1 [contents] - 2001
- [c33]Sven-Erik Bornscheuer, Yvonne McIntyre, Steffen Hölldobler, Hans-Peter Störr:
User Adaptation in a Web Shop System. IMSA 2001: 208-213 - [e5]Heinz Beilner, Herbert Fiedler, Oliver Günther, Steffen Hölldobler, Günter Hotz, Peter Liggesmeyer, Klaus-Peter Löhr, Rüdiger Reischuk, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2001. LNI D-2, GI 2001, ISBN 3-88579-406-3 [contents] - 2000
- [c32]Steffen Hölldobler, Hans-Peter Störr:
Complex Plans in the Fluent Calculus. Intellectics and Computational Logic 2000: 207-223 - [c31]Steffen Hölldobler, Hans-Peter Störr:
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams. Computational Logic 2000: 747-761 - [c30]Steffen Hölldobler, Dietrich Kuske:
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus. LPAR 2000: 436-450 - [c29]Steffen Hölldobler:
Challenge problems for the integration of logic and connectionist systems. WLP 2000: 161-170 - [e4]Steffen Hölldobler:
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday). Applied Logic Series 19, Kluwer 2000, ISBN 0-7923-6261-6 [contents] - [e3]Herbert Fiedler, Oliver Günther, Werner Grass, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 1999. Teubner 2000, ISBN 978-3-519-02650-1 [contents] - [e2]Herbert Fiedler, Werner Grass, Oliver Günther, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2000. LNI D-1, GI 2000, ISBN 3-88579-405-5 [contents] - [i4]Steffen Hölldobler, Hans-Peter Störr:
BDD-based reasoning in the fluent calculus - first results. CoRR cs.AI/0003047 (2000)
1990 – 1999
- 1999
- [j10]Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr:
Approximating the Semantics of Logic Programs by Recurrent Neural Networks. Appl. Intell. 11(1): 45-58 (1999) - 1998
- [c28]Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr:
Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs. Australian Joint Conference on Artificial Intelligence 1998: 167-178 - [c27]Steffen Hölldobler, Yvonne Kalinke, Jörg Wunderlich:
A Recursive Neural Network for Reflexive Reasoning. Hybrid Neural Systems 1998: 46-62 - 1997
- [c26]Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann:
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. KI 1997: 313-324 - 1996
- [j9]Gerd Große, Steffen Hölldobler, Josef Schneeberger:
Linear Deductive Planning. J. Log. Comput. 6(2): 233-262 (1996) - [c25]Steffen Hölldobler:
Equational Logic and Theories of Action. APPIA-GULP-PRODE 1996: 111-126 - [c24]Kerstin Eder, Steffen Hölldobler, Michael Thielscher:
An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP 1996: 137-151 - [c23]Christoph S. Herrmann, Steffen Hölldobler, Antje Strohmaier:
Fuzzy conceptual knowledge processing. SAC 1996: 628-632 - [e1]Günther Görz, Steffen Hölldobler:
KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings. Lecture Notes in Computer Science 1137, Springer 1996, ISBN 3-540-61708-6 [contents] - 1995
- [j8]Steffen Hölldobler, Michael Thielscher:
Computing change and specificity with equational logic programs. Ann. Math. Artif. Intell. 14(1): 99-133 (1995) - [c22]Kerstin Eder, Steffen Hölldobler, Michael Thielscher:
A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP 1995: 237-246 - 1994
- [c21]Steffen Hölldobler, Yvonne Kalinke:
Ein massiv paralleles Modell für die Logikprogrammierung. WLP 1994: 89-92 - 1993
- [b2]Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub:
Wissensrepräsentation und Inferenz - eine grundlegende Einführung. Artificial Intelligence, Vieweg 1993, ISBN 978-3-528-05374-1, pp. 1-387 - [c20]Antje Beringer, Steffen Hölldobler:
On the Adequateness of the Connection Method. AAAI 1993: 9-14 - [c19]Steffen Hölldobler, Michael Thielscher:
On Logic Programming with Multisets. ICLP Workshop on Logic Programming with Sets 1993 - [c18]Antje Beringer, Steffen Hölldobler, Franz J. Kurfess:
Spatial Reasoning and Connectionist Inference. IJCAI 1993: 1352-1359 - [c17]Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher:
Disjunction in Plan Generation by Equational Logic Programming. PuK 1993: 18-26 - [c16]Steffen Hölldobler, Michael Thielscher:
Actions and Specificity. ILPS 1993: 164-180 - [c15]Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger:
Disjunction In Resource-Oriented Deductive Planning. ILPS 1993: 670 - 1992
- [j7]Jürgen Cleve, Steffen Hölldobler, Jörg Würtz:
7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme". Künstliche Intell. 6(2): 46-47 (1992) - [c14]Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz:
Cycle Unification. CADE 1992: 94-108 - [c13]Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher:
Equational Logic Programming Actions, and Change. JICSLP 1992: 177-191 - [c12]Steffen Hölldobler:
On Deductive Planning and the Frame Problem. LPAR 1992: 13-29 - 1991
- [j6]Steffen Hölldobler:
Combining Logic Programming and Equation Solving. J. Log. Comput. 1(3): 397-415 (1991) - 1990
- [j5]Steffen Hölldobler, Josef Schneeberger:
A New Deductive Approach to Planning. New Gener. Comput. 8(3): 225-244 (1990) - [j4]Steffen Hölldobler:
Conditional Equational Theories and Complete Sets of Transformations. Theor. Comput. Sci. 75(1&2): 85-110 (1990) - [c11]Steffen Hölldobler:
A Structured Connectionist Unification Algorithm. AAAI 1990: 587-593 - [c10]Hans W. Guesgen, Steffen Hölldobler:
Connectionist Inference Systems. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 82-120 - [c9]Steffen Hölldobler, Franz J. Kurfess:
CHCL - A Connectionist Infernce System. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 318-342 - [c8]Steffen Hölldobler:
On High-Level Inferencing and the Variable Binding Problem in Connectionist Networks. ÖGAI 1990: 180-185
1980 – 1989
- 1989
- [b1]Steffen Hölldobler:
Foundations of Equational Logic Programming. Lecture Notes in Computer Science 353, Springer 1989, ISBN 3-540-51533-X - [j3]Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber:
Horn Equational Theories and Paramodulation. J. Autom. Reason. 5(3): 309-337 (1989) - [c7]Steffen Hölldobler, Josef Schneeberger:
A New Deductive Approach to Planning. GWAI 1989: 63-73 - [c6]Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber:
Linear Paramodulation modulo Equality. GWAI 1989: 107-116 - [i3]Ulrich Furbach, Steffen Hölldobler:
Equations, order-sortedness and inheritance in logic programming. Forschungsberichte, TU Munich FKI 110 89: 1-58 (1989) - [i2]Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber:
Linear paramodulation modulo equality. Forschungsberichte, TU Munich FKI 111 89: 1-11 (1989) - 1988
- [c5]Steffen Hölldobler:
Horn Equality Theories and Complete Sets of Transformations. FGCS 1988: 405-412 - [c4]Steffen Hölldobler:
From Paramodulation to Narrowing. ICLP/SLP 1988: 327-342 - [i1]Ulrich Furbach, Steffen Hölldobler:
FHCL - functions in Horn Clause logic. Forschungsberichte, TU Munich FKI 86 88: 1-14 (1988) - 1987
- [j2]Stephan Heilbrunner, Steffen Hölldobler:
The Undecidability of the Unification and Matching Problem for Canonical Theories. Acta Informatica 24(2): 157-171 (1987) - [c3]Steffen Hölldobler:
A Unification Algorithms for Confluent Theories. ICALP 1987: 31-41 - [c2]Steffen Hölldobler:
Equational Logic Programming. SLP 1987: 335-346 - 1986
- [j1]Ulrich Furbach, Steffen Hölldobler:
Modelling the Combination of Functional and Logic Programming Languages. J. Symb. Comput. 2(2): 123-138 (1986) - 1985
- [c1]Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair:
Extended Unification and its Implementation. GWAI 1985: 176-185
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:08 CET 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:
