Model of decidable introspective reasoning with quantifying-in

被引：0
|
作者：
机构：
来源：
| 1600年 / Morgan Kaufmann Publ Inc, San Mateo, CA, USA卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Unveiling the reasoning processes of robots through introspective dialogues in a storytelling system: A study on the elicited empathy
    Augello, Agnese
    COGNITIVE SYSTEMS RESEARCH, 2022, 73 : 12 - 20
  • [32] IntroVNMT: An Introspective Model for Variational Neural Machine Translation
    Sheng, Xin
    Xu, Linli
    Guo, Junliang
    Liu, Jingchang
    Zhao, Ruoyu
    Xu, Yinlong
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 8830 - 8837
  • [33] Ensuring Correctness of Model Transformations While Remaining Decidable
    Brenas, Jon Hael
    Echahed, Rachid
    Strecker, Martin
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 315 - 332
  • [34] Model checking lossy channels systems is probably decidable
    Bertrand, N
    Schnoebelen, P
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 120 - 135
  • [35] Quantifying Uncertainty in Safety Cases Using Evidential Reasoning
    Nair, Sunil
    Walkinshaw, Neil
    Kelly, Tim
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 413 - 418
  • [36] Quantifying cognitive complexity: evidence from a reasoning task
    Arend, I
    Colom, R
    Botella, J
    Contreras, MJ
    Rubio, VJ
    Santacreu, J
    PERSONALITY AND INDIVIDUAL DIFFERENCES, 2003, 35 (03) : 659 - 669
  • [37] Port Based Actor Model with Kahn Process Network Model and Decidable Dataflow Model
    Oh, Hyunok
    JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2013, 71 (01): : 75 - 88
  • [38] Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity
    Kamide, Norihiro
    2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, : 1865 - 1870
  • [39] LEGAL REASONING AS A MODEL FOR MORAL REASONING
    GOLDMAN, AH
    LAW AND PHILOSOPHY, 1989, 8 (01) : 131 - 149
  • [40] Port Based Actor Model with Kahn Process Network Model and Decidable Dataflow Model
    Hyunok Oh
    Journal of Signal Processing Systems, 2013, 71 : 75 - 88
12345