Artificial Intelligence 2000: Vol 116 Index

3 Pages·2000·0.51 MB·English

Artificial
Intelligence
Artificial Intelligence 116 (2000) 329-330
www.elsevier.com/locate/artint
Author Index—Volume 116 (2000)
Bacchus, F. and F. Kabanza
Using temporal logics to express search control knowledge for plan-
ning
Ben-David, S. and R. Ben-Eliyahu-Zohary
\ modal logic for subjective default reasoning
Ben-Eliyahu-Zohary, R., see Ben-David, S.
Bochman, A.
A foundationalist view of the AGM theory of belief change
Boniface, M., see Vilhelm, C
Calvelo, D., see Vilhelm, C.
Chambrin, M.-C., see Vilhelm, C.
del Val, A.
On some tractable classes in deduction and abduction
Diamantidis, N.A., D. Karlis and E.A. Giakoumakis
Unsupervised stratification of cross-validation for accuracy estimation
Giakoumakis, E.A., see Diamantidis, N.A.
Hirsch, R.
Tractable approximations for temporal constraint handling
Jaborska, A., see Vilhelm, C.
Kabanza, F., see Bacchus, F.
Karlis, D., see Diamantidis, N.A.
Kolbe, T., see Walther, C.
Liberatore, P.
On the complexity of choosing the branching literal in DPLL
Liou, C.-Y. and W.-P. Tai
Conformality in the self-organization network
Mcllraith, S.A.
Integrating actions and state constraints: A closed-form solution to the
ramification problem (sometimes)
Ravaux, P., see Vilhelm, C.
Rosati, R.
On the decidability and complexity of reasoning about only knowing
Elsevier Science B.V
Tai, W.-P., see Liou, C.-Y
Vilhelm, ¢ P. Ravaux, D. Calvelo, A. Jaborska, M.-C Chambrin and M
Bonit Ice
Think!: A unified numerical—symbolic knowledge representation scheme
and reasoning system
Walther, C. and T. Kolbe
Proving theorems by reuse
SePeaOS a, rt eneeae a at ee R
Poa eae
Syed eee
<a e Hot with ey et