LEADER 04609nam  22008295  450 
001 996465898003316
005 20200629150814.0
010   $a3-642-00431-8
024 7 $a10.1007/978-3-642-00431-5
035   $a(CKB)1000000000714667
035   $a(SSID)ssj0000318967
035   $a(PQKBManifestationID)11255728
035   $a(PQKBTitleCode)TC0000318967
035   $a(PQKBWorkID)10336113
035   $a(PQKB)11761516
035   $a(DE-He213)978-3-642-00431-5
035   $a(MiAaPQ)EBC3063973
035   $a(PPN)132874911
035   $a(EXLCZ)991000000000714667
100   $a20100301d2009      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModel Checking and Artificial Intelligence$b[electronic resource] $e5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers /$fedited by Doron A. Peled, Michael Wooldridge
205   $a1st ed. 2009.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009.
215   $a1 online resource (VII, 189 p.)
225 1 $aLecture Notes in Artificial Intelligence ;$v5348
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-00430-X 
320   $aIncludes bibliographical refrences and index.
327   $aVerifying Time and Communication Costs of Rule-Based Reasoners -- Solving ?-Calculus Parity Games by Symbolic Planning -- Verifying Robocup Teams -- Scaling Search with Pattern Databases -- Survey on Directed Model Checking -- Automated Testing of Planning Models -- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic -- Model Checking Driven Heuristic Search for Correct Programs -- Experimental Evaluation of a Planning Language Suitable for Formal Verification -- Relaxation Refinement: A New Method to Generate Heuristic Functions -- Model Checking Strategic Equilibria.
330   $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.
410  0$aLecture Notes in Artificial Intelligence ;$v5348
606   $aArtificial intelligence
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aSoftware engineering
606   $aComputer logic
606   $aMathematical logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
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
608   $aKongress.$2swd
615  0$aArtificial intelligence.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aArtificial Intelligence.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a006.3
686   $aDAT 325f$2stub
686   $aDAT 706f$2stub
686   $aSS 4800$2rvk
702   $aPeled$b Doron A$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWooldridge$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aMoChArt 2008
906   $aBOOK
912   $a996465898003316
996   $aModel Checking and Artificial Intelligence$9772652
997   $aUNISA