Datalog 2010: Oxford, UK

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 W. 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
  

Last update Tue May 22 04:51:11 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page