Editorial: Beyond formal models of reasoning about explanations

被引：0

作者：

Koslowski, Barbara ^{[1
]}

Douven, Igor ^{[2
]}

Masnick, Amy ^{[3
]}

Krzyzanowska, Karolina ^{[4
]}

Chinn, Clark ^{[5
]}

Morris, Bradley ^{[6
]}

机构：

[1] Cornell Univ, Dept Human Dev, Ithaca, NY 14853 USA

[2] Univ Paris, French Natl Ctr Sci Res CNRS, Paris, Ile De France, France

[3] Hofstra Univ, Dept Psychol, Hempstead, NY 11549 USA

[4] Univ Amsterdam, Inst Log Language & Computat, Amsterdam, Netherlands

[5] Rutgers Univ Newark, Grad Sch Educ, Newark, NJ 07102 USA

[6] Kent State Univ, Dept Learning Sci & Educ Psychol, Kent, OH 44242 USA

来源：

FRONTIERS IN PSYCHOLOGY | 2024年 / 15卷

关键词：

abduction; explanation; scientific reasoning; cognition; formal models; INFERENCE;

D O I：

10.3389/fpsyg.2024.1358934

中图分类号：

B84 [心理学];

学科分类号：

04 ; 0402 ;

摘要：

引用

页数：2

共 50 条

[41] Reasoning About Partial Functions in the Formal Development of Programs
Jones, Cliff B.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 145 : 3 - 25
[42] Formal semantics and reasoning about UML class diagram
Szlenk, Marcin
DEPCOS-RELCOMEX 2006, 2006, : 51 - 58
[43] SYSTEMATIC AND METASYSTEMATIC REASONING - A CASE FOR LEVELS OF REASONING BEYOND PIAGETS STAGE OF FORMAL OPERATIONS
COMMONS, ML
RICHARDS, FA
KUHN, D
CHILD DEVELOPMENT, 1982, 53 (04) : 1058 - 1069
[44] Reasoning about explanations for negative query answers in DL-lite
1600, AI Access Foundation (48):
[45] Reasoning about Explanations for Negative Query Answers in DL-Lite
Calvanese, Diego
Ortiz, Magdalena
Simkus, Mantas
Stefanoni, Giorgio
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2013, 48 : 635 - 669
[46] Approximate reasoning about software models
Ramanna, S
NAFIPS 2004: ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, VOLS 1AND 2: FUZZY SETS IN THE HEART OF THE CANADIAN ROCKIES, 2004, : 791 - 795
[47] The application of automated reasoning to formal models of combinatorial optimization
Helman, P
Veroff, R
APPLIED MATHEMATICS AND COMPUTATION, 2001, 120 (1-3) : 175 - 194
[48] Reasoning with conditionals: A test of formal models of four theories
Oberauer, Klaus
COGNITIVE PSYCHOLOGY, 2006, 53 (03) : 238 - 283
[49] Reasoning about Edits to Feature Models
Thuem, Thomas
Batory, Don
Kaestner, Christian
2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 254 - +
[50] Reasoning about mathematical models - Preface
Greenberg, HJ
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1996, 17 (1-2) : U9 - U9

← 1 2 3 4 5 →