Conferences

Special Track on Physically Grounded AI (PGAI) Robotics, computer vision, activity recognition, and the many other disciplines where computers interface to physical environments have proven to be a major source of inspiration and crucial new insights into artificial intelligence. Physical grounding provides ready access to a challenging, real problems of perception and action with rich […]

Special Track on Physically Grounded AI (PGAI) Call for Papers Abstract Submission Deadline: January 18 Paper Submission Deadline: January 21 Author Notification Deadline: March 26 Paper Submission Site Robotics, computer vision, activity recognition, and the many other disciplines where computers interface to physical environments have proven to be a major source of inspiration and crucial […]

AAAI-10 Special Track on New Scientific and Technical Advances in Research (Nectar) Call for Papers Paper Submission Deadline: February 9 Author Notification Deadline: March 16 Paper Submission Site AAAI-10 will again include the Nectar track (new scientific and technical advances in research). This track aims to make the most significant AI results presented at other […]

Accepted Papers AAAI-10 Main Technical Track Papers Constraints, Satisfiability, and Search 803: A New Algorithm for Weighted Partial MaxSAT Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy 259: Exploiting Monotonicity in Interval Constraint Propagation Ignacio Araya, Gilles Trombettoni, Bertrand Neveu 140: A Restriction of Extended Resolution for Clause Learning SAT Solvers Gilles Audemard, George Katsirelos, Laurent […]

AAAI-10 Keywords Constraints, Satisfiability, and Search Constraint Learning and Acquisition Constraint Optimization Constraint Satisfaction (General/other) Distributed Search/CSP/Optimization Search, SAT, CSP: Evaluation and Analysis Global Constraints Heuristic Search Metareasoning and Metaheuristics Satisfiability (General/Other) SAT and CSP: Modeling/Formulations Search (General/Other): Search in Games SAT and CSP: Solvers and Tools Knowledge-Based Information Systems Information Retrieval Knowledge Acquisition Knowledge […]

AAAI-10 Special Track on New Scientific and Technical Advances in Research (Nectar) AAAI-10 will again include the Nectar track (new scientific and technical advances in research). This track aims to make the most significant AI results presented at other conferences in the last two years available to a broad AI audience. One important goal of […]