Abstract is missing.
- Verifying the Incorrectness of Programs and AutomataScot Anderson, Peter Z. Revesz. 1-13 [doi]
- Generating Admissible Heuristics by Abstraction for Search in Stochastic DomainsNatalia N. Beliaeva, Shlomo Zilberstein. 14-29 [doi]
- Synthesizing Plans for Multiple DomainsAbdelbaki Bouguerra, Lars Karlsson. 30-43 [doi]
- Abstract Policy Evaluation for Reactive AgentsKrysia Broda, Christopher J. Hogger. 44-59 [doi]
- Implementing an Abstraction Framework for Soft ConstraintsAlberto Delgado, Jorge Andrés Pérez, Camilo Rueda. 60-75 [doi]
- Transforming and Refining Abstract Constraint SpecificationsAlan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh. 76-91 [doi]
- Learning Regular Expressions from Noisy SequencesUgo Galassi, Attilio Giordana. 92-106 [doi]
- From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change AlgorithmSylvain Gelly, Nicolas Bredeche, Michèle Sebag. 107-120 [doi]
- Hierarchical Heuristic Search RevisitedRobert C. Holte, Jeffery Grajkowski, Brian Tanner. 121-133 [doi]
- Multinomial Event Model Based Abstraction for Sequence and Text ClassificationDae-Ki Kang, Jun Zhang 0002, Adrian Silvescu, Vasant Honavar. 134-148 [doi]
- Petri Net Reachability Checking Is Polynomial with Optimal Abstraction HierarchiesPeep Küngas. 149-164 [doi]
- Detecting and Breaking Symmetries by Reasoning on Problem SpecificationsToni Mancini, Marco Cadoli. 165-181 [doi]
- Approximate Model-Based Diagnosis Using Preference-Based CompilationGregory M. Provan. 182-193 [doi]
- Function Approximation via Tile Coding: Automating Parameter ChoiceAlexander A. Sherstov, Peter Stone. 194-205 [doi]
- Creating Better Abstract OperatorsJonathan Teutenberg, Mike Barley. 206-217 [doi]
- A Specialised Binary Constraint for the Stable Marriage ProblemChris Unsworth, Patrick Prosser. 218-233 [doi]
- Compositional Derivation of Symmetries for Constraint SatisfactionPascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren. 234-247 [doi]
- Solving the 24 Puzzle with Instance Dependent Pattern DatabasesAriel Felner, Amir Adler. 248-260 [doi]
- Combining Feature Selection and Feature Construction to Improve Concept Learning for High Dimensional DataBlaise Hanczar. 261-273 [doi]
- A Qualitative Spatio-temporal Abstraction of a Disaster SpaceZina M. Ibrahim, Ahmed Y. Tawfik. 274-281 [doi]
- The Cruncher: Automatic Concept Formation Using Minimum Description LengthMarc Pickett, Tim Oates. 282-289 [doi]
- Experiments with Multiple Abstraction Heuristics in Symbolic VerificationKairong Qian, Albert Nymeyer, Steven Susanto. 290-304 [doi]
- Probabilistic Abstraction of Uncertain Temporal Data for Multiple SubjectsMichael Ramati, Yuval Shahar. 305-312 [doi]
- Learning Classifiers Using Hierarchically Structured Class TaxonomiesFeihong Wu, Jun Zhang 0002, Vasant Honavar. 313-320 [doi]
- Feature-Discovering Approximate Value Iteration MethodsJia-Hong Wu, Robert Givan. 321-331 [doi]
- Designing Views to Efficiently Answer ::::Real:::: SQL QueriesFoto N. Afrati, Rada Chirkova, Manolis Gergatsoulis, Vassia Pavlaki. 332-346 [doi]
- The Multi-depot Periodic Vehicle Routing ProblemAristide Mingozzi. 347-350 [doi]
- Abstract Representation in Painting and ComputingRobert Zimmer. 351 [doi]
- Categorizing Gene Expression Correlations with Bioclinical Data: An Abstraction Based ApproachArriel Benis. 352-353 [doi]
- Learning Abstract Scheduling ModelsTom Carchrae, J. Christopher Beck. 354-355 [doi]
- Knowledge Acquisition on Manipulation of Flow and Water Quality ModelsKwok-Wing Chau. 356-357 [doi]
- Abstraction and Multiple Abstraction in the Symbolic Modeling of the Environment of Mobile RobotsJuan-Antonio Fernandez-Madrigal, Javier Gonzalez, Cipriano Galindo. 358-359 [doi]
- Sequential Decision Making Under UncertaintyMasoumeh T. Izadi. 360-361 [doi]
- Automatic State Abstraction for Pathfinding in Real-Time Video GamesNathan R. Sturtevant, Vadim Bulitko, Michael Buro. 362-364 [doi]
- Model-Based SearchWheeler Ruml. 365-366 [doi]
- Learning Skills in Reinforcement Learning Using Relative NoveltyÖzgür Simsek, Andrew G. Barto. 367-374 [doi]