Logics and Networks for Human Reasoning

No abstract is available for this paper.

• Publication year

  2009

• Venue

  International Conference on Artificial Neural Networks

• Publication date

  2009-10-02

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-642-04277-5_9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Neural-symbolic learning systems - foundations and applications

  2012cited by this paper
• Onspect: ontology based aspects

  2008cited by this paper
• Human Reasoning and Cognitive Science

  2008influential reference
• Abductive reasoning in neural-symbolic systems

  2007cited by this paper
• A Fully Connectionist Model Generator for Covered First-Order Logic Programs

  2007cited by this paper
• Extracting Motion Primitives from Natural Handwriting Data

  2006cited by this paper
• Some Aspects of the Integration of Connectionist and Logic-Based Systems †

  2006cited by this paper
• The Core Method: Connectionist Model Generation

  2006cited by this paper
• A connectionist inductive learning system for modal logic programming

  2002cited by this paper
• Approximating the Semantics of Logic Programs by Recurrent Neural Networks

  1999cited by this paper
• Metric Methods Three Examples and a Theorem

  1994cited by this paper
• Towards a New Massively Parallel Computational Model for Logic Programming

  1994cited by this paper
• Multilayer feedforward networks are universal approximators

  1989cited by this paper
• On the approximate realization of continuous mappings by neural networks

  1989cited by this paper
• Suppressing valid inferences with conditionals.

  1989influential reference
• A Kripke-Kleene Semantics for Logic Programs

  1985influential reference
• Introduction to Metamathematics

  1952cited by this paper

• Our Themes on Abduction in Human Reasoning: A Synopsis

  2021cites this paper
• Modeling Human Reasoning About Conditionals

  2021cites this paper
• Logic Programming, Argumentation and Human Reasoning

  2020cites this paper
• Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings

  2020cites this paper
• The Weak Completion Semantics Can Model Inferences of Individual Human Reasoners

  2019cites this paper
• Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles

  2019cites this paper
• A Core Method for the Weak Completion Semantics with Skeptical Abduction

  2018cites this paper
• Learning Łukasiewicz logic

  2018influential citation
• From Logic Programming to Human Reasoning: How to be Artificially Human

  2018cites this paper
• Contextual Reasoning: Usually Birds Can Abductively Fly

  2017cites this paper
• The Weak Completion Semantics

  2017cites this paper
• YSIP2 - Proceedings of the Second Young Scientist's International Workshop on Trends in Information Processing, Dombai, Russian Federation, May 16-20, 2017

  2017cites this paper
• The Complexity of Contextual Abduction in Human Reasoning Tasks

  2017cites this paper
• A Computational Logic Approach to Human Syllogistic Reasoning

  2017cites this paper
• A Computational Logic Approach to the Belief Bias in Human Syllogistic Reasoning

  2017cites this paper
• Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning

  2017cites this paper
• Syllogistic Reasoning under the Weak Completion Semantics

  2016cites this paper
• An Approach to Supervised Learning of Three-Valued Łukasiewicz Logic in Hölldobler's Core Method

  2016influential citation
• A New Computational Logic Approach to Reason with Conditionals

  2015cites this paper
• Weak Completion Semantics and its Applications in Human Reasoning

  2015cites this paper
• A Computational Logic Approach to Human Spatial Reasoning

  2015cites this paper
• A Computational Logic Approach to Syllogisms in Human Reasoning

  2015cites this paper
• An Abductive Counterfactual Reasoning Approach in Logic Programming

  2015cites this paper
• On Indicative Conditionals

  2015cites this paper
• Proceedings of the First Workshop on Bridging the Gap between Human and Automated Reasoning Bridging-2015 a

  2015cites this paper
• A Syllogistic Reasoning Theory and Three Examples

  2015cites this paper
• An Abductive Reasoning Approach to the Belief Bias Effect

  2014cites this paper
• Modeling the suppression task under weak completion and well-founded semantics

  2014cites this paper
• Contextual Abductive Reasoning with Side-Effects

  2014cites this paper
• Review of Modern Techniques of Qualitative Data Clustering

  2014cites this paper
• Advanced Petri Nets and the Fluent Calculus

  2014cites this paper
• A Computational Logic Approach to the Abstract and the Social Case of the Selection Task

  2013cites this paper
• Human Reasoning and Automated Deduction

  2012cites this paper
• A Computational Logic Approach to the Suppression Task

  2012cites this paper
• Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics

  2012cites this paper
• Abduction in Human Reasoning

  2011influential citation
• Forward Human Reasoning Modeled by Logic Programming Modeled by Classical Logic with Circumscription and Projection

  2011cites this paper
• An Abductive Model for Human Reasoning

  2011cites this paper
• Embodied concept formation and reasoning via neural-symbolic integration

  2010cites this paper
• Human Reasoning and Abduction

  2010cites this paper
• Logic Programs under Three-Valued Lukasiewicz Semantics

  2009cites this paper
• Neural-symbolic integration

  2009cites this paper
• International Center for Computational Logic

  2009cites this paper
• Neural-Symbolic Integration

  2009cites this paper
• Logic Programs under Three-Valued Lukasiewicz Semantics

  2009cites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming Contextual Abductive Reasoning with Side-effects

  year unknowncites this paper