Steffen Hölldobler

According to our database1, Steffen Hölldobler
  • authored at least 82 papers between 1985 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Contextual Reasoning: Usually Birds Can Abductively Fly.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

2016
Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Syllogistic Reasoning under the Weak Completion Semantics.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

2015
A Computational Logic Approach to Human Spatial Reasoning.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

A New Computational Logic Approach to Reason with Conditionals.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

A Syllogistic Reasoning Theory and Three Examples.
Proceedings of the 2nd International Workshop on Semantic Technologies (IWOST2), 2015

On Indicative Conditionals.
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

On Conditionals.
Proceedings of the Global Conference on Artificial Intelligence, 2015

Weak Completion Semantics and its Applications in Human Reasoning.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2015

2014
Contextual Abductive Reasoning with Side-Effects.
TPLP, 2014

Modeling the suppression task under weak completion and well-founded semantics.
Journal of Applied Non-Classical Logics, 2014

Contextual Abductive Reasoning with Side-Effects.
CoRR, 2014

Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers.
Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014

An Abductive Reasoning Approach to the Belief Bias Effect.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Efficient SAT-Encoding of Linear CSP Constraints.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

Representative Encodings to Translate Finite CSPs into SAT.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

2012
A Compact Encoding of Pseudo-Boolean Constraints into SAT.
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

Solving Periodic Event Scheduling Problems with SAT.
Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012

A Computational Logic Approach to the Suppression Task.
Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012

2011
An Abductive Model for Human Reasoning.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Improving Resource-Unaware SAT Solvers.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009
Logic Programs under Three-Valued Lukasiewicz Semantics.
Proceedings of the Logic Programming, 25th International Conference, 2009

Logics and Networks for Human Reasoning.
Proceedings of the Artificial Neural Networks, 2009

2008
Connectionist model generation: A first-order approach.
Neurocomputing, 2008

2007
The Core Method: Connectionist Model Generation for First-Order Logic Programs.
Proceedings of the Perspectives of Neural-Symbolic Integration, 2007

Decidability Under the Well-Founded Semantics.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach.
Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007

A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
Proceedings of the IJCAI 2007, 2007

2006
FluCaP: A Heuristic Search Planner for First-Order MDPs.
J. Artif. Intell. Res., 2006

The Core Method: Connectionist Model Generation.
Proceedings of the Artificial Neural Networks, 2006

2004
Logic programs and connectionist networks.
J. Applied Logic, 2004

Journal of Applied Logic Special Volume on Neural-Symbolic Systems.
J. Applied Logic, 2004

The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
CoRR, 2004

Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

2003
The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers.
JACIII, 2003

2002
Incremental Fuzzy Decision Trees.
Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

2001
User Adaptation in a Web Shop System.
Proceedings of the Fifth IASTED International Conference Internet and Multimedia Systems and Applications (IMSA 2001), 2001

2000
BDD-based reasoning in the fluent calculus - first results
CoRR, 2000

Challenge problems for the integration of logic and connectionist systems.
WLP, 2000

The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams.
Proceedings of the Computational Logic, 2000

Complex Plans in the Fluent Calculus.
Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1999
Approximating the Semantics of Logic Programs by Recurrent Neural Networks.
Appl. Intell., 1999

1998
A Recursive Neural Network for Reflexive Reasoning.
Proceedings of the Hybrid Neural Systems, 1998

Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs.
Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1997
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks.
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

1996
Linear Deductive Planning.
J. Log. Comput., 1996

Fuzzy conceptual knowledge processing.
Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

An Abstract Machine for Reasoning about Situations, Actions, and Causality.
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

Equational Logic and Theories of Action.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Computing change and specificity with equational logic programs.
Ann. Math. Artif. Intell., 1995

A Resource-Oriented Deductive Approach Towards Hierarchical Planning.
WLP, 1995

1994
Ein massiv paralleles Modell für die Logikprogrammierung.
WLP, 1994

1993
Actions and Specificity.
Proceedings of the Logic Programming, 1993

Disjunction In Resource-Oriented Deductive Planning.
Proceedings of the Logic Programming, 1993

Disjunction in Plan Generation by Equational Logic Programming.
Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993

Spatial Reasoning and Connectionist Inference.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

On Logic Programming with Multisets.
Proceedings of the Workshop on Logic Programming with Sets, 1993

On the Adequateness of the Connection Method.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

Wissensrepräsentation und Inferenz - eine grundlegende Einführung.
Artificial Intelligence, Vieweg, ISBN: 978-3-528-05374-1, 1993

1992
7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme".
KI, 1992

On Deductive Planning and the Frame Problem.
Proceedings of the Logic Programming and Automated Reasoning, 1992

Equational Logic Programming Actions, and Change.
Proceedings of the Logic Programming, 1992

Cycle Unification.
Proceedings of the Automated Deduction, 1992

1991
Combining Logic Programming and Equation Solving.
J. Log. Comput., 1991

1990
Conditional Equational Theories and Complete Sets of Transformations.
Theor. Comput. Sci., 1990

A New Deductive Approach to Planning.
New Generation Comput., 1990

On High-Level Inferencing and the Variable Binding Problem in Connectionist Networks.
Proceedings of the Konnektionismus in Artificial Intelligence und Kognitionsforschung. Proceedings 6. Österreichische Artificial Intelligence-Tagung (KONNAI), 1990

CHCL - A Connectionist Infernce System.
Proceedings of the Parallelization in Inference Systems, 1990

Connectionist Inference Systems.
Proceedings of the Parallelization in Inference Systems, 1990

A Structured Connectionist Unification Algorithm.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, July 29, 1990

1989
Horn Equational Theories and Paramodulation.
J. Autom. Reasoning, 1989

A New Deductive Approach to Planning.
Proceedings of the GWAI-89, 1989

Linear Paramodulation modulo Equality.
Proceedings of the GWAI-89, 1989

Foundations of Equational Logic Programming
Lecture Notes in Computer Science 353, Springer, ISBN: 3-540-51533-X, 1989

1988
From Paramodulation to Narrowing.
Proceedings of the Logic Programming, 1988

Horn Equality Theories and Complete Sets of Transformations.
FGCS, 1988

1987
The Undecidability of the Unification and Matching Problem for Canonical Theories.
Acta Inf., 1987

Equational Logic Programming.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

A Unification Algorithms for Confluent Theories.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986
Modelling the Combination of Functional and Logic Programming Languages.
J. Symb. Comput., 1986

1985
Extended Unification and its Implementation.
Proceedings of the GWAI-85, 1985


  Loading...