Efficient reasoning method for syllogism and its application to knowledge processing

被引：0
|
作者：
Morita, Kenichi [1 ]
Nishihara, Noritaka [1 ]
Emura, Eriko [1 ]
机构：
[1] Osaka Univ, Japan
来源：
| 1600年 / l9期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
(Edited Abstract)
引用
收藏
相关论文
共 50 条
  • [21] Efficient reasoning method in deductive databases
    Huazhong Ligong Daxue Xuebao, 6 (9-11):
  • [22] EMSR: An Efficient Method of Streaming Reasoning
    Li, Juan
    Wang, Jingbin
    Lin, Jing
    2018 INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, BIG DATA AND BLOCKCHAIN (ICCBB 2018), 2018, : 120 - 127
  • [23] Efficient reasoning about action and change in the presence of incomplete information and its application in planning
    Tu, Phan Huy
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 469 - 470
  • [24] Proper Epistemic Knowledge Bases Efficient Reasoning with Consistent
    Muise, Christian
    Miller, Tim
    Felli, Paolo
    Pearce, Adrian R.
    Sonenberg, Liz
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1461 - 1469
  • [25] An Efficient Method for Determining the Output Plane of a Small-Sized Phase Object in Application to Its Image Processing
    E. V. Parkevich
    A. I. Khirianova
    T. F. Khirianov
    K. T. Smaznova
    D. V. Tolbukhin
    Ya. K. Bolotov
    S. A. Ambrozevich
    Journal of Russian Laser Research, 2023, 44 : 566 - 575
  • [26] An Efficient Method for Determining the Output Plane of a Small-Sized Phase Object in Application to Its Image Processing
    Parkevich, E. V.
    Khirianova, A. I.
    Khirianov, T. F.
    Smaznova, K. T.
    Tolbukhin, D. V.
    Bolotov, Ya. K.
    Ambrozevich, S. A.
    JOURNAL OF RUSSIAN LASER RESEARCH, 2023, 44 (05) : 566 - 575
  • [27] Local reasoning and knowledge compilation for efficient temporal abduction
    Console, L
    Terenziani, P
    Dupré, DT
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2002, 14 (06) : 1230 - 1248
  • [28] Efficient Dialog Policy Learning by Reasoning with Contextual Knowledge
    Zhang, Haodi
    Zeng, Zhichao
    Lu, Keting
    Wu, Kaishun
    Zhang, Shiqi
    THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 11667 - 11675
  • [29] A fuzzy reasoning method based on compensating operation and its application to fuzzy systems
    Kwaki, S., I
    Ryu, U. S.
    Kim, G. J.
    Jo, M. H.
    IRANIAN JOURNAL OF FUZZY SYSTEMS, 2019, 16 (03): : 17 - 34
  • [30] An attribute difference revision method in case-based reasoning and its application
    Yan, Aijun
    Zhang, Kuanhong
    Yu, Yuanhang
    Wang, Pu
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2017, 65 : 212 - 219
12345