0004-3702

Artificial Intelligence (AI) - Volume 92, Issues 1–2 论文列表

本期论文列表
Editorial Board

Defeasible inheritance on cyclic networks

Clause trees: a tool for understanding and implementing resolution in automated reasoning

Proving properties of continuous systems: qualitative simulation and temporal logic

How to progress a database

Map learning with uninterpreted sensors and effectors

The normative representation of quantified beliefs by belief functions

Non-Horn clause logic programming

Nonmonotonic reasoning, conditional objects and possibility theory

Default extensions: dealing with computer information

Higher-order Petri net models based on artificial neural networks

Reasoning about causality between distributed nonatomic events

The maximum length of prime implicates for instances of 3-SAT

Forthcoming papers

Author index—Volume 92 (1997)