1. Automated reasoning and logics for ai

被引：0
|
作者：
机构：
来源：
Proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications - AIMSA | 1990年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Hypertableau reasoning for description logics
    Motik, Boris
    Shearer, Rob
    Horrocks, Ian
    Journal of Artificial Intelligence Research, 2009, 36 : 165 - 228
  • [22] Measure logics for spatial reasoning
    Giritli, M
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 487 - 499
  • [23] Hypertableau Reasoning for Description Logics
    Motik, Boris
    Shearer, Rob
    Horrocks, Ian
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2009, 36 : 165 - 228
  • [24] FORMAL LOGICS FOR COMMONSENSE REASONING
    BESNARD, P
    ANNALS OF TELECOMMUNICATIONS, 1989, 44 (5-6) : 242 - 250
  • [25] Preferential Reasoning for Modal Logics
    Britz, Katarina
    Meyer, Thomas
    Varzinczak, Ivan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 278 : 55 - 69
  • [26] Logics and Networks for Human Reasoning
    Hoelldobler, Steffen
    Ramli, Carroline Dewi Puspa Kencana
    ARTIFICIAL NEURAL NETWORKS - ICANN 2009, PT II, 2009, 5769 : 85 - 94
  • [27] Principles of logics for plausible reasoning
    Billington, David
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [28] CONNECTIONS AMONG QUANTUM-LOGICS .1. QUANTUM PROPOSITIONAL LOGICS
    LOCK, PF
    HARDEGREE, GM
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1985, 24 (01) : 43 - 53
  • [29] NONMONOTONIC REASONING, NONMONOTONIC LOGICS AND REASONING ABOUT CHANGE
    BELL, J
    ARTIFICIAL INTELLIGENCE REVIEW, 1990, 4 (02) : 79 - 108
  • [30] NONSTANDARD LOGICS FOR AUTOMATED REASONING - SMETS,P, MAMDANI,EH, DUBOIS,D, PRADE,H
    RAMER, A
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1989, 16 (01) : 84 - 86
12345