JAIR 1993

6 papers

A Market-Oriented Programming Environment and Its Application to Distributed Multicommodity Flow Problems Michael P. Wellman

An Empirical Analysis of Search in GSAT Ian P. Gent, Toby Walsh

Decidable Reasoning in Terminological Knowledge Representation Systems Martin Buchheit, Francesco M. Donini, Andrea Schaerf

Dynamic Backtracking Matthew L. Ginsberg

Software Agents: Completing Patterns and Constructing User Interfaces Jeffrey C. Schlimmer, Leonard A. Hermens

The Difficulties of Learning Logic Programs with Cut Francesco Bergadano, Daniele Gunetti, Umberto Trinchero