Abstract is missing.
- Partial Completeness of Abstract Fixpoint CheckingPatrick Cousot. 1-25 [doi]
- An Overview of MAXQ Hierarchical Reinforcement LearningThomas G. Dietterich. 26-44 [doi]
- Recent Progress in the Design and Analysis of Admissible Heuristic FunctionsRichard E. Korf. 45-55 [doi]
- GIS Databases: From Multiscale to MultiRepresentationStefano Spaccapietra, Christine Parent, Christelle Vangenot. 57-70 [doi]
- An Abstraction Framework for Soft Constraints and Its Relationship with Constraint PropagationStefano Bistarelli, Philippe Codognet, Francesca Rossi. 71-86 [doi]
- Abstractions for Knowledge Organization of Relational DescriptionsIsabelle Bournaud, Mélanie Courtine, Jean-Daniel Zucker. 87-106 [doi]
- Grid-Based Histogram Arithmetic for the Probabilistic Analysis of FunctionsCarlos Carreras, Manuel V. Hermenegildo. 107-123 [doi]
- Approximating Data in Constraint DatabasesRui Chen, Min Ouyang, Peter Z. Revesz. 124-143 [doi]
- Linearly Bounded Reformulations of Unary DatabasesRada Chirkova, Michael R. Genesereth. 144-163 [doi]
- A CSP Abstraction FrameworkChristophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire. 164-184 [doi]
- Interactions of Abstractions in ProgrammingGordon S. Novak Jr.. 185-201 [doi]
- Reformulation and Approximation in Model CheckingPeter Z. Revesz. 202-218 [doi]
- The Lumberjack Algorithm for Learning Linked Decision ForestsWilliam T. B. Uther, Manuela M. Veloso. 219-232 [doi]
- Reformulating Propositional Satisfiability as Constraint SatisfactionToby Walsh. 233-246 [doi]
- Improving the Efficiency of Reasoning Through Structure-Based ReformulationEyal Amir, Sheila A. McIlraith. 247-259 [doi]
- Using Feature Hierarchies in Bayesian Network LearningMarie desJardins, Lise Getoor, Daphne Koller. 260-270 [doi]
- On Reformulating Planning as Dynamic Constraint SatisfactionJeremy Frank, Ari K. Jónsson, Paul H. Morris. 271-280 [doi]
- Experiments with Automatically Created Memory-Based HeuristicsIstván T. Hernádvölgyi, Robert C. Holte. 281-290 [doi]
- Abstraction and Phase Transitions in Relational LearningLorenza Saitta, Jean-Daniel Zucker. 291-302 [doi]
- An Agent-Based Approach to Robust Switching Between Abstraction Levels for Fault DiagnosisTerrence P. Fries, James H. Graham. 303-308 [doi]
- A Compositional Approach to CausalityT. K. Satish Kumar. 309-312 [doi]
- A Method for Finding Consistent Hypotheses Using AbstractionYoshiaki Okubo, Makoto Haraguchi, Yan Fang Zheng. 313-316 [doi]
- Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint SatisfactionThomas Ellman. 317-319 [doi]
- Using and Learning Abstraction Hierarchies for PlanningDavid Furcy. 320-321 [doi]
- Learning Probabilistic Relational ModelsLise Getoor. 322-323 [doi]
- Synergy between Compositional Modeling and Bayesian NetworksT. K. Satish Kumar. 324-325 [doi]
- A CSP Abstraction FrameworkChristophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire. 326-327 [doi]
- Answering Queries with Database RestrictionsChen Li. 328-329 [doi]
- Research SummaryGordon S. Novak Jr.. 330-331 [doi]