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 条
  • [21] Models in Science - Teaching for Developing Formal Reasoning
    Anita, Laura-Iulia
    EDU'08: PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON EDUCATION AND EDUCATIONAL TECHNOLOGY, 2008, : 44 - 49
  • [22] Formal Reasoning About Privacy and Trust in Loyalty Systems
    Decroix, Koen
    Lapon, Jorn
    Lemaire, Laurens
    De Decker, Bart
    Naessens, Vincent
    BUSINESS INFORMATION SYSTEMS WORKSHOPS, BIS 2015, 2015, 228 : 211 - 223
  • [23] A tool to support formal reasoning about computer languages
    Boulton, RJ
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 81 - 95
  • [24] Formal Reasoning About Lazy-STM Programs
    Li, Yong
    Zhang, Yu
    Chen, Yi-Yun
    Fu, Ming
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2010, 25 (04) : 841 - 852
  • [25] Formal Reasoning About Influence in Natural Sciences Experiments
    Bruse, Florian
    Lange, Martin
    Moeller, Soeren
    AUTOMATED DEDUCTION, CADE 29, 2023, 14132 : 153 - 169
  • [26] Formal Reasoning about Physical Properties of Security Protocols
    Basin, David
    Capkun, Srdjan
    Schaller, Patrick
    Schmidt, Benedikt
    ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, 2011, 14 (02)
  • [27] Automated Formal Reasoning about Amazon Web Services
    Cook, Byron
    SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 9 - 9
  • [28] Formal Reasoning About Lazy-STM Programs
    李勇
    张昱
    陈意云
    付明
    Journal of Computer Science & Technology, 2010, 25 (04) : 841 - 852
  • [29] Formal reasoning about dialogue properties with automatic support
    Paterno, F
    INTERACTING WITH COMPUTERS, 1997, 9 (02) : 173 - 196
  • [30] Formal Modeling and Reasoning about the Android Security Framework
    Armando, Alessandro
    Costa, Gabriele
    Merlo, Alessio
    TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, 2013, 8358 : 64 - 81
12345