Presenting the preceedings of AIMSA '94, this volume covers areas including: constraints satisfaction problems; reasoning about action and change; case-based reasoning; distributed Al, multi-agent systems; neural networks; knowledge representation; and intelligent tutoring systems.
Logic for AI, Automated Deduction; Logic Programming, Constraint Logic
Programming; Constraints Satisfaction Problems; Reasoning about Action and
Change; Case-Based Reasoning, Truth Maintenance Systems; Distributed Al,
Multi-Agent Systems; Neural Networks; Knowledge Acquisition, Knowledge
Representation; Knowledge-Based Systems; Natural Language Processing;
Intelligent Tutoring Systems.