SIGART Newsletter, Volume 63

Volume 63, June 1977

Deductive inference: question answering/theorem proving Deductive inference: knowledge representation Rule-based architecture Production system architecture Production system design Learning Psychological aspects of pattern-directed inference Natural language understanding Partial matching in pattern-directed inference Multi-level pattern interpretation
maintained by Schloss Dagstuhl LZI, founded at University of Trier