Conferences in DBLP
Robert P. Kurshan Model Checking and Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Derek Long , Maria Fox , Muna Hamdi Reformulation in Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Sridhar Mahadevan Spatiotemporal Abstraction of Stochastic Sequential Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Aristide Mingozzi State Space Relaxation and Search Strategies in Dynamic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Tristan Cazenave Admissible Moves in Two-Player Games. [Citation Graph (0, 0)][DBLP ] Conf ] Berthe Y. Choueiry , Amy M. Davis Dynamic Bundling: Less Effort for More Solutions. [Citation Graph (0, 0)][DBLP ] Conf ] Eric A. Hansen , Rong Zhou , Zhengzhu Feng Symbolic Heuristic Search Using Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Heymann , Asaf Degani On the Construction of Human-Automation Interfaces by Formal Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Lina Khatib , Paul H. Morris , Robert A. Morris Pareto Optimization of Temporal Decisions. [Citation Graph (0, 0)][DBLP ] Conf ] T. K. Satish Kumar An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel P. Miranker , Malcolm C. Taylor , Anand Padmanaban A Tractable Query Cache by Approximation. [Citation Graph (0, 0)][DBLP ] Conf ] Supratik Mukhopadhyay , Andreas Podelski An Algebraic Framework for Abstract Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Todd W. Neller Action Timing Discretization with Iterative-Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Aarati Parmar Formalizing Approximate Objects and Theories: Some Initial Results. [Citation Graph (0, 0)][DBLP ] Conf ] Balaraman Ravindran , Andrew G. Barto Model Minimization in Hierarchical Reinforcement Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Stolle , Doina Precup Learning Options in Reinforcement Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Xuan-Ha Vu , Djamila Sam-Haroud , Marius-Calin Silaghi Approximation Techniques for Non-linear Problems with Continuum of Solutions. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Zanuttini Approximation of Relations by Propositional Formulas: Complexity and Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Daniel Zucker , Nicolas Bredeche , Lorenza Saitta Abstracting Visual Percepts to Learn Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Apolloni , Fabio Baraghini , Giorgio Palmas PAC Meditation on Boolean Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] J. Christopher Beck , Patrick Prosser , Evgeny Selensky On the Reformulation of Vehicle Routing Problems and Scheduling Problems. [Citation Graph (0, 0)][DBLP ] Conf ] T. K. Satish Kumar , Richard Dearden The Oracular Constraints Method. [Citation Graph (0, 0)][DBLP ] Conf ] Ilya Levner , Vadim Bulitko , Omid Madani , Russell Greiner Performance of Lookahead Control Policies in the Face of Abstractions and Approximations. [Citation Graph (0, 0)][DBLP ] Conf ] William T. B. Uther , Manuela M. Veloso TTree: Tree-Based State Generalization with Temporally Abstract Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Zhang 0002 , Adrian Silvescu , Vasant Honavar Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Darse Billings Abstracting Imperfect Information Game Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Adi Botea Using Abstraction for Heuristic Search and Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Michael H. Bowling Approximation Techniques in Multiagent Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Buettner Abstraction and Reformulation in GraphPlan. [Citation Graph (0, 0)][DBLP ] Conf ] Bradley J. Clement Abstract Reasoning for Planning and Coordination. [Citation Graph (0, 0)][DBLP ] Conf ] Irit Askira Gelman Research Summary: Abstraction Techniques, and Their Value. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Glaubius Reformulation of Non-binary Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] T. K. Satish Kumar Reformulating Combinatorial Optimization as Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Amy McGovern Autonomous Discovery of Abstractions through Interaction with an Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Meeko Oishi Interface Verification: Discrete Abstractions of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiaki Okubo , Xiaobo Li Learning Semi-Lattice Codebooks for Image Compression. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Pickett Research Summary. [Citation Graph (0, 0)][DBLP ] Conf ] Wheeler Ruml Principled Exploitation of Heuristic Information. [Citation Graph (0, 0)][DBLP ] Conf ] Lin Xu Reformulation of Temporal Constraint Networks. [Citation Graph (0, 0)][DBLP ] Conf ] 