0004-3702

Artificial Intelligence (AI) - Volume 175, Issue 1 论文列表

本期论文列表
Editorial Board

John McCarthy's legacy

Non-Markovian control in the Situation Calculus

Modular-E and the role of elaboration tolerance in solving the qualification problem

Approximation of action theories and its application to conformant planning

A unifying action calculus

A semantic characterization of a useful fragment of the situation calculus with knowledge

Iterated belief change in the situation calculus

First-order logical filtering

Dealing with logical omniscience: Expressiveness and pragmatics

Stable models and circumscription

From answer set logic programming to circumscription via logic of GK

Semantics and complexity of recursive aggregates in answer set programming

How does a box work? A study in the qualitative dynamics of solid objects

Formalising the Fisherman's Folly puzzle

The well-designed logical robot: Learning and experience from observations to the Situation Calculus

From systems to logic in the early development of nonmonotonic reasoning

McCarthy variations in a modal key

List of reviewers 2009