Artificial intelligence : methodology, systems, applications : proceedings of the sixth International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA '94), Sofia, Bulgaria, 21-24 September, 1994
著者
書誌事項
Artificial intelligence : methodology, systems, applications : proceedings of the sixth International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA '94), Sofia, Bulgaria, 21-24 September, 1994
World Scientific, c1994
大学図書館所蔵 全10件
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
「Nielsen BookData」 より