Artificial Intelligence （AI） - Volume 13, Issues 1–2 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 13, Issues 1–2 |
| 发布时间： April 1980 |
| 卷期年份： 1980 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/13/issue/1 |
本期论文列表
Editorial Board
Editor's preface
Extended inference modes in reasoning by computer systems
Circumscription—A form of non-monotonic reasoning
Non-monotonic logic I
The mathematics of non-monotonic reasoning
A logic for default reasoning
Prolegomena to a theory of mechanized formal reasoning
Addendum: Circumscription and other non-monotonic formalisms
AISB-80
IRIA 5th conference on automated deduction : July 8–11, 1980, Les Arcs, Savoie, France