LEADER 03600nam  22007095  450 
001 996465539903316
005 20200705203424.0
010   $a3-642-20674-3
024 7 $a10.1007/978-3-642-20674-0
035   $a(CKB)2670000000082474
035   $a(SSID)ssj0000539196
035   $a(PQKBManifestationID)11360942
035   $a(PQKBTitleCode)TC0000539196
035   $a(PQKBWorkID)10568619
035   $a(PQKB)11390846
035   $a(DE-He213)978-3-642-20674-0
035   $a(MiAaPQ)EBC3066654
035   $a(PPN)153866691
035   $a(EXLCZ)992670000000082474
100   $a20110420d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModel Checking and Artificial Intelligence$b[electronic resource] $e6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /$fedited by Ron van der Meyden, Jan-Georg Smaus
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XI, 131 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v6572
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-20673-5 
320   $aIncludes bibliographical references and index.
330   $aThis book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking.
410  0$aLecture Notes in Artificial Intelligence ;$v6572
606   $aArtificial intelligence
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 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
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aArtificial Intelligence.
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
702   $avan der Meyden$b Ron$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSmaus$b Jan-Georg$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465539903316
996   $aModel Checking and Artificial Intelligence$9772652
997   $aUNISA