Datalog 2010: Oxford, UK

Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers (Eds.): 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

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/AlpuenteFJV10
- ask others
María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva: Datalog-Based Program Analysis with BES and RWL. 1-20
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/Bonatti10
- ask others
Piero A. Bonatti: Datalog for Security, Privacy and Trust. 21-36
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/Costantini10
- ask others
Stefania Costantini: Answer Set Modules for Logical Agents. 37-58
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/Dao-TranEFK10
- ask others
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: First-Order Encodings for Modular Nonmonotonic Datalog Programs. 59-77
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/Lifschitz10
- ask others
Vladimir Lifschitz: Datalog Programs and Their Stable Models. 78-87
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/Pichler10
- ask others
Reinhard Pichler: Exploiting Bounded Treewidth with Datalog (A Survey). 88-105
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/Woltran10
- ask others
Stefan Woltran: Equivalence between Extended Datalog Programs - A Brief Survey. 106-119

Section 2: Applications of Datalog

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/AfratiBCPU10
- ask others
Foto N. Afrati, Vinayak R. Borkar, Michael J. Carey, Neoklis Polyzotis, Jeffrey D. Ullman: Cluster Computing, Recursion and Datalog. 120-144
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/Baumgartner10
- ask others
Robert Baumgartner: Datalog-Related Aspects in Lixto Visual Developer. 145-160
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/Dahl10
- ask others
Verónica Dahl: Informing Datalog through Language Intelligence - A Personal Perspective. 161-180
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/EisnerF10
- ask others
Jason Eisner, Nathaniel Wesley Filardo: Dyna: Extending Datalog for Modern AI. 181-220
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/MagnaniM10
- ask others
Matteo Magnani, Danilo Montesi: Datalog for the Web 2.0: The Case of Social Network Data Management. 221-224
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/OrsiT10
- ask others
Giorgio Orsi, Letizia Tanca: Context Modelling and Context-Aware Querying - (Can Datalog Be of Help?). 225-244
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/SmaragdakisB10
- ask others
Yannis Smaragdakis, Martin Bravenboer: Using Datalog for Fast and Easy Program Analysis. 245-251

Section 3: New Languages Extending Datalog

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/AbiteboulBGR10
- ask others
Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset: Distributed Datalog Revisited. 252-261
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/AlvaroMCHMS10
- ask others
Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, Russell Sears: Dedalus: Datalog in Time and Space. 262-281
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/AlvianoFLPPT10
- ask others
Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina: The Disjunctive Datalog System DLV. 282-301
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/ArenasBR10
- ask others
Marcelo Arenas, Pablo Barceló, Juan L. Reutter: Datalog as a Query Language for Data Exchange Systems. 302-320
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/BryFLMLS10
- ask others
François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert: Datalog Relaunched: Simulation Unification and Value Invention. 321-350
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/CaliGLP10
- ask others
Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris: Datalog+/-: A Family of Languages for Ontology Querying. 351-368
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/Gelfond10
- ask others
Michael Gelfond: Knowledge Representation Language P-Log - A Short Introduction. 369-383
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/datalog/MaluszynskiS10
- ask others
Jan Maluszynski, Andrzej Szalas: Living with Inconsistency and Taming Nonmonotonicity. 384-398