Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation
Edited by Michael Genesereth and Peter Z. Revesz
17–18 July 2011, Parador de Cardona, Cardona, Catalonia, Spain. Published by The AAAI Press, Menlo Park, California. This proceedings is also available in book format.
Preface
Michael Genesereth, Peter Revesz
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Automatic Synthesis of Temporal Invariants
Sara Bernardini, David E. Smith
Approximate Search on Protein Structures for Identification of Horizontal Gene Transfer in Bacteria
Swetha Billa, Mark Griep, Peter Revesz
Classifying Scientific Publications Using Abstract Features
Cornelia Caragea, Adrian Silvescu, Saurabh Kataria, Doina Caragea, Prasenjit Mitra
Reformulating Dynamic Linear Constraint Satisfaction Problems as Weighted CSPs for Searching Robust Solutions
Laura Climent, Miguel *Aacute;ngel Salido, Federico Barber
Reformulation for the Diagnosis of Discrete-Event Systems
Alban Grastien, Gianluca Torta
A Theory of Abstraction for Diagnosis of Discrete-Event Systems
Alban Grastien, Gianluca Torta
Path Symmetries in Undirected Uniform-Cost Grids
Daniel Damir Harabor, Adi Botea, Philip Kilby
Reformulating R(*, m)C with Tree Decomposition
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry
The Markov Reformulation Theorem
Michael Kassoff, Michael R. Genesereth
Spatiotemporal Interpolation Methods for Air Pollution Exposure
Lixin Li, Xingyou Zhang, James B. Holt, Jie Tian, Reinhard Piltner
Simultaneous Abstract and Concrete Reinforcement Learning
Tiago Matos, Yannick P. Bergamo, Valdinei Freire da Silva, Fabio G. Cozman, Anna Helena Reali Costa
Does Representation Matter in the Planning Competition?
Patricia J. Riddle, Robert C. Holte, Michael W. Barley
A Modal View on Abstract Learning and Reasoning
Henry Soldano
A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game
Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder
Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks
Miroslav N. Velev, Ping Gao
Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors
Miroslav N. Velev, Ping Gao
Planning with State Uncertainty via Contingency Planning and Execution Monitoring
Minlue Wang, Richard Dearden
Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere
Extracting Topological Information from Spatial Constraint Databases
Shasha Wu, Peter Revesz
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.