TY - BOOK ID - 56712691 TI - Datalog Reloaded AU - Moor, Oege AU - Gottlob, Georg AU - Furche, Tim AU - Sellers, Andrew AU - SpringerLink (Online service) PY - 2011 SN - 9783642242069 PB - Berlin, Heidelberg Springer Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Computer architecture. Operating systems KW - Information systems KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - IR (information retrieval) KW - wiskunde KW - software engineering KW - KI (kunstmatige intelligentie) KW - computernetwerken KW - robots UR - https://www.unicat.be/uniCat?func=search&query=sysid:56712691 AB - 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. ER -