Steffen Hölldobler

FLAP, 2023

2022

Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning.

[BibT_eX]

[DOI]

Meghna Bhadra

Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), 2022

2021

The Weak Completion Semantics and Counter Examples.

[BibT_eX]

[DOI]

Meghna Bhadra

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

2020

Conditional Reasoning and Relevance.

[BibT_eX]

[DOI]

Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

2019

Cognitive Reasoning: A Personal View.

[BibT_eX]

[DOI]

Künstliche Intell., 2019

A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract).

[BibT_eX]

[DOI]

Luis Palacios Medinacelli

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Do Humans Reason with <i>E</i> -Matchers?

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

A Core Method for the Weak Completion Semantics with Skeptical Abduction.

[BibT_eX]

[DOI]

Luis Palacios Medinacelli

J. Artif. Intell. Res., 2018

The Weak Completion Semantics and Equality.

[BibT_eX]

[DOI]

Sibylle Schwarz

L. Yohanes Stefanus

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Ethical Decision Making under the Weak Completion Semantics.

[BibT_eX]

[DOI]

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018

2017

Obligation versus Factual Conditionals under the Weak Completion Semantics.

[BibT_eX]

[DOI]

Isabelly Lourêdo Rocha

Proceedings of the YSIP2, 2017

The Complexity of Contextual Abduction in Human Reasoning Tasks.

[BibT_eX]

[DOI]

Tobias Philipp

Proceedings of the YSIP2, 2017

Lessons Learned from AlphaGo.

[BibT_eX]

[DOI]

Sibylle Möhle

Anna Tigunova

Proceedings of the YSIP2, 2017

Monadic Reasoning using Weak Completion Semantics.

[BibT_eX]

[DOI]

Ana Oliveira da Costa

Proceedings of the YSIP2, 2017

An Abstract Dual Propositional Model Counter.

[BibT_eX]

[DOI]

Armin Biere

Sibylle Möhle

Proceedings of the YSIP2, 2017

Contextual Abduction and its Complexity Issues.

[BibT_eX]

[DOI]

Tobias Philipp

Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), 2017

Contextual Reasoning: Usually Birds Can Abductively Fly.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters.

[BibT_eX]

[DOI]

Richard Mörbitz

Proceedings of the Declarative Programming and Knowledge Management, 2017

The Weak Completion Semantics.

[BibT_eX]

[DOI]

Isabelly Lourêdo Rocha

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2017

Principles and Clusters in Human Syllogistic Reasoning.

[BibT_eX]

[DOI]

Richard Mörbitz

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2017

Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning?

[BibT_eX]

[DOI]

Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

A Computational Logic Approach to Human Syllogistic Reasoning.

[BibT_eX]

[DOI]

Ana Oliveira da Costa

Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

2016

Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis.

[BibT_eX]

[DOI]

Ilir Kola

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.

[BibT_eX]

[DOI]

Ana Oliveira da Costa

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.

[BibT_eX]

[DOI]

Raphael Hops

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

A New Computational Logic Approach to Reason with Conditionals.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

A Syllogistic Reasoning Theory and Three Examples.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Semantic Technologies (IWOST2), 2015

On Indicative Conditionals.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

On Conditionals.

[BibT_eX]

[DOI]

Proceedings of the Global Conference on Artificial Intelligence, 2015

Weak Completion Semantics and its Applications in Human Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2015

2014

Contextual Abductive Reasoning with Side-Effects.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Modeling the suppression task under weak completion and well-founded semantics.

[BibT_eX]

[DOI]

Christoph Wernhard

J. Appl. Non Class. Logics, 2014

Answer Set Programming and CLASP - A Tutorial.

[BibT_eX]

[DOI]

Lukas Schweizer

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, 2014

Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers.

[BibT_eX]

[DOI]

Advanced Petri Nets and the Fluent Calculus.

[BibT_eX]

[DOI]

Ferdian Jovan

An Abductive Reasoning Approach to the Belief Bias Effect.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Efficient SAT-Encoding of Linear CSP Constraints.

[BibT_eX]

[DOI]

Pedro Barahona

Van-Hau Nguyen

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

Representative Encodings to Translate Finite CSPs into SAT.

[BibT_eX]

[DOI]

Pedro Barahona

Van-Hau Nguyen

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

2012

A Compact Encoding of Pseudo-Boolean Constraints into SAT.

[BibT_eX]

[DOI]

Norbert Manthey

Peter Steinke

Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

Solving Periodic Event Scheduling Problems with SAT.

[BibT_eX]

[DOI]

Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012

A Computational Logic Approach to the Suppression Task.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012

2011

An Abductive Model for Human Reasoning.

[BibT_eX]

[DOI]

Tobias Philipp

Christoph Wernhard

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Improving Resource-Unaware SAT Solvers.

[BibT_eX]

[DOI]

Norbert Manthey

Ari Saptawijaya

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Logic Programs under Three-Valued Lukasiewicz Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

Logics and Networks for Human Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks, 2009

2008

Connectionist model generation: A first-order approach.

[BibT_eX]

[DOI]

Neurocomputing, 2008

Guiding Backprop by Inserting Rules.

[BibT_eX]

[DOI]

Nuno C. Marques

Proceedings of the Fourth International Workshop on Neural-Symbolic Learning and Reasoning, 2008

2007

The Core Method: Connectionist Model Generation for First-Order Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Neural-Symbolic Integration, 2007

Decidability Under the Well-Founded Semantics.

[BibT_eX]

[DOI]

Natalia Cherchago

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach.

[BibT_eX]

[DOI]

Valentin Mayer-Eichberger

Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007

A Fully Connectionist Model Generator for Covered First-Order Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

2006

FluCaP: A Heuristic Search Planner for First-Order MDPs.

[BibT_eX]

[DOI]

Eldar Karabaev

Olga Skvortsova

J. Artif. Intell. Res., 2006

The Core Method: Connectionist Model Generation.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks, 2006

2004

Logic programs and connectionist networks.

[BibT_eX]

[DOI]

Anthony Karel Seda

J. Appl. Log., 2004

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

[BibT_eX]

[DOI]

Artur S. d'Avila Garcez

Dov M. Gabbay

John G. Taylor

J. Appl. Log., 2004

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

[BibT_eX]

[DOI]

CoRR, 2004

Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding.

[BibT_eX]

[DOI]

Alexandre Scalzitti

Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

2003

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

[BibT_eX]

[DOI]

Dinh Khang Tran

J. Adv. Comput. Intell. Intell. Informatics, 2003

2002

Incremental Fuzzy Decision Trees.

[BibT_eX]

[DOI]

Marina Guetova

Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

2001

User Adaptation in a Web Shop System.

[BibT_eX]

Sven-Erik Bornscheuer

Yvonne McIntyre

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

[BibT_eX]

[DOI]

CoRR, 2000

Challenge problems for the integration of logic and connectionist systems.

[BibT_eX]

Proceedings of the 14. Workshop Logische Programmierung, 2000

The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus.

[BibT_eX]

[DOI]

Dietrich Kuske

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

Complex Plans in the Fluent Calculus.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Appl. Intell., 1999

1998

A Recursive Neural Network for Reflexive Reasoning.

[BibT_eX]

[DOI]

Jörg Wunderlich

Proceedings of the Hybrid Neural Systems, 1998

Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1997

Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks.

[BibT_eX]

[DOI]

Helko Lehmann

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

1996

Linear Deductive Planning.

[BibT_eX]

[DOI]

Gerd Große

Josef Schneeberger

J. Log. Comput., 1996

Fuzzy conceptual knowledge processing.

[BibT_eX]

[DOI]

Christoph S. Herrmann

Antje Strohmaier

Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

An Abstract Machine for Reasoning about Situations, Actions, and Causality.

[BibT_eX]

[DOI]

Kerstin Eder

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

Equational Logic and Theories of Action.

[BibT_eX]

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Computing change and specificity with equational logic programs.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1995

A Resource-Oriented Deductive Approach Towards Hierarchical Planning.

[BibT_eX]

Kerstin Eder

Proceedings of the 11. Workshop Logische Programmierung, 1995

1994

Ein massiv paralleles Modell für die Logikprogrammierung.

[BibT_eX]

Proceedings of the Tenth Logic Programming Workshop, 1994

1993

Actions and Specificity.

[BibT_eX]

Proceedings of the Logic Programming, 1993

Disjunction In Resource-Oriented Deductive Planning.

[BibT_eX]

Proceedings of the Logic Programming, 1993

Disjunction in Plan Generation by Equational Logic Programming.

[BibT_eX]

Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993

Spatial Reasoning and Connectionist Inference.

[BibT_eX]

Antje Beringer

Franz J. Kurfess

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

On Logic Programming with Multisets.

[BibT_eX]

Proceedings of the Workshop on Logic Programming with Sets, 1993

On the Adequateness of the Connection Method.

[BibT_eX]

[DOI]

Antje Beringer

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

Wissensrepräsentation und Inferenz - eine grundlegende Einführung.

[BibT_eX]

Wolfgang Bibel

Torsten Schaub

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".

[BibT_eX]

Jürgen Cleve

Jörg Würtz

Künstliche Intell., 1992

On Deductive Planning and the Frame Problem.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

Equational Logic Programming Actions, and Change.

[BibT_eX]

Proceedings of the Logic Programming, 1992

Cycle Unification.

[BibT_eX]

[DOI]

Wolfgang Bibel

Jörg Würtz

Proceedings of the Automated Deduction, 1992

1991

Combining Logic Programming and Equation Solving.

[BibT_eX]

[DOI]

J. Log. Comput., 1991

1990

Conditional Equational Theories and Complete Sets of Transformations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

A New Deductive Approach to Planning.

[BibT_eX]

[DOI]

Josef Schneeberger

New Gener. Comput., 1990

On High-Level Inferencing and the Variable Binding Problem in Connectionist Networks.

[BibT_eX]

[DOI]

Proceedings of the Konnektionismus in Artificial Intelligence und Kognitionsforschung. Proceedings 6. Österreichische Artificial Intelligence-Tagung (KONNAI), 1990

CHCL - A Connectionist Infernce System.

[BibT_eX]

[DOI]

Franz J. Kurfess

Proceedings of the Parallelization in Inference Systems, 1990

Connectionist Inference Systems.

[BibT_eX]

[DOI]

Hans W. Guesgen