Model of decidable introspective reasoning with quantifying-in

被引：0
|
作者：
机构：
来源：
| 1600年 / Morgan Kaufmann Publ Inc, San Mateo, CA, USA卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Introspective learning to build case-based reasoning (CBR) knowledge containers
    Craw, S
    MACHINE LEARNING AND DATA MINING IN PATTERN RECOGNITION, PROCEEDINGS, 2003, 2734 : 1 - 6
  • [22] Decidable Model Checking with Uniform Strategies
    Alechina, Natasha
    Dastani, Mehdi
    Logan, Brian
    AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 170 - 178
  • [23] Introspective model-driven development
    Buechner, Thomas
    Matthes, Florian
    SOFTWARE ARCHITECTURE, 2006, 4344 : 33 - +
  • [24] A logic of probability with decidable model checking
    Beauquier, Daniele
    Rabinovich, Alexander
    Slissenko, Anatol
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (04) : 461 - 487
  • [25] A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning
    Kamide, Norihiro
    LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 182 - 194
  • [26] The Introspective Model of Genuine Knowledge in Wang Yangming
    Lederman, Harvey
    PHILOSOPHICAL REVIEW, 2022, 131 (02): : 169 - 213
  • [27] A logic of probability with decidable model-checking
    Beauquier, D
    Rabinovich, A
    Slissenko, A
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 306 - 321
  • [28] Decidable model checking of probabilistic hybrid automata
    Sproston, J
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2000, 1926 : 31 - 45
  • [29] Quantifying disablers in reasoning with universal and existential rules
    Castaneda, Lupita Estefania Gazzo
    Knauff, Markus
    THINKING & REASONING, 2018, 24 (03) : 344 - 365
  • [30] Quantifying Trust Evaluation Based on Approximate Reasoning
    Arora, Geetika
    Mathur, Iti
    Gandhi, Sonal
    2015 2ND INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM), 2015, : 1448 - 1451
12345