25. ICTAI 2013: Herndon, VA, USA

AI Foundations

AI in Domain-Specific Applications

AI in Computer Systems

Machine Learning and Data Mining

Semantic Web, Reasoning and Learning Agents, and Cognitive Modeling

AI and Decision Systems and Recommendations

25th Anniversary Invited Papers

Special Track on SAT/CSP

Session 1.A: Invited Keynote 1

Session 4.A: Invited Keynote 2

Session 1.B: Constraint Reasoning I

Session 2: MUS, Cores, and Max-SAT