Marco Ragni

Top. Cogn. Sci., 2020

Modeling Human Syllogistic Reasoning: The Role of "No Valid Conclusion".

[BibT_eX]

[DOI]

Top. Cogn. Sci., 2020

The Neurocognitive Correlates of Human Reasoning: A Meta-analysis of Conditional and Syllogistic Inferences.

[BibT_eX]

[DOI]

Julia Wertheim

J. Cogn. Neurosci., 2020

Uncovering the Data-Related Limits of Human Reasoning Research: An Analysis based on Recommender Systems.

[BibT_eX]

[DOI]

CoRR, 2020

A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty.

[BibT_eX]

[DOI]

Lukas Berger

Bernhard Nebel

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

An Adaptive Model for Cognitive Reasoning.

[BibT_eX]

[DOI]

Jonas Bischofberger

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

Cognitive Logics - Features, Formalisms, and Challenges.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

A Re-Implementation of a Dynamic Field Theory Model of Mental Maps using Python and Nengo.

[BibT_eX]

[DOI]

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

Do Models Capture Individuals? Evaluating Parameterized Models for Syllogistic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

The Role of Feedback and Post-Error Adaptations in Reasoning.

[BibT_eX]

[DOI]

Hannah Dames

Clemens Schiebel

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

Analyzing the Differences in Human Reasoning via Joint Nonnegative Matrix Factorization.

[BibT_eX]

[DOI]

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

Improving Cognitive Models for Syllogistic Reasoning.

[BibT_eX]

[DOI]

Jonas Bischofberger

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

Kognition.

[BibT_eX]

[DOI]

Proceedings of the Handbuch der Künstlichen Intelligenz, 6. Auflage, 2020

2019

Thinking is Founded on Models of Possibilities - Interview with Phil Johnson-Laird, Princeton University/New York University.

[BibT_eX]

[DOI]

Künstliche Intell., 2019

Editorial.

[BibT_eX]

[DOI]

Künstliche Intell., 2019

Cognitive Reasoning: A Personal View.

[BibT_eX]

[DOI]

Künstliche Intell., 2019

Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management.

[BibT_eX]

[DOI]

Künstliche Intell., 2019

Predictive Systems: The Game Rock-Paper-Scissors as an Example.

[BibT_eX]

[DOI]

Mathias Zink

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Rational Inference Patterns.

[BibT_eX]

[DOI]

Lars-Phillip Spiegel

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

A Cross-Domain Theory of Mental Models.

[BibT_eX]

[DOI]

Sara Todorovikj

Proceedings of the Knowledge Management and Acquisition for Intelligent Systems, 2019

The Weak Completion Semantics Can Model Inferences of Individual Human Reasoners.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Predicting Individual Human Reasoning: The PRECORE-Challenge.

[BibT_eX]

[DOI]

Sangeet Khemlani

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

When Does a Reasoner Respond: Nothing Follows?

[BibT_eX]

[DOI]

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

The Stream of Spatial Information: Spanning the Space of Spatial Relational Models.

[BibT_eX]

[DOI]

Jelica Nejasmic

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

2018

The Neural Correlates of Relational Reasoning: A Meta-analysis of 47 Functional Magnetic Resonance Studies.

[BibT_eX]

[DOI]

Julia Wertheim

J. Cogn. Neurosci., 2018

Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges.

[BibT_eX]

[DOI]

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

The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning.

[BibT_eX]

[DOI]

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

Predict the Individual Reasoner: A New Approach.

[BibT_eX]

[DOI]

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

Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management.

[BibT_eX]

[DOI]

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

Towards a Formal Foundation of Cognitive Architectures.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

Individuals become more logical without feedback.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

Reasoning about possibilities: human reasoning violates all normal modal logics.

[BibT_eX]

[DOI]

Phil Johnson-Laird

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

Putting the Probability Heuristics Model to the Test.

[BibT_eX]

[DOI]

Lukas Elflein

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

Multinomial Processing Models for Syllogistic Reasoning: A Comparison.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

Rational Inference Patterns Based on Conditional Logic.

[BibT_eX]

[DOI]

Christian Eichhorn

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning.

[BibT_eX]

[DOI]

Christian Eichhorn

Alice Ping Ping Tse

Minds Mach., 2017

The gap between human's attitude towards robots in general and human's expectation of an ideal everyday life robot.

[BibT_eX]

[DOI]

Barbara Kuhnert

Felix Lindner

Proceedings of the 26th IEEE International Symposium on Robot and Human Interactive Communication, 2017

The Neural Mechanisms of Relational Reasoning: Dissociating Representational Types.

[BibT_eX]

[DOI]

Julia Wertheim

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

Empathic Humans Punishing an Emotional Virtual Agent.

[BibT_eX]

[DOI]

Laura Wächter

Barbara Kuhnert

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

Interpretation and Processing Time of Generalized Quantifiers: Why your Mental Space Matters.

[BibT_eX]

[DOI]

Alice Ping Ping Tse

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

The Search for Cognitive Models: Standards and Challenges.

[BibT_eX]

[DOI]

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

The Wason Selection task: A Meta-Analysis.

[BibT_eX]

[DOI]

Phil Johnson-Laird

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

Perceived Difficulty of Moral Dilemmas Depends on Their Causal Structure: A Formal Model and Preliminary Results.

[BibT_eX]

[DOI]

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

Predicting Responses of Individual Reasoners in Syllogistic Reasoning by using Collaborative Filtering.

[BibT_eX]

[DOI]

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

Processing Spatial Relations: A Meta-Analysis.

[BibT_eX]

[DOI]

Ann-Kathrin Kießner

Emmanuelle-Anna Dietz Saldanha

Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 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

Cognitive Space and Spatial Cognition: The SFB/TR 8 Spatial Cognition.

[BibT_eX]

[DOI]

Künstliche Intell., 2016

Errare humanum est: Erroneous robots in human-robot interaction.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Robot and Human Interactive Communication, 2016

Simulating Human Inferences in the Light of New Information: A Formal Analysis.

[BibT_eX]

[DOI]

Christian Eichhorn

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

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

[BibT_eX]

[DOI]

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

Can non-monotonic logics model human reasoning?

[BibT_eX]

Proceedings of the Computational Models of Rationality, 2016

2015

Higher-Level Cognition and Computation: A Survey.

[BibT_eX]

[DOI]

Frieder Stolzenburg

Künstliche Intell., 2015

Special Issue on Higher-Level Cognition and Computation.

[BibT_eX]

[DOI]

Frieder Stolzenburg

Künstliche Intell., 2015

The Pleasure will be Always on Our Side - Interview with Wolfram Burgard, University of Freiburg.

[BibT_eX]

[DOI]

Christian Becker-Asano

Künstliche Intell., 2015

To Make the World a Better Place - Interview with Bernhard Nebel, Professor for Foundations of Artificial Intelligence, University of Freiburg, Germany.

[BibT_eX]

[DOI]

Künstliche Intell., 2015

A Syllogistic Reasoning Theory and Three Examples.

[BibT_eX]

[DOI]

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

Reasoning about Spatial Consistency.

[BibT_eX]

[DOI]

Tobias Sonntag

Phil Johnson-Laird

Proceedings of the EuroAsianPacific Joint Conference on Cognitive Science / 4th European Conference on Cognitive Science / 11th International Conference on Cognitive Science, 2015

Preferred Inferences in Causal Relational Reasoning: Counting Model Operations.

[BibT_eX]

[DOI]

Stephanie Schwenke

Christine Otieno

Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

Comparing Computer Models Solving Number Series Problems.

[BibT_eX]

[DOI]

Ute Schmid

Proceedings of the Artificial General Intelligence, 2015

2014

Analyzing Raven's Intelligence Test: Cognitive Model, Demand, and Complexity.

[BibT_eX]

[DOI]

Stefanie Neubert

Proceedings of the Computational Approaches to Analogical Reasoning: Current Trends, 2014

Cognitive Complexity and Analogies in Transfer Learning.

[BibT_eX]

[DOI]

Gerhard Strube

Künstliche Intell., 2014

Spatial Planning: An ACT-R Model for the Tower of London Task.

[BibT_eX]

[DOI]

Rebecca Albrecht

Proceedings of the Spatial Cognition IX, 2014

Automatic Identification of Human Strategies by Cognitive Agents.

[BibT_eX]

[DOI]

Rebecca Albrecht

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

Theory Comparison for Generalized Quantifiers.

[BibT_eX]

[DOI]

Henrik Singmann

Eva-Maria Steinlein

Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

Can Formal Non-monotonic Systems Properly Describe Human Reasoning?

[BibT_eX]

[DOI]

Gregory Kuhnmünch

Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

Gestalt Effects in Planning: Rush-Hour as an example.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

2013

Premise annotation in mental model construction: An ACT-R approach to processing indeterminacy in spatial relational reasoning.

[BibT_eX]

[DOI]

Cogn. Syst. Res., 2013

An Affective Virtual Agent Providing Embodied Feedback in the Paired Associate Task: System Design and Evaluation.

[BibT_eX]

[DOI]

Christian Becker-Asano

Proceedings of the Intelligent Virtual Agents - 13th International Conference, 2013

Kognition.

[BibT_eX]

[DOI]

Proceedings of the Handbuch der Künstlichen Intelligenz, 5. Auflage, 2013

2012

Preferences and illusions in quantified spatial relational reasoning.

[BibT_eX]

[DOI]

Tobias Sonntag

Cogn. Process., 2012

Linguistic Principles for Spatial Relational Reasoning.

[BibT_eX]

[DOI]

Thora Tenbrink

Proceedings of the Spatial Cognition VIII - International Conference, 2012

Robot-specific social cues in emotional body language.

[BibT_eX]

[DOI]

Stephanie Embgen

Matthias Luber

Christian Becker-Asano

Vanessa Evers

Kai Oliver Arras

Proceedings of the 21st IEEE International Symposium on Robot and Human Interactive Communication, 2012

Deductive Reasoning - Using Artificial Neural Networks to Simulate Preferential Reasoning.

[BibT_eX]

Proceedings of the IJCCI 2012 - Proceedings of the 4th International Joint Conference on Computational Intelligence, Barcelona, Spain, 5, 2012

Solving Raven's IQ-tests: An AI and Cognitive Modeling Approach.

[BibT_eX]

[DOI]

Stefanie Neubert

Proceedings of the ECAI 2012, 2012

Constraints, Inferences, and the Shortest Path: Which paths do we prefer?

[BibT_eX]

[DOI]

Jan Malte Wiener

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

The use of ACT-R to develop an attention model for simple driving tasks.

[BibT_eX]

[DOI]

Kerstin Sophie Haring

Lars Konieczny

Katsumi Watanabe

Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 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

The challenge of complexity for cognitive systems.

[BibT_eX]

[DOI]

Cogn. Syst. Res., 2011

Generalized dynamic stock and flow systems: An AI approach.

[BibT_eX]

[DOI]

Cogn. Syst. Res., 2011

Predicting Numbers: An AI Approach to Solving Number Series.

[BibT_eX]

[DOI]

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

Solving Number Series - Architectural Properties of Successful Artificial Neural Networks.

[BibT_eX]

Proceedings of the NCTA 2011, 2011

A Structural Complexity Measure for Predicting Human Planning Performance.

[BibT_eX]

[DOI]

Thomas Fangmeier

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

Conditional Relational Reasoning.

[BibT_eX]

[DOI]

Tobias Sonntag

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

Using a Cognitive Model for an In-Depth Analysis of the Tower of London.

[BibT_eX]

[DOI]

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

Human Spatial Relational Reasoning: Processing Demands, Representations, and Cognitive Model.

[BibT_eX]

[DOI]

Sven Brüssow

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Complex problem solving: another test case?

[BibT_eX]

[DOI]

Christoph M. Löffler

Cogn. Process., 2010

Complexity in Analogy Tasks: An Analysis and Computational Model.

[BibT_eX]

[DOI]

Philip Stahl

Proceedings of the ECAI 2010, 2010

2009

Human Spatial Cognition: Cognitive Science Joins AI and Robotics.

[BibT_eX]

[DOI]

Künstliche Intell., 2009

A Cognitive Perspective on QSR: Navigation as an Example.

[BibT_eX]

[DOI]

Gregory Kuhnmünch

Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

2008

Räumliche Repräsentation, Komplexität und Deduktion: eine kognitive Komplexitätstheorie.

[BibT_eX]

[DOI]

PhD thesis, 2008

Qualitative spatial reasoning about relative point position.

[BibT_eX]

[DOI]

Reinhard Moratz

J. Vis. Lang. Comput., 2008

Deductive Spatial Reasoning: A Computational and a Cognitive Perspective.

[BibT_eX]

[DOI]

Markus Knauff

Künstliche Intell., 2008

Reasoning about Topological and Positional Information in Dynamic Settings.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2007

Negation in Spatial Reasoning.

[BibT_eX]

[DOI]

Stefan Schleipen

Thomas Fangmeier

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

Cross-Cultural Similarities in Topological Reasoning.

[BibT_eX]

[DOI]

Bolormaa Tseden

Markus Knauff

Proceedings of the Spatial Information Theory, 8th International Conference, 2007

A Cognitive Computational Model for Spatial Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Control Mechanisms for Spatial Knowledge Processing in Cognitive / Intelligent Systems, 2007

2006

Preferred Mental Models: How and Why They Are So Important in Human Reasoning with Spatial Relations.

[BibT_eX]

[DOI]

Proceedings of the Spatial Cognition V: Reasoning, 2006

Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs.

[BibT_eX]

[DOI]

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

Dependency Calculus: Reasoning in a General Point Relation Algebra.

[BibT_eX]

[DOI]

Alexander Scivos

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

2004

Branching Allen.

[BibT_eX]

[DOI]

Proceedings of the Spatial Cognition IV: Reasoning, 2004

2003

An Arrangement Calculus, Its Complexity and Algorithmic Properties.

[BibT_eX]

[DOI]