Artificial Intelligence, Volume 116

Volume 116, Number 1-2, January 2000

• N. A. Diamantidis, D. Karlis, Emmanouel A. Giakoumakis:
  Unsupervised stratification of cross-validation for accuracy estimation. 1-16
  Electronic Edition (link) BibTeX
• Christoph Walther, Thomas Kolbe:
  Proving theorems by reuse. 17-66
  Electronic Edition (link) BibTeX
• Christian Vilhelm, Pierre Ravaux, Daniel Calvelo, Alexandre Jaborska, Marie-Christine Chambrin, Michel Boniface:
  Think!: A unified numerical-symbolic knowledge representation scheme and reasoning system. 67-85
  Electronic Edition (link) BibTeX
• Sheila A. McIlraith:
  Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). 87-121
  Electronic Edition (link) BibTeX
• Fahiem Bacchus, Froduald Kabanza:
  Using temporal logics to express search control knowledge for planning. 123-191
  Electronic Edition (link) BibTeX
• Riccardo Rosati:
  On the decidability and complexity of reasoning about only knowing. 193-215
  Electronic Edition (link) BibTeX
• Shai Ben-David, Rachel Ben-Eliyahu-Zohary:
  A modal logic for subjective default reasoning. 217-236
  Electronic Edition (link) BibTeX
• Alexander Bochman:
  A foundationalist view of the AGM theory of belief change. 237-263
  Electronic Edition (link) BibTeX
• Cheng-Yuan Liou, Wen-Pin Tai:
  Conformality in the self-organization network. 265-286
  Electronic Edition (link) BibTeX
• Robin Hirsch:
  Tractable approximations for temporal constraint handling. 287-295
  Electronic Edition (link) BibTeX
• Alvaro del Val:
  On some tractable classes in deduction and abduction. 297-313
  Electronic Edition (link) BibTeX
• Paolo Liberatore:
  On the complexity of choosing the branching literal in DPLL. 315-326
  Electronic Edition (link) BibTeX