Contextual Abductive Reasoning with Side-Effects
暂无分享,去创建一个
[1] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[2] Steffen Hölldobler,et al. Logics and Networks for Human Reasoning , 2009, ICANN.
[3] C. Hempel. Philosophy of Natural Science , 1966 .
[4] Jonathan St. B. T. Evans. Biases in deductive reasoning , 2012 .
[5] Steffen Hölldobler,et al. Logic Programs under Three-Valued Lukasiewicz Semantics , 2009, ICLP.
[6] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.
[7] P C Wason,et al. Reasoning about a Rule , 1968, The Quarterly journal of experimental psychology.
[8] P. Pollard,et al. On the conflict between logic and belief in syllogistic reasoning , 1983, Memory & cognition.
[9] R. Byrne. Suppressing valid inferences with conditionals , 1989, Cognition.
[10] Jonathan Evans. Thinking Twice: Two minds in one brain , 2010 .
[11] R. Pohl. Cognitive illusions : a handbook on fallacies and biases in thinking, judgement and memory , 2004 .
[12] Paolo Mancarella,et al. Abductive Logic Programming , 1992, LPNMR.
[13] Tran Cao Son,et al. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.
[14] Steffen Hölldobler,et al. A Computational Logic Approach to the Suppression Task , 2012, CogSci.
[15] Steffen Hölldobler,et al. Modeling the suppression task under weak completion and well-founded semantics , 2014, J. Appl. Non Class. Logics.
[16] Keith Stenning,et al. Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression Task , 2005, Cogn. Sci..
[17] Robert A. Kowalski,et al. Computational Logic and Human Thinking: How to Be Artificially Intelligent , 2011 .
[18] L. Pereira,et al. Inspecting side-effects of abduction in logic programs , 2011 .
[19] Luís Moniz Pereira,et al. Tabled Abduction in Logic Programs , 2013, Theory Pract. Log. Program..
[20] Jack Minker,et al. Logic and Data Bases , 1978, Springer US.
[21] José Júlio Alferes,et al. Hypothetical Reasoning with Well Founded Semantics , 1991, SCAI.
[22] Pietro Torasso,et al. On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..
[23] E. Bedel. Relationship between , 2009 .
[24] Steffen Hölldobler,et al. A Computational Logic Approach to the Abstract and the Social Case of the Selection Task , 2013 .
[25] Keith Stenning,et al. Human Reasoning and Cognitive Science , 2008 .
[26] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.
[27] Dov M. Gabbay,et al. What Is Negation as Failure? , 2012, Logic Programs, Norms and Action.
[28] Steffen Hölldobler,et al. An Abductive Model for Human Reasoning , 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.