Artificial Intelligence
, Volume 69
Volume 69, Numbers 1-2, August 1994
Alberto Maria Segre
,
Charles Elkan
: A High-Performance Explanation-Based Learning Algorithm. 1-50
BibTeX
Feng Zhao
: Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Space. 51-92
BibTeX
Alan M. Frisch
,
Peter Haddawy
: Anytime Deduction for Probabilistic Logic. 93-122
BibTeX
Giorgio Satta
,
Oliviero Stock
: Bidirectional Context-Free Grammar Parsing for Natural Language Processing. 123-164
BibTeX
Tom Bylander
: The Computational Complexity of Propositional STRIPS Planning. 165-204
BibTeX
Shie-Jue Lee
,
David A. Plaisted
: Problem Solving by Searching for Models with a Theorem Prover. 205-233
BibTeX
Subbarao Kambhampati
: Multi-Contributor Causal Structures for Planning: A Formalization and Evaluation. 235-278
BibTeX
Hussein Almuallim
,
Thomas G. Dietterich
: Learning Boolean Concepts in the Presence of Many Irrelevant Features. 279-305
BibTeX
Simon Kasif
,
Arthur L. Delcher
: Local Consistency in Parallel Constraint Satisfaction Networks. 307-327
BibTeX
Research Notes
Georg Gottlob
,
Zhang Mingyi
: Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity. 329-345
BibTeX
Christos H. Papadimitriou
,
Martha Sideri
: Default Theories that Always Have Extensions. 347-357
BibTeX
Tad Hogg
,
Colin P. Williams
: The Hardest Constraint Problems: A Double Phase Transition. 359-377
BibTeX
G. Neelakantan Kartha
: Two Counterexamples Related to Baker's Approach to the Frame Problem. 379-391
BibTeX
Gunther Sablon
,
Luc De Raedt
,
Maurice Bruynooghe
: Iterative Versionspaces. 393-409
BibTeX
Copyright ©
Sat May 16 23:49:44 2009 by
Michael Ley
(
ley@uni-trier.de
)