24th AAAI 2010:
Atlanta, Georgia, USA
, David Poole
: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. AAAI Press 2010
Constraints, Satisfiability, and Search
: Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search.
Chu Min Li
, Zhe Quan
: An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem.
Knowledge-Based Information Systems
Knowledge Representation and Reasoning
, Mingsheng Ying
: Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription.
, Luo Si
: Non-Negative Matrix Factorization Clustering on Multiple Manifolds.
: Multi-Task Active Learning with Output Constraints.
: Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction.