AAAI-90, 2-vol. set
AI and Education. Automated Reasoning: automatic programming, planning and scheduling, rule-based reasoning, search, theorem proving, uncertainty, truth-maintenance systems, constraint-based systems. Cognitive Modeling. Commonsense Reasoning: qualitative reasoning, design, diagnosis, simulation. Impacts of AI Technology: organizational, economic, and social implications. Knowledge Acquisition and Expert System Design Methodologies: techniques for designing expert systems and acquiring domain knowledge. Knowledge Representation: knowledge-representation systems, inheritance, nonmonotonic logic, nonstandard logics, temporal reasoning. Machine Architectures and Computer Languages for AI. Machine Learning. Natural Language: generation and understanding; syntax, speech, dialogue. Perception and Signal Understanding: vision. Philosophical Foundations. Robotics. User Interfaces.