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 条

[1] Automated Deduction for Logics of Default Reasoning
Giordano, Laura
Gliozzi, Valentina
Olivetti, Nicola
Pozzato, Gian Luca
ECAI 2006, PROCEEDINGS, 2006, 141 : 757 - +
[2] Automated Reasoning in Explainable AI
Marques-Silva, Joao
ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2021, 339 : 4 - 4
[3] Automated reasoning with nonmonotonic logics (invited talk)
Truszczynski, M
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 112 - 114
[4] Automated reasoning and nonclassical logics. Introduction
McRobbie, Michael A.
Journal of Automated Reasoning, 1991, 7 (04)
[5] Automated reasoning in quantified modal and temporal logics
Castellini, Claudio
AI COMMUNICATIONS, 2006, 19 (02) : 183 - 185
[6] A Framework for Automated Reasoning in Multiple-Valued Logics
James J. Lu
Neil V. Murray
Erik Rosenthal
Journal of Automated Reasoning, 1998, 21 : 39 - 67
[7] A framework for automated reasoning in multiple-valued logics
Lu, JJ
Murray, NV
Rosenthal, E
JOURNAL OF AUTOMATED REASONING, 1998, 21 (01) : 39 - 67
[8] Automated Reasoning over Deontic Action Logics with Finite Vocabularies
Castro, Pablo F.
Maibaum, Thomas S. E.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (139): : 16 - 30
[9] SPECIAL ISSUE ON - AUTOMATED REASONING WITH ANALYTIC TABLEAUX .1. PREFACE
WRIGHTSON, G
JOURNAL OF AUTOMATED REASONING, 1994, 13 (02) : 173 - 173
[10] REASONING .1.
MCGRATH, WB
ARIZONA MEDICINE, 1982, 39 (07) : 450 - 450

← 1 2 3 4 5 →