04097nam 22008535 450 99646617260331620200630204534.03-642-24206-510.1007/978-3-642-24206-9(CKB)3400000000025662(SSID)ssj0000609492(PQKBManifestationID)11406510(PQKBTitleCode)TC0000609492(PQKBWorkID)10620837(PQKB)11466415(DE-He213)978-3-642-24206-9(MiAaPQ)EBC6283826(MiAaPQ)EBC5585626(Au-PeEL)EBL5585626(OCoLC)1066194888(PPN)159084962(EXLCZ)99340000000002566220120127d2011 u| 0engurnn#008mamaatxtccrDatalog Reloaded[electronic resource] First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers /edited by Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (VIII, 399 p. 52 illus.)Information Systems and Applications, incl. Internet/Web, and HCI ;6702Bibliographic Level Mode of Issuance: Monograph3-642-24205-7 Includes bibliographical references and index.This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Datalog 2.0, held in Oxford, UK, in March 2010. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvements from numerous submissions. The papers showcase the state-of-the-art in theory and systems for datalog, divided in three sections: Properties, applications, and extensions of datalog.Information Systems and Applications, incl. Internet/Web, and HCI ;6702Application softwareComputer communication systemsInformation storage and retrievalArtificial intelligenceSoftware engineeringMathematical logicInformation Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Application software.Computer communication systems.Information storage and retrieval.Artificial intelligence.Software engineering.Mathematical logic.Information Systems Applications (incl. Internet).Computer Communication Networks.Information Storage and Retrieval.Artificial Intelligence.Software Engineering.Mathematical Logic and Formal Languages.005.75de Moor Oegeedthttp://id.loc.gov/vocabulary/relators/edtGottlob Georgedthttp://id.loc.gov/vocabulary/relators/edtFurche Timedthttp://id.loc.gov/vocabulary/relators/edtSellers Andrewedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466172603316Datalog Reloaded2829809UNISA