LEADER 01614oam 2200421 a 450 001 9910697636503321 005 20091013075859.0 035 $a(CKB)5470000002390599 035 $a(OCoLC)262622890 035 $a(EXLCZ)995470000002390599 100 $a20081016d2008 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNational Highway Bridge Reconstruction and Inspection Act of 2008$b[electronic resource] $ereport together with additional views (to accompany H.R. 3999) (including cost estimate of the Congressional Budget Office) 210 1$a[Washington, D.C.] :$c[U.S. G.P.O.],$d[2008] 215 $a1 electronic text (26 pages) $cHTML, digital, PDF file 225 1 $aReport / 110th Congress, 2d session, Senate ;$v110-482 300 $aTitle from title screen (viewed on Oct. 16, 2008). 300 $a"September 23, 2008." 517 $aNational Highway Bridge Reconstruction and Inspection Act of 2008 606 $aBridges$xLaw and legislation$zUnited States 606 $aBridges$zUnited States$xMaintenance and repair 606 $aBridges$xInspection$zUnited States 606 $aHighway law$zUnited States 615 0$aBridges$xLaw and legislation 615 0$aBridges$xMaintenance and repair. 615 0$aBridges$xInspection 615 0$aHighway law 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910697636503321 996 $aNational Highway Bridge Reconstruction and Inspection Act of 2008$93453976 997 $aUNINA LEADER 05621nam 22005535 450 001 996465796803316 005 20240327172612.0 010 $a3-540-45422-5 024 7 $a10.1007/3-540-45422-5 035 $a(CKB)1000000000211571 035 $a(SSID)ssj0000324240 035 $a(PQKBManifestationID)11224790 035 $a(PQKBTitleCode)TC0000324240 035 $a(PQKBWorkID)10305393 035 $a(PQKB)10336357 035 $a(DE-He213)978-3-540-45422-9 035 $a(MiAaPQ)EBC3072330 035 $a(PPN)155226134 035 $a(EXLCZ)991000000000211571 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aKI 2001: Advances in Artificial Intelligence$b[electronic resource] $eJoint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings /$fedited by Franz Baader, Gerhard Brewka, Thomas Eiter 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (XIV, 474 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2174 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42612-4 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Contributions -- Computational Game Theory and AI -- Optimal Agent Section -- Selected Papers -- Towards First-Order Temporal Resolution -- Approximating Most Specific Concepts in Description Logics with Existential Restrictions -- Bayesian Learning and Evolutionary Parameter Optimization -- Papers on Foundations -- Abductive Partial Order Planning with Dependent Fluents -- Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques -- Possible Worlds Semantics for Credulous and Contraction Inference -- The Point Algebra for Branching Time Revisited -- Exploiting Conditional Equivalences in Connection Calculi -- Propositional Satisfiability in Answer-Set Programming -- Prediction of Regular Search Tree Growth by Spectral Analysis -- Theory and Practice of Time-Space Trade-Offs in Memory Limited Search -- Hierarchical Diagnosis of Large Configurator Knowledge Bases -- Towards Distributed Configuration -- Belief Update in the pGOLOG Framework -- Finding Optimal Solutions to Atomix -- History-Based Diagnosis Templates in the Framework of the Situation Calculus -- A Defense Model for Games with Incomplete Information -- Towards Inferring Labelling Heuristics for CSP Application Domains -- Addressing the Qualification Problem in FLUX -- Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots -- Learning Search Control Knowledge for Equational Theorem Proving -- Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis -- Comparing Two Models for Software Debugging -- Inferring Implicit State Knowledge and Plans with Sensing Actions -- Papers on Applications -- Multi-agent Systems as Intelligent Virtual Environments -- OilEd: A Reason-able Ontology Editor for the Semantic Web -- Experiments with an Agent-Oriented Reasoning System -- Learning to Execute Navigation Plans -- DiKe - A Model-Based Diagnosis Kernel and Its Application -- Industrial Papers -- Constraints Applied to Configurations -- From Theory to Practice: AI Planning for High Performance Elevator Control -- Semantic Networks in a Knowledge Management Portal -- Collaborative Supply Net Management. 330 $aThis volume contains the contributions to the Joint German/Austrian Conference on Artificial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Artificial Intelligence. They are divided into the following categories: ? 2 contributions by invited speakers of the conference; ? 29 accepted technical papers, of which 5 where submitted as application papers and 24 as papers on foundations of AI; ? 4 contributions by participants of the industrial day, during which companies working in the field presented their AI applications. After a long period of separate meetings, the German and Austrian Societies ¨ for Artificial Intelligence, KI and OGAI, decided to hold a joint conference in Vienna in 2001. The two societies had previously held one joint conference. This took place in Ottstein, a small town in Lower Austria, in 1986. At that time, the rise of expert system technology had also renewed interest in AI in general, with quite some expectations for future advances regarding the use of AI techniques in applications pervading many areas of our daily life. Since then fifteen years have passed, and we may want to comment, at the beginning of a new century, on the progress that has been made in this direction. 410 0$aLecture Notes in Artificial Intelligence ;$v2174 606 $aArtificial intelligence 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aArtificial intelligence. 615 14$aArtificial Intelligence. 676 $a006.3 702 $aBaader$b Franz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBrewka$b Gerhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aEiter$b Thomas$f1966-$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aJoint German/Austrian Conference on Artificial Intelligence 906 $aBOOK 912 $a996465796803316 996 $aKI 2001: Advances in Artificial Intelligence$92100423 997 $aUNISA