Steffen Hölldobler/en
From International Center for Computational Logic
Former member
- Former default
Newest Publications
Meghna Bhadra, Steffen Hölldobler
The Weak Completion Semantics and Counterexamples
Journal of Applied Logics - IfCoLog, 10(2):121--154, 2023
Details
Meghna Bhadra, Islam Hamada, Steffen Hölldobler, Luís Moniz Pereira
Humans Reason Skeptically
In Handbook of Abductive Cognition, chapter Humans Reason Skeptically, 797--832. Springer, 2023
Details
Meghna Bhadra, Steffen Hölldobler
Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning
, 2022. CAKR@ IJCAI
Details
Meghna Bhadra, Steffen Hölldobler
The Weak Completion Semantics and Counter Examples
In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm, eds., Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence, KI-2021, volume 2961 of CEUR Workshop Proceedings, 60--73, 2021. CEUR-WS.org
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz, L.Yohanes Stefanus
The Weak Completion Semantics and Equality
In Gilles Barthe and Geoff Sutcliffe and Margus Veanes, eds., 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 326-342, 2018. EasyChair
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters
In Dietmar Seipel and Michael Hanus and Salvador Abreu, eds., Declarative Programming and Knowledge Management, volume 10997 of LNAI, 149-165, 2018. Springer Nature Switzerland AG
Details
Ana Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A computational logic approach to human syllogistic reasoning
Proceedings of the 39th Annual Conference of the Cognitive Science Society, 883-888, 2017
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira
Contextual reasoning: Usually birds can abductively fly
In Marcello Balduccini, Tomi Janhunen, eds., 14th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 10377 of Lecture Notes in Computer Science, 64--77, 2017. Springer
Details
Emmanuell-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
On conditionals
In Gottlob, G., Sutcliffe, G., Voronkov, A., eds., Global Conference on Artificial Intelligence, volume 36 of EPiC Series in Computing, 79--92, 2015. EasyChair
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler
A New Computational Logic Approach to Reason with Conditionals
In F. Calimeri, G.I., Truszczynski, M., eds., 13th International Conference on Logic Programming and Non-monotonic Reasoning, volume 9345 of Lecture Notes in Artificial Intelligence, 2015. Springer
Details
