Abstract is missing.
- Datalog-Based Program Analysis with BES and RWLMaría Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva. 1-20 [doi]
- Datalog for Security, Privacy and TrustPiero A. Bonatti. 21-36 [doi]
- Answer Set Modules for Logical AgentsStefania Costantini. 37-58 [doi]
- First-Order Encodings for Modular Nonmonotonic Datalog ProgramsMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. 59-77 [doi]
- Datalog Programs and Their Stable ModelsVladimir Lifschitz. 78-87 [doi]
- Exploiting Bounded Treewidth with Datalog (A Survey)Reinhard Pichler. 88-105 [doi]
- Equivalence between Extended Datalog Programs - A Brief SurveyStefan Woltran. 106-119 [doi]
- Cluster Computing, Recursion and DatalogFoto N. Afrati, Vinayak R. Borkar, Michael J. Carey, Neoklis Polyzotis, Jeffrey D. Ullman. 120-144 [doi]
- Datalog-Related Aspects in Lixto Visual DeveloperRobert Baumgartner. 145-160 [doi]
- Informing Datalog through Language Intelligence - A Personal PerspectiveVerónica Dahl. 161-180 [doi]
- Dyna: Extending Datalog for Modern AIJason Eisner, Nathaniel Wesley Filardo. 181-220 [doi]
- Datalog for the Web 2.0: The Case of Social Network Data ManagementMatteo Magnani, Danilo Montesi. 221-224 [doi]
- Context Modelling and Context-Aware Querying - (Can Datalog Be of Help?)Giorgio Orsi, Letizia Tanca. 225-244 [doi]
- Using Datalog for Fast and Easy Program AnalysisYannis Smaragdakis, Martin Bravenboer. 245-251 [doi]
- Distributed Datalog RevisitedSerge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset. 252-261 [doi]
- Dedalus: Datalog in Time and SpacePeter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, Russell Sears. 262-281 [doi]
- The Disjunctive Datalog System DLVMario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina. 282-301 [doi]
- Datalog as a Query Language for Data Exchange SystemsMarcelo Arenas, Pablo Barceló, Juan L. Reutter. 302-320 [doi]
- Datalog Relaunched: Simulation Unification and Value InventionFrançois Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert. 321-350 [doi]
- Datalog+/-: A Family of Languages for Ontology QueryingAndrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris. 351-368 [doi]
- Knowledge Representation Language P-Log - A Short IntroductionMichael Gelfond. 369-383 [doi]
- Living with Inconsistency and Taming NonmonotonicityJan Maluszynski, Andrzej Szalas. 384-398 [doi]