Editorial Board
What does a conditional knowledge base entail?
Mathematical problems arising in qualitative simulation of a differential equation
From local to global consistency
A semantic backward chaining proof system
A new result on the complexity of heuristic estimates for the A★ algorithm
Forthcoming papersmputational complexity of heuristic estimates for the ★