LEADER 05168nam 22006615 450 001 996465781003316 005 20200703141949.0 010 $a3-540-31882-8 024 7 $a10.1007/11527862 035 $a(CKB)1000000000213140 035 $a(SSID)ssj0000315665 035 $a(PQKBManifestationID)11292253 035 $a(PQKBTitleCode)TC0000315665 035 $a(PQKBWorkID)10256122 035 $a(PQKB)10555816 035 $a(DE-He213)978-3-540-31882-8 035 $a(MiAaPQ)EBC3067683 035 $a(PPN)123096251 035 $a(EXLCZ)991000000000213140 100 $a20100720d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAbstraction, Reformulation and Approximation$b[electronic resource] $e6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /$fedited by Jean-Daniel Zucker, Lorenza Saitta 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 380 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3607 300 $a"6th Symposium on Abstraction, Reformulation and Approximation"--Pref. 311 $a3-540-27872-9 320 $aIncludes bibliographical references and index. 327 $aFull Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains -- Synthesizing Plans for Multiple Domains -- Abstract Policy Evaluation for Reactive Agents -- Implementing an Abstraction Framework for Soft Constraints -- Transforming and Refining Abstract Constraint Specifications -- Learning Regular Expressions from Noisy Sequences -- From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change Algorithm -- Hierarchical Heuristic Search Revisited -- Multinomial Event Model Based Abstraction for Sequence and Text Classification -- Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies -- Detecting and Breaking Symmetries by Reasoning on Problem Specifications -- Approximate Model-Based Diagnosis Using Preference-Based Compilation -- Function Approximation via Tile Coding: Automating Parameter Choice -- Creating Better Abstract Operators -- A Specialised Binary Constraint for the Stable Marriage Problem -- Compositional Derivation of Symmetries for Constraint Satisfaction -- Extended Abstracts -- Solving the 24 Puzzle with Instance Dependent Pattern Databases -- Combining Feature Selection and Feature Construction to Improve Concept Learning for High Dimensional Data -- A Qualitative Spatio-temporal Abstraction of a Disaster Space -- The Cruncher: Automatic Concept Formation Using Minimum Description Length -- Experiments with Multiple Abstraction Heuristics in Symbolic Verification -- Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects -- Learning Classifiers Using Hierarchically Structured Class Taxonomies -- Feature-Discovering Approximate Value Iteration Methods -- Invited Talks -- Designing Views to Efficiently Answer Real SQL Queries -- The Multi-depot Periodic Vehicle Routing Problem -- Abstract Representation in Painting and Computing -- Research Summaries -- Categorizing Gene Expression Correlations with Bioclinical Data: An Abstraction Based Approach -- Learning Abstract Scheduling Models -- Knowledge Acquisition on Manipulation of Flow and Water Quality Models -- Abstraction and Multiple Abstraction in the Symbolic Modeling of the Environment of Mobile Robots -- Sequential Decision Making Under Uncertainty -- Automatic State Abstraction for Pathfinding in Real-Time Video Games -- Model-Based Search -- Learning Skills in Reinforcement Learning Using Relative Novelty. 410 0$aLecture Notes in Artificial Intelligence ;$v3607 606 $aComputers 606 $aArtificial intelligence 606 $aComputer logic 606 $aMathematical logic 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aComputers. 615 0$aArtificial intelligence. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a004 702 $aZucker$b Jean-Daniel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSaitta$b Lorenza$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465781003316 996 $aAbstraction, Reformulation and Approximation$9772062 997 $aUNISA