The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Steffen Hölldobler" ( http://dblp.L3S.de/Authors/Steffen_Hölldobler )

URL (Homepage):  https://www.wikidata.org/wiki/Q54803386  Author page on DBLP  Author page in RDF  Community of Steffen Hölldobler in ASPL-2

Publication years (Num. hits)
1985-1990 (17) 1991-1995 (15) 1996-2000 (16) 2001-2008 (15) 2009-2014 (24) 2015-2017 (26) 2018-2019 (8)
Publication types (Num. hits)
article(23) book(2) incollection(1) inproceedings(77) proceedings(18)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 122 publication records. Showing 121 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg Cognitive Reasoning: A Personal View. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler Do Humans Reason with E -Matchers? Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emmanuelle-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). Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emmanuelle-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. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus The Weak Completion Semantics and Equality. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Steffen Hölldobler (eds.) Ausgezeichnete Informatikdissertationen 2016 Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2018 DBLP  BibTeX  RDF
1Steffen Hölldobler (eds.) Ausgezeichnete Informatikdissertationen 2017 Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2018 DBLP  BibTeX  RDF
1Steffen Hölldobler Ethical Decision Making under the Weak Completion Semantics. Search on Bibsonomy Bridging@IJCAI/ECAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira Contextual Reasoning: Usually Birds Can Abductively Fly. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp Contextual Abduction and its Complexity Issues. Search on Bibsonomy DARe@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? Search on Bibsonomy CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz Principles and Clusters in Human Syllogistic Reasoning. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
1Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni A Computational Logic Approach to Human Syllogistic Reasoning. Search on Bibsonomy CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha The Weak Completion Semantics. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
1Steffen Hölldobler, Sibylle Möhle, Anna Tigunova Lessons Learned from AlphaGo. Search on Bibsonomy YSIP The full citation details ... 2017 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp The Complexity of Contextual Abduction in Human Reasoning Tasks. Search on Bibsonomy YSIP The full citation details ... 2017 DBLP  BibTeX  RDF
1Armin Biere, Steffen Hölldobler, Sibylle Möhle An Abstract Dual Propositional Model Counter. Search on Bibsonomy YSIP The full citation details ... 2017 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha Obligation versus Factual Conditionals under the Weak Completion Semantics. Search on Bibsonomy YSIP The full citation details ... 2017 DBLP  BibTeX  RDF
1Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler Monadic Reasoning using Weak Completion Semantics. Search on Bibsonomy YSIP The full citation details ... 2017 DBLP  BibTeX  RDF
1Steffen Hölldobler, Andrey Malikov, Christoph Wernhard (eds.) YSIP2 - Proceedings of the Second Young Scientist's International Workshop on Trends in Information Processing, Dombai, Russian Federation, May 16-20, 2017. Search on Bibsonomy YSIP The full citation details ... 2017 DBLP  BibTeX  RDF
1Steffen Hölldobler (eds.) Ausgezeichnete Informatikdissertationen 2015 Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2016 DBLP  BibTeX  RDF
1Marco 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. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni Syllogistic Reasoning under the Weak Completion Semantics. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira On Indicative Conditionals. Search on Bibsonomy IWOST-1 The full citation details ... 2015 DBLP  BibTeX  RDF
1Steffen Hölldobler, Krisana Chinnasarn (eds.) Proceedings of the 2nd International Workshop on Semantic Technologies (IWOST2), Bangkok, Thailand, November 2-3, 2015. Search on Bibsonomy IWOST-2 The full citation details ... 2015 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni A Syllogistic Reasoning Theory and Three Examples. Search on Bibsonomy IWOST-2 The full citation details ... 2015 DBLP  BibTeX  RDF
1Steffen Hölldobler, Yanchun Liang 0001 (eds.) Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), Changchun, China, March 9-12, 2015. Search on Bibsonomy IWOST-1 The full citation details ... 2015 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira On Conditionals. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz, Steffen Hölldobler A New Computational Logic Approach to Reason with Conditionals. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler (eds.) Ausgezeichnete Informatikdissertationen 2014 Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2015 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz, Steffen Hölldobler, Raphael Hops A Computational Logic Approach to Human Spatial Reasoning. Search on Bibsonomy SSCI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph (eds.) KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings Search on Bibsonomy KI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler Weak Completion Semantics and its Applications in Human Reasoning. Search on Bibsonomy Bridging@CADE The full citation details ... 2015 DBLP  BibTeX  RDF
1Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler Contextual Abductive Reasoning with Side-Effects. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler Contextual Abductive Reasoning with Side-Effects. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard Modeling the suppression task under weak completion and well-founded semantics. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler (eds.) Ausgezeichnete Informatikdissertationen 2013 Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2014 DBLP  BibTeX  RDF
1Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler An Abductive Reasoning Approach to the Belief Bias Effect. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen Representative Encodings to Translate Finite CSPs into SAT. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen Efficient SAT-Encoding of Linear CSP Constraints. Search on Bibsonomy ISAIM The full citation details ... 2014 DBLP  BibTeX  RDF
1Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. Search on Bibsonomy POS@SAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. Search on Bibsonomy YSIP The full citation details ... 2014 DBLP  BibTeX  RDF
1Steffen Hölldobler, Lukas Schweizer Answer Set Programming and CLASP - A Tutorial. Search on Bibsonomy YSIP The full citation details ... 2014 DBLP  BibTeX  RDF
1Steffen Hölldobler, Andrey Malikov, Christoph Wernhard (eds.) 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. Search on Bibsonomy YSIP The full citation details ... 2014 DBLP  BibTeX  RDF
1Steffen Hölldobler, Ferdian Jovan Advanced Petri Nets and the Fluent Calculus. Search on Bibsonomy YSIP The full citation details ... 2014 DBLP  BibTeX  RDF
1Steffen Hölldobler (eds.) Ausgezeichnete Informatikdissertationen 2012 Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2012 DBLP  BibTeX  RDF
1Steffen Hölldobler (eds.) Ausgezeichnete Informatikdissertationen 2011 Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2012 DBLP  BibTeX  RDF
1Steffen Hölldobler, Norbert Manthey, Peter Steinke A Compact Encoding of Pseudo-Boolean Constraints into SAT. Search on Bibsonomy KI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter Großmann, Steffen Hölldobler, Norbert Manthey, Karl Nachtigall, Jens Opitz, Peter Steinke Solving Periodic Event Scheduling Problems with SAT. Search on Bibsonomy IEA/AIE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni A Computational Logic Approach to the Suppression Task. Search on Bibsonomy CogSci The full citation details ... 2012 DBLP  BibTeX  RDF
1Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova FluCaP: A Heuristic Search Planner for First-Order MDPs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Steffen Hölldobler (eds.) Ausgezeichnete Informatikdissertationen 2010 Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2011 DBLP  BibTeX  RDF
1Steffen Hölldobler, Tobias Philipp, Christoph Wernhard An Abductive Model for Human Reasoning. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya Improving Resource-Unaware SAT Solvers. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler (eds.) Ausgezeichnete Informatikdissertationen 2009 Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2010 DBLP  BibTeX  RDF
1Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli Logic Programs under Three-Valued Lukasiewicz Semantics. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Three Valued Logic Programs, ?ukasiewicz Semantics
1Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli Logics and Networks for Human Reasoning. Search on Bibsonomy ICANN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Human Reasoning, Logic Programs, Connectionist Models
1Sebastian Bader 0001, Pascal Hitzler, Steffen Hölldobler Connectionist model generation: A first-order approach. Search on Bibsonomy Neurocomputing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.) Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler Decidability Under the Well-Founded Semantics. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sebastian Bader 0001, Steffen Hölldobler, Valentin Mayer-Eichberger Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. Search on Bibsonomy NeSy The full citation details ... 2007 DBLP  BibTeX  RDF
1Sebastian Bader 0001, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel A Fully Connectionist Model Generator for Covered First-Order Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Sebastian Bader 0001, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel The Core Method: Connectionist Model Generation for First-Order Logic Programs. Search on Bibsonomy Perspectives of Neural-Symbolic Integration The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova FluCaP: A Heuristic Search Planner for First-Order MDPs. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sebastian Bader 0001, Steffen Hölldobler The Core Method: Connectionist Model Generation. Search on Bibsonomy ICANN (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sebastian Bader 0001, Pascal Hitzler, Steffen Hölldobler The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda Logic programs and connectionist networks. Search on Bibsonomy J. Applied Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor Journal of Applied Logic Special Volume on Neural-Symbolic Systems. Search on Bibsonomy J. Applied Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sebastian Bader 0001, Steffen Hölldobler, Alexandre Scalzitti Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. Search on Bibsonomy KI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Hans-Peter Störr, Dinh Khang Tran The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers. Search on Bibsonomy JACIII The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marina Guetova, Steffen Hölldobler, Hans-Peter Störr Incremental Fuzzy Decision Trees. Search on Bibsonomy KI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF classification, fuzzy logic, decision trees, incremental learning
1Sven-Erik Bornscheuer, Yvonne McIntyre, Steffen Hölldobler, Hans-Peter Störr User Adaptation in a Web Shop System. Search on Bibsonomy IMSA The full citation details ... 2001 DBLP  BibTeX  RDF
1Steffen Hölldobler, Hans-Peter Störr BDD-based reasoning in the fluent calculus - first results Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Steffen Hölldobler, Hans-Peter Störr Complex Plans in the Fluent Calculus. Search on Bibsonomy Intellectics and Computational Logic The full citation details ... 2000 DBLP  BibTeX  RDF
1Steffen Hölldobler (eds.) Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday) Search on Bibsonomy Intellectics and Computational Logic The full citation details ... 2000 DBLP  BibTeX  RDF
1Steffen Hölldobler Challenge problems for the integration of logic and connectionist systems. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Steffen Hölldobler, Hans-Peter Störr Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Dietrich Kuske The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Herbert Fiedler, Oliver Günther, Werner Grass, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner (eds.) Ausgezeichnete Informatikdissertationen 1999 Search on Bibsonomy 2000 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr Approximating the Semantics of Logic Programs by Recurrent Neural Networks. Search on Bibsonomy Appl. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Yvonne Kalinke, Jörg Wunderlich A Recursive Neural Network for Reflexive Reasoning. Search on Bibsonomy Hybrid Neural Systems The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. Search on Bibsonomy KI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Gerd Große, Steffen Hölldobler, Josef Schneeberger Linear Deductive Planning. Search on Bibsonomy J. Log. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, Steffen Hölldobler, Michael Thielscher An Abstract Machine for Reasoning about Situations, Actions, and Causality. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Christoph S. Herrmann, Steffen Hölldobler, Antje Strohmaier Fuzzy conceptual knowledge processing. Search on Bibsonomy SAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler Equational Logic and Theories of Action. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
1Günther Görz, Steffen Hölldobler (eds.) KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings Search on Bibsonomy KI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Michael Thielscher Computing change and specificity with equational logic programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, Steffen Hölldobler, Michael Thielscher A Resource-Oriented Deductive Approach Towards Hierarchical Planning. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Steffen Hölldobler, Yvonne Kalinke Ein massiv paralleles Modell für die Logikprogrammierung. Search on Bibsonomy WLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub Wissensrepräsentation und Inferenz - eine grundlegende Einführung. Search on Bibsonomy 1993   RDF
1Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger Disjunction In Resource-Oriented Deductive Planning. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Steffen Hölldobler, Michael Thielscher Actions and Specificity. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Antje Beringer, Steffen Hölldobler On the Adequateness of the Connection Method. Search on Bibsonomy AAAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Steffen Hölldobler, Michael Thielscher On Logic Programming with Multisets. Search on Bibsonomy ICLP Workshop on Logic Programming with Sets The full citation details ... 1993 DBLP  BibTeX  RDF
1Antje Beringer, Steffen Hölldobler, Franz J. Kurfess Spatial Reasoning and Connectionist Inference. Search on Bibsonomy IJCAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher Disjunction in Plan Generation by Equational Logic Programming. Search on Bibsonomy PuK The full citation details ... 1993 DBLP  BibTeX  RDF
1Jürgen Cleve, Steffen Hölldobler, Jörg Würtz 7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme". Search on Bibsonomy KI The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 121 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license