Human Reasoning and Automated Deduction

[1]  Teodor C. Przymusinski.  The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics , 1990, Fundam. Inform..

[2]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[3]  Gabriele Kern-Isberner,et al.  A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets , 2011, IJCAI.

[4]  Steffen Hölldobler,et al.  Logic Programs under Three-Valued Lukasiewicz Semantics , 2009, ICLP.

[5]  P. Tetlock.  Thinking the unthinkable: sacred values and taboo cognitions , 2003, Trends in Cognitive Sciences.

[6]  Gabriele Kern-Isberner,et al.  Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents , 2001 .

[7]  Leora Morgenstern,et al.  Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking , 2001, Stud Logica.

[8]  Keith Stenning,et al.  Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression Task , 2005, Cogn. Sci..

[9]  Melvin Fitting,et al.  A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[10]  Michael Beetz,et al.  Simulation-based temporal projection of everyday robot object manipulation , 2011, AAMAS.

[11]  Wolfgang Spohn,et al.  The Laws of Belief - Ranking Theory and Its Philosophical Applications , 2012 .

[12]  Ernest Davis,et al.  Ontologies and Representations of Matter , 2010, AAAI.

[13]  Ernest Davis,et al.  Qualitative Spatial Reasoning in Interpreting Text and Narrative , 2013, Spatial Cogn. Comput..

[14]  R. Byrne.  Suppressing valid inferences with conditionals , 1989, Cognition.

[15]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[16]  Rohit Parikh,et al.  Conditional Probability and Defeasible Inference , 2005, J. Philos. Log..

[17]  Berend Smit,et al.  Understanding molecular simulation: from algorithms to applications , 1996 .

[18]  François Fages,et al.  Consistency of Clark's completion and existence of stable models , 1992, Methods Log. Comput. Sci..

[19]  Fangzhen Lin,et al.  Loop formulas for circumscription , 2004, Artif. Intell..

[20]  Fangzhen Lin.  A study of nonmonotonic reasoning , 1992 .

[21]  John E. Hummel,et al.  Distributed representations of structure: A theory of analogical access and mapping. , 1997 .

[22]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[23]  J. S. Evans,et al.  Interpretation and Matching Bias in a Reasoning Task , 1972 .

[24]  Christoph Wernhard.  Projection and scope-determined circumscription , 2012, J. Symb. Comput..

[25]  Judea Pearl,et al.  System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .

[26]  P. W. Lamberti,et al.  Jensen-Shannon divergence as a measure of distinguishability between mixed quantum states , 2005, quant-ph/0508138.

[27]  Joseph M. Paxton,et al.  Moral Reasoning: Hints and Allegations , 2010, Top. Cogn. Sci..

[28]  David Makinson,et al.  General patterns in nonmonotonic reasoning , 1994 .

[29]  Stan Franklin,et al.  A Conceptual and Computational Model of Moral Decision Making in Human and Artificial Agents , 2010, Top. Cogn. Sci..

[30]  N. Rescher.  Many Valued Logic , 1969 .

[31]  Thomas Lukasiewicz,et al.  Weak nonmonotonic probabilistic logics , 2004, Artif. Intell..

[32]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[33]  Kenneth D. Forbus,et al.  Analogy and moral decision making , 2009 .

[34]  Luís Moniz Pereira,et al.  Modelling morality with prospective logic , 2009 .

[35]  Joshua D. Greene,et al.  A Dissociation Between Moral Judgments and Justifications , 2007 .

[36]  Kenneth D. Forbus,et al.  A cognitive model of recognition-based moral decision making , 2009 .

[37]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[38]  Andrea Bender,et al.  Competent Deontic Reasoning: The Abstract Deontic Selection Task Revisited , 2012, CogSci.

[39]  Günther Palm,et al.  Wörterbuch der Kognitionswissenschaft , 1996 .

[40]  John E. Hummel,et al.  Higher-Level Cognitive Functions and Connectionist Modeling. Relational Reasoning in a Neurally-Plausible Cognitive Architecture: An Overview of the LISA Project. , 2003 .

[41]  Jia-Huai You,et al.  Unfolding partiality and disjunctions in stable model semantics , 2000, TOCL.

[42]  Steffen Hölldobler,et al.  Logics and Networks for Human Reasoning , 2009, ICANN.

[43]  G. Kleiter,et al.  Nonmonotonicity and Human Probabilistic Reasoning , 2003 .

[44]  P C Wason,et al.  Reasoning about a Rule , 1968, The Quarterly journal of experimental psychology.

[45]  Brian Falkenhainer,et al.  The Structure-Mapping Engine: Algorithm and Examples , 1989, Artif. Intell..

[46]  Michael Beetz,et al.  Logic programming with simulation-based temporal projection for everyday robot object manipulation , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[47]  Mary-Anne Williams,et al.  Comirit: Commonsense Reasoning by Integrating Simulation and Logic , 2008, AGI.

[48]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[49]  Steffen Hölldobler,et al.  A Computational Logic Approach to the Suppression Task , 2012, CogSci.

[50]  Keith Stenning,et al.  Human Reasoning and Cognitive Science , 2008 .

[51]  Ernest Davis.  Pouring liquids: A study in commonsense physical reasoning , 2008, Artif. Intell..