Datalog Reloaded First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers / [electronic resource] :
edited by Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers.
- 1st ed. 2011.
- VIII, 399 p. 52 illus. online resource.
- Information Systems and Applications, incl. Internet/Web, and HCI, 6702 2946-1642 ; .
- Information Systems and Applications, incl. Internet/Web, and HCI, 6702 .
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.
9783642242069
10.1007/978-3-642-24206-9 doi
Application software.
Computer networks .
Information storage and retrieval systems.
Artificial intelligence.
Software engineering.
Machine theory.
Computer and Information Systems Applications.
Computer Communication Networks.
Information Storage and Retrieval.
Artificial Intelligence.
Software Engineering.
Formal Languages and Automata Theory.
QA76.76.A65
005.3
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.
9783642242069
10.1007/978-3-642-24206-9 doi
Application software.
Computer networks .
Information storage and retrieval systems.
Artificial intelligence.
Software engineering.
Machine theory.
Computer and Information Systems Applications.
Computer Communication Networks.
Information Storage and Retrieval.
Artificial Intelligence.
Software Engineering.
Formal Languages and Automata Theory.
QA76.76.A65
005.3