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 条
  • [41] Reasoning within fuzzy description logics
    Straccia, U
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2001, 14 : 137 - 166
  • [42] Reasoning with Fuzzy Description Logics CFALC
    He, Siping
    Fang, Meiqi
    ADVANCES IN BUSINESS INTELLIGENCE AND FINANCIAL ENGINEERING, 2008, 5 : 236 - 239
  • [43] Logics for reasoning about cryptographic constructions
    Impagliazzo, R
    Kapron, BM
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2006, 72 (02) : 286 - 320
  • [44] Conditional logics and common sense reasoning
    Ines Corbalan, Maria
    Lopez, Federico E.
    REVISTA DE FILOSOFIA Y TEORIA POLITICA, 2005, 36 : 128 - 130
  • [45] Logics for reasoning about degrees of confirmation
    Dautovic, Sejla
    Doder, Dragan
    Ognjanovic, Zoran
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (08) : 2189 - 2217
  • [46] Distributed reasoning with fuzzy description logics
    Lu, Jianjiang
    Li, Yanhui
    Zhou, Bo
    Kang, Dazhou
    Zhang, Yafei
    COMPUTATIONAL SCIENCE - ICCS 2007, PT 1, PROCEEDINGS, 2007, 4487 : 196 - +
  • [47] Reasoning within fuzzy description logics
    Straccia, Umberto
    Journal of Artificial Intelligence Research, 2001, 14 : 147 - 176
  • [48] Reasoning and quantification in fuzzy description logics
    Sánchez, D
    Tettamanzi, AGB
    FUZZY LOGIC AND APPLICATIONS, 2006, 3849 : 81 - 88
  • [49] Reasoning in collaboration diagrams by description logics
    Nakanishi, H
    Miura, T
    Shioya, I
    COMPUTERS AND THEIR APPLICATIONS, 2004, : 127 - 130
  • [50] Tractable Reasoning with Bayesian Description Logics
    d'Amato, Claudia
    Fanizzi, Nicola
    Lukasiewicz, Thomas
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2008, 2008, 5291 : 146 - +
12345