Conferences in DBLP
Scot Anderson , Peter Z. Revesz Verifying the Incorrectness of Programs and Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Natalia N. Beliaeva , Shlomo Zilberstein Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Abdelbaki Bouguerra , Lars Karlsson Synthesizing Plans for Multiple Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Krysia Broda , Christopher J. Hogger Abstract Policy Evaluation for Reactive Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Delgado , Jorge Andrés Pérez , Camilo Rueda Implementing an Abstraction Framework for Soft Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Alan M. Frisch , Brahim Hnich , Ian Miguel , Barbara M. Smith , Toby Walsh Transforming and Refining Abstract Constraint Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Galassi , Attilio Giordana Learning Regular Expressions from Noisy Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Sylvain Gelly , Nicolas Bredeche , Michèle Sebag From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Robert C. Holte , Jeffery Grajkowski , Brian Tanner Hierarchical Heuristic Search Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Dae-Ki Kang , Jun Zhang 0002 , Adrian Silvescu , Vasant Honavar Multinomial Event Model Based Abstraction for Sequence and Text Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Peep Küngas Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] Toni Mancini , Marco Cadoli Detecting and Breaking Symmetries by Reasoning on Problem Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory M. Provan Approximate Model-Based Diagnosis Using Preference-Based Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander A. Sherstov , Peter Stone Function Approximation via Tile Coding: Automating Parameter Choice. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Teutenberg , Mike Barley Creating Better Abstract Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Unsworth , Patrick Prosser A Specialised Binary Constraint for the Stable Marriage Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Van Hentenryck , Pierre Flener , Justin Pearson , Magnus Ågren Compositional Derivation of Symmetries for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Ariel Felner , Amir Adler Solving the 24 Puzzle with Instance Dependent Pattern Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Blaise Hanczar Combining Feature Selection and Feature Construction to Improve Concept Learning for High Dimensional Data. [Citation Graph (0, 0)][DBLP ] Conf ] Zina M. Ibrahim , Ahmed Y. Tawfik A Qualitative Spatio-temporal Abstraction of a Disaster Space. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Pickett , Tim Oates The Cruncher: Automatic Concept Formation Using Minimum Description Length. [Citation Graph (0, 0)][DBLP ] Conf ] Kairong Qian , Albert Nymeyer , Steven Susanto Experiments with Multiple Abstraction Heuristics in Symbolic Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Ramati , Yuval Shahar Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects. [Citation Graph (0, 0)][DBLP ] Conf ] Feihong Wu , Jun Zhang 0002 , Vasant Honavar Learning Classifiers Using Hierarchically Structured Class Taxonomies. [Citation Graph (0, 0)][DBLP ] Conf ] Jia-Hong Wu , Robert Givan Feature-Discovering Approximate Value Iteration Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Foto N. Afrati , Rada Chirkova , Manolis Gergatsoulis , Vassia Pavlaki Designing Views to Efficiently Answer Real SQL Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Aristide Mingozzi The Multi-depot Periodic Vehicle Routing Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Zimmer Abstract Representation in Painting and Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Arriel Benis Categorizing Gene Expression Correlations with Bioclinical Data: An Abstraction Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Carchrae , J. Christopher Beck Learning Abstract Scheduling Models. [Citation Graph (0, 0)][DBLP ] Conf ] Kwok-wing Chau Knowledge Acquisition on Manipulation of Flow and Water Quality Models. [Citation Graph (0, 0)][DBLP ] Conf ] Juan-Antonio Fernandez-Madrigal , Javier Gonzalez , Cipriano Galindo Abstraction and Multiple Abstraction in the Symbolic Modeling of the Environment of Mobile Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Masoumeh Tabaeh Izadi Sequential Decision Making Under Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Nathan R. Sturtevant , Vadim Bulitko , Michael Buro Automatic State Abstraction for Pathfinding in Real-Time Video Games. [Citation Graph (0, 0)][DBLP ] Conf ] Wheeler Ruml Model-Based Search. [Citation Graph (0, 0)][DBLP ] Conf ] Özgür Simsek , Andrew G. Barto Learning Skills in Reinforcement Learning Using Relative Novelty. [Citation Graph (0, 0)][DBLP ] Conf ] 