Volume 116, Number 1-2, January 2000
Sheila A. McIlraith
: Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes).
: On the decidability and complexity of reasoning about only knowing.
: A foundationalist view of the AGM theory of belief change.
: Tractable approximations for temporal constraint handling.
Alvaro del Val
: On some tractable classes in deduction and abduction.
: On the complexity of choosing the branching literal in DPLL.