LEADER 04088nam  22008535  450 
001 9910484803503321
005 20251226200633.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 $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,$x2945-9141 ;$v5348
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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,$x2945-9141 ;$v5348
606   $aArtificial intelligence
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aSoftware engineering
606   $aComputer science
606   $aMachine theory
606   $aArtificial Intelligence
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
615  0$aArtificial intelligence.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aMachine theory.
615 14$aArtificial Intelligence.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
676   $a006.3
686   $aDAT 325f$2stub
686   $aDAT 706f$2stub
686   $aSS 4800$2rvk
701   $aPeled$b Doron$f1962-$067500
701   $aWooldridge$b Michael J.$f1966-$066539
712 12$aMoChArt 2008
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484803503321
996   $aModel Checking and Artificial Intelligence$94192919
997   $aUNINA