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