| Keynote Speakers |
Hierarchical Bayesian Models of the Primate Visual Cortex
Thomas Dean, Brown University, USA
Adventures in Randomized Computational Methods
Carla Gomes, Cornell University, USA
Junta Distributions and the Average-Case Complexity of Manipulating Elections
Jeffrey S. Rosenschein, The Hebrew University of Jerusalem, Israel
| Special Sessions |
| Nonmonotonic Reasoning |
Chair: Michael Kaminski, Technion, Israel
Two Paradigms of Nonmonotonic Reasoning
Alexander Bochman, Holon Academic Institute of Technology, Israel
Towards a Rule-Based Interpretation of Conditional Defaults
Jim Delgrande, Simon Fraser University, Canada
Multimodal Nonmonotonic Logics of Minimal Knowledge
Riccardo Rosati, Università di Roma "La Sapienza", Italy
Strong Equivalence of Nonmonotonic Theories -- an Algebraic Approach
Mirek Truszczynski, University of Kentucky, USA
| Planning under Uncertainty |
Chair: Jussi Rintanen, Albert-Ludwigs-Universität Freiburg, Germany
Bounded Branching and Modalities in Non-Deterministic Planning
Blai Bonet, Universidad Simón Bolívar, Venezuela
Region-Based Dynamic Programming for POMDPs
Zhengzhu Feng, Google, USA
Approximate Linear Programming for Solving Hybrid Factored MDPs
Milos Hauskrecht, University of Pittsburgh, USA
| Search and Optimization Techniques and their Applications |
Chair: Weixiong Zhang, Washington University in Saint Louis, USA
Solving Constrained Nonlinear Optimization Problems Through Constraint Partitioning
Yixin Chen, Washington University in Saint Louis, USA
Modeling Search for Scheduling
Adele Howe, Colorado State University, USA
Search for Robot Navigation under Incomplete Information
Sven Koenig, University of Southern California, USA
| Technical Papers |
Run-time Estimates for Protein Folding Simulation in the H-P Model
A.A. Albrecht, K. Steinhöfel
Finding Optimal POMDP Controllers Using Quadratically Constrained Linear Programs
Christopher Amato, Daniel S. Bernstein, and Shlomo Zilberstein
Understanding One Another: Making Out AI Meanings with Boolean Equations
Zippora Arzi-Gonczarowski
A Semi-Algebraic Description of Naive Bayes Models with Two Hidden Classes
Vincent Auvray, Pierre Geurts, and Louis Wehenkel
Quartet-Based Learning of Hierarchical Latent Class Models: Discovery of Shallow Latent Variables
Tao Chen and Nevin L. Zhang
A Statistical Mechanics Approach to Random Euclidean MAX TSP
David S. Dean, David Lancaster, and Satya N. Majumdar
Scalable Inference in Hierarchical Generative Models
Thomas Dean
Symmetric Primal-Dual Approximate Linear Programming for Factored MDPs
Dmitri Dolgov and Edmund Durfee
On the Difficulty of Achieving Equilibrium in Interactive POMDPs
Prashant Doshi and Piotr J. Gmytrasiewicz
Backbone Guided Dynamic Local Search for Propositional Satisfiability
Valnir Ferreira Jr.
A Hybrid Approach to NER by Integrating Manual Rules into MEMM
Moshe Fresko, Binyamin Rozenfeld, and Ronen Feldman
Dynamic Algorithm Portfolios
Matteo Gagliolo and Jürgen Schmidhuber
Efficient First Order Superlinear Algorithms
Peter Géczy, Shotaro Akaho, and Shiro Usui
Bargaining in Bundle over Multiple Issues in Finite-Horizon Alternating-Offers Protocol
Francesco Di Giunta and Nicola Gatti
Bounds for Regret-Matching Algorithms
Amy Greenwald, Zheng Li, and Casey Marks
Nearest Neighbor Representations of Boolean Functions
Péter Hajnal, Zhihao Liu, and György Turán
Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs
Yannet Interian, Gabriel Corvera, Bart Selman, and Ryan Williams
Horn Upper Bounds of Random 3-CNF: A Computational Study
Marina Langlois, Robert H. Sloan, and György Turán
Towards a Unified Theory of State Abstraction for MDPs
Lihong Li, Thomas J. Walsh, and Michael L. Littman
Sudoku as a SAT Problem
Inês Lynce and Jöel Ouaknine
The Numerical Stability of Kernel Methods
Shawn Martin
Stochastic Process Semantics for Dynamical Grammar Syntax: An Overview
Eric Mjolsness
Security in Multiagent Systems by Policy Randomization
Praveen Paruchuri, Milind Tambe, Fernando Ordóñez, and Sarit Kraus
Solution Sets for DCOPs and Graphical Games: Metrics and Bounds
Jonathan P. Pearce, Rajiv T. Maheswaran, and Milind Tambe
Learning Static Parallel Portfolios of Algorithms
Marek Petrik and Shlomo Zilberstein
Roweis-Saul Classifier for Machine Learning
P. Rajamanar and Gurumurthi V. Ramanan
Non-monotonic Negation in Hybrid Probabilistic Logic Programs
Emad Saad and Enrico Pontelli
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Robert St-Aubin, Joel Friedman, and Alan K. Mackworth
The Cooperative Behavior of a Human Work Group: A Distributed Learning Approach
Tapesh Santra, K.S. Venkatesh, and Amitabha Mukerjee
Secure Combinatorial Optimization Simulating DFS Tree-Based Variable Elimination
Marius-Calin Silaghi, Boi Faltings, and Adrian Petcu
Independence, Decomposability and Functions which Take Values into an Abelian Group
Adrian Silvescu and Vasant Honavar
Detecting Low Complexity Clusters by Skewness and Kurtosis in Data Stream Clustering
Mingzhou Song and Hongbin Wang
Causal Inference by Choosing Graphs with Most Plausible Markov Kernels
Xiaohai Sun, Dominik Janzing, and Bernhard Schölkopf
On Visibility Problems in the Plane -- Solving Minimum Vertex Guard Problems by Successive Approximations
Ana Paula Tomás, António Leslie Bajuelos, and Fábio Marques
A Quotient Construction on Markov Chains with Applications to the Theory of Generalized Simulated Annealing
John R. Wicks and Amy Greenwald
Experimental Results on the Satisfiable Core in Random 3SAT
Honglei Zeng and Sheila McIlraith