The topics of interest include (but are not limited to):

• Automated Reasoning

• Diagrammatic Reasoning

• Model Based Reasoning and Diagnosis

• Non-monotonic Reasoning

• Reasoning Under Inconsistency

• Spatial and Temporal Reasoning

• Agent-based and Multi-agent Systems

• Machine Learning

• Machine Learning and Data Mining

• Planning and Scheduling

• Frontiers of Artificial Intelligence

• Uncertainty in AI

• Web and Knowledge-based Information

• Systems

• Search and Robotics

• Perception and Robotics

• Constraints, Satisfiability, and Search

• Description Logics

• Inductive Logic Programming