


Остановите войну!
for scientists:


default search action
Steffen 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
- 2022
- [c82]Meghna Bhadra, Steffen Hölldobler:
Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning. CAKR@IJCAI 2022 - [e31]Steffen Hölldobler:
Ausgezeichnete Informatikdissertationen 2021. LNI D-22, GI 2022, ISBN 978-3-88579-980-1 [contents] - 2021
- [c81]Meghna Bhadra, Steffen Hölldobler:
The Weak Completion Semantics and Counter Examples. FCR@KI 2021: 60-73 - [e30]Steffen Hölldobler:
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:
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] - [i4]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] - [i3]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] - [i2]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] - [i1]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]