Speculative Constraint Processing with Iterative Revision for Disjunctive Answers

Martine Ceberio, Hiroshi Hosobe, Ken Satoh. Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. In Francesca Toni, Paolo Torroni, editors, Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Volume 3900 of Lecture Notes in Computer Science, pages 340-357, Springer, 2005. [doi]

Abstract

Abstract is missing.