Journal of Artificial Intelligence Research (JAIR), Volume 1

Volume 1, 1993

Michael P. Wellman: A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems. 1-23
Matthew L. Ginsberg: Dynamic Backtracking. 25-46
Ian P. Gent, Toby Walsh: An Empirical Analysis of Search in GSAT. 47-59
Jeffrey C. Schlimmer, Leonard A. Hermens: Software Agents: Completing Patterns and Constructing User Interfaces. 61-89
Francesco Bergadano, Daniele Gunetti, Umberto Trinchero: The Difficulties of Learning Logic Programs with Cut. 91-107
Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. 109-138

Nils J. Nilsson: Teleo-Reactive Programs for Agent Control. 139-158
Moshe Koppel, Ronen Feldman, Alberto Maria Segre: Bias-Driven Revision of Logical Domain Theories. 159-208
Charles X. Ling: Learning the Past Tense of English Verbs: The Symbolic Pattern Associator vs. Connectionist Models. 209-229
Diane J. Cook, Lawrence B. Holder: Substructure Discovery Using Minimum Description Length and Background Knowledge. 231-255
Patrick M. Murphy, Michael J. Pazzani: Exploring the Decision Forest: An Empirical Investigation of Occam's Razor in Decision Tree Induction. 257-275
Alexander Borgida, Peter F. Patel-Schneider: A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. 277-308
Roberto Sebastiani: Applying GSAT to Non-Clausal Formulas (Research Note). 309-314