Artificial Intelligence（AI ）的VOLUME 116, ISSUES 1–2论文列表

卷期号： Volume 116, Issues 1–2

发布时间： January 2000

卷期年份： 2000

卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/116/issue/1

Unsupervised stratification of cross-validation for accuracy estimation

Proving theorems by reuse

Think!: A unified numerical–symbolic knowledge representation scheme and reasoning system

Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)

Using temporal logics to express search control knowledge for planning

On the decidability and complexity of reasoning about only knowing

A modal logic for subjective default reasoning

A foundationalist view of the AGM theory of belief change

Conformality in the self-organization network

Tractable approximations for temporal constraint handling

On some tractable classes in deduction and abduction

On the complexity of choosing the branching literal in DPLL

Author index of Volume 29