PSU CS441/541
Lecture 1
September 25, 2000
Agents Cognitive Modeling Constraint Satisfaction Game Playing Human-Computer Interaction Knowledge Representation and Reasoning -Boolean Satisfiability -Case-Based Reasoning -Computational Complexity of Reasoning -Decision Theory -Logic -Nonmonotonic Reasoning -Ontology -Reasoning About Actions And Time -Spatial Reasoning -Uncertainty Machine Learning and Data Mining Natural Language Processing and Information Retrieval Planning and Scheduling Robotics Search Applications (IAAI-2000)