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
