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

- Christoph Walther, Thomas Kolbe:
Proving theorems by reuse.
17-66

- 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

- Sheila A. McIlraith:
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes).
87-121

- Fahiem Bacchus, Froduald Kabanza:
Using temporal logics to express search control knowledge for planning.
123-191

- Riccardo Rosati:
On the decidability and complexity of reasoning about only knowing.
193-215

- Shai Ben-David, Rachel Ben-Eliyahu-Zohary:
A modal logic for subjective default reasoning.
217-236

- Alexander Bochman:
A foundationalist view of the AGM theory of belief change.
237-263

- Cheng-Yuan Liou, Wen-Pin Tai:
Conformality in the self-organization network.
265-286

- Robin Hirsch:
Tractable approximations for temporal constraint handling.
287-295

- Alvaro del Val:
On some tractable classes in deduction and abduction.
297-313

- Paolo Liberatore:
On the complexity of choosing the branching literal in DPLL.
315-326

Last update Tue May 21 18:19:01 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page