default search action
Datalog 2010: Oxford, UK
- Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers:
Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6702, Springer 2011, ISBN 978-3-642-24205-2
Section 1: Theoretical Aspects of Datalog
- María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva:
Datalog-Based Program Analysis with BES and RWL. 1-20 - Piero A. Bonatti:
Datalog for Security, Privacy and Trust. 21-36 - Stefania Costantini:
Answer Set Modules for Logical Agents. 37-58 - Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
First-Order Encodings for Modular Nonmonotonic Datalog Programs. 59-77 - Vladimir Lifschitz:
Datalog Programs and Their Stable Models. 78-87 - Reinhard Pichler:
Exploiting Bounded Treewidth with Datalog (A Survey). 88-105 - Stefan Woltran:
Equivalence between Extended Datalog Programs - A Brief Survey. 106-119
Section 2: Applications of Datalog
- Foto N. Afrati, Vinayak R. Borkar, Michael J. Carey, Neoklis Polyzotis, Jeffrey D. Ullman:
Cluster Computing, Recursion and Datalog. 120-144 - Robert Baumgartner:
Datalog-Related Aspects in Lixto Visual Developer. 145-160 - Verónica Dahl:
Informing Datalog through Language Intelligence - A Personal Perspective. 161-180 - Jason Eisner, Nathaniel Wesley Filardo:
Dyna: Extending Datalog for Modern AI. 181-220 - Matteo Magnani, Danilo Montesi:
Datalog for the Web 2.0: The Case of Social Network Data Management. 221-224 - Giorgio Orsi, Letizia Tanca:
Context Modelling and Context-Aware Querying - (Can Datalog Be of Help?). 225-244 - Yannis Smaragdakis, Martin Bravenboer:
Using Datalog for Fast and Easy Program Analysis. 245-251
Section 3: New Languages Extending Datalog
- Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset:
Distributed Datalog Revisited. 252-261 - Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, Russell Sears:
Dedalus: Datalog in Time and Space. 262-281 - Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina:
The Disjunctive Datalog System DLV. 282-301 - Marcelo Arenas, Pablo Barceló, Juan L. Reutter:
Datalog as a Query Language for Data Exchange Systems. 302-320 - François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert:
Datalog Relaunched: Simulation Unification and Value Invention. 321-350 - Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris:
Datalog+/-: A Family of Languages for Ontology Querying. 351-368 - Michael Gelfond:
Knowledge Representation Language P-Log - A Short Introduction. 369-383 - Jan Maluszynski, Andrzej Szalas:
Living with Inconsistency and Taming Nonmonotonicity. 384-398
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.