|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 649 occurrences of 303 keywords
|
|
|
Results
Found 1398 publication records. Showing 1398 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
117 | Francesco Buccafurri, Nicola Leone, Pasquale Rullo |
Enhancing Disjunctive Datalog by Constraints. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
computational complexity, knowledge representation, deductive databases, Nonmonotonic reasoning, disjunctive datalog |
107 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
Datalog±: a unified approach to ontologies and integrity constraints. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, complexity, databases, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase |
107 | Thomas Eiter, Georg Gottlob, Heikki Mannila |
Disjunctive Datalog. |
ACM Trans. Database Syst. |
1997 |
DBLP DOI BibTeX RDF |
Datalog |
107 | Kemal Koymen |
A Datalog Interface for SQL (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
107 | Serge Abiteboul, Richard Hull 0001 |
Data Functions, Datalog and Negation (Extended Abstract). |
SIGMOD Conference |
1988 |
DBLP DOI BibTeX RDF |
DAPLEX, DATALOG |
103 | Riccardo Rosati 0001 |
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
97 | Joseph M. Hellerstein |
Datalog redux: experience and conjecture. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
bloom, boom, dedalus, overlog, distributed systems, parallelism, cloud computing, datalog |
97 | Ester Zumpano, Sergio Greco, Irina Trubitsyna, Pierangelo Veltri |
On the semantics and expressive power of Datalog-like languages for NP search and optimization problems. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
deductive and logic databases, expressive power of query languages, search and optimization queries, datalog |
93 | László Egri, Benoît Larose, Pascal Tesson |
Symmetric Datalog and Constraint Satisfaction Problems in Logspace. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
93 | Manuel Bodirsky, Víctor Dalmau |
Datalog and Constraint Satisfaction with Infinite Templates. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
88 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
A general datalog-based framework for tractable query answering over ontologies. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, complexity, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase |
88 | Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere |
Type inference for datalog and its application to query optimisation. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
query optimization, datalog, type inference |
87 | Ágnes Achs |
Twofold Extensions of Fuzzy Datalog. |
WILF |
2007 |
DBLP DOI BibTeX RDF |
intuitionistic fuzzy Datalog, interval-valued fuzzy Datalog, bipolar fuzzy Datalog |
83 | Georg Gottlob, Erich Grädel, Helmut Veith |
Datalog LITE: a deductive query language with linear time model checking. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
guarded logics, verification, Complexity, databases, temporal logics |
78 | Max Schäfer, Oege de Moor |
Type inference for datalog with complex type hierarchies. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
type system, datalog, type inference |
78 | David Zook, Emir Pasalic, Beata Sarna-Starosta |
Typed Datalog. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Meta-compilation, Type System, Datalog, Deductive Databases |
78 | María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva |
Using Datalog and Boolean Equation Systems for Program Analysis. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
boolean equation system, demand-driven evaluation, program analysis, Datalog |
78 | Surajit Chaudhuri, Phokion G. Kolaitis |
Can Datalog be Approximated? |
PODS |
1994 |
DBLP DOI BibTeX RDF |
Datalog |
78 | Phokion G. Kolaitis, Moshe Y. Vardi |
On the Expressive Power of Datalog: Tools and a Case Study. |
PODS |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
73 | Ninghui Li, John C. Mitchell |
DATALOG with Constraints: A Foundation for Trust Management Languages. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
73 | Georg Gottlob, Christos H. Papadimitriou |
On the Complexity of Single-Rule Datalog Queries. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
73 | Alexei P. Stolboushkin, Michael A. Taitslin |
Safe Stratified Datalog with Integer Order Does Not Have Syntax. |
ACM Trans. Database Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
73 | Víctor Dalmau, Benoît Larose |
Maltsev + Datalog --> Symmetric Datalog. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Maltsev term, Dstalog, Symmetric Datalog |
68 | Alon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli |
Static analysis in datalog extensions. |
J. ACM |
2001 |
DBLP DOI BibTeX RDF |
query satisfiability, Abstract interpretation, datalog, query containment |
68 | Guozhu Dong |
Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
Datalog |
68 | V. S. Lakshmanan 0001, Alberto O. Mendelzon |
Inductive Pebble Games and the Expressive Power of Datalog. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
Datalog |
68 | Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták |
Flix: A Meta Programming Language for Datalog. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik |
Datalog Rewriting for Guarded TGDs. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Matthias Lanzinger, Przemyslaw Andrzej Walega |
Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri |
A Formal Comparison between Datalog-based Languages for Stream Reasoning. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo |
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Zhiwei Fan, Sunil Mallireddy, Paraschos Koutris |
Towards Better Understanding of the Performance and Design of Datalog Systems. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano 0001, Daniele Theseider Dupré |
Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Teodoro Baldazzi, Davide Benedetto, Matteo Brandetti, Adriano Vlad, Luigi Bellomarini, Emanuel Sallinger |
Datalog-based Reasoning with Heuristics over Knowledge Graphs. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob |
New Perspectives for Fuzzy Datalog (Extended Abstract). |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Haya Majid Qureshi, Wolfgang Faber 0001 |
Meta-reasoning over OWL 2 QL using Datalog. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Reinhard Pichler |
Novel Techniques in Datalog Optimization (Abstract). |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
Formulog: Datalog + SMT + FP. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Markus Nissl, Emanuel Sallinger |
Towards Bridging Traditional and Smart Contracts with Datalog-based Languages. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
68 | Sahil Gupta, Yi-Yun Cheng, Bertram Ludäscher |
Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
68 | Francesco Ricca |
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
68 | Leonid Ryzhyk, Mihai Budiu |
Differential Datalog. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
68 | Matteo Interlandi |
Reasoning about Knowledge in Distributed Systems Using Datalog. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Domenico Saccà, Edoardo Serra |
Data Exchange in Datalog Is Mainly a Matter of Choice. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca |
Datalog Development Tools - (Extended Abstract). |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Yuri Gurevich |
Datalog: A Perspective and the Potential. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Magic-Sets for Datalog with Existential Quantifiers. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Marianne Shaw, Paraschos Koutris, Bill Howe, Dan Suciu |
Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Sven Köhler 0003, Bertram Ludäscher, Yannis Smaragdakis |
Declarative Datalog Debugging for Mere Mortals. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Stefan Brass |
Order in Datalog with Applications to Declarative Output. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Jaffer Gardezi, Leopoldo E. Bertossi |
Query Rewriting Using Datalog for Duplicate Resolution. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Daniel Ritter 0001, Till Westmann |
Business Network Reconstruction Using Datalog. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Axel Polleres |
How (Well) Do Datalog, SPARQL and RIF Interplay? |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Reinhard Pichler |
Exploiting Bounded Treewidth with Datalog (A Survey). |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva |
Datalog-Based Program Analysis with BES and RWL. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Foto N. Afrati, Vinayak R. Borkar, Michael J. Carey 0001, Neoklis Polyzotis, Jeffrey D. Ullman |
Cluster Computing, Recursion and Datalog. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
First-Order Encodings for Modular Nonmonotonic Datalog Programs. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris |
Datalog+/-: A Family of Languages for Ontology Querying. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset |
Distributed Datalog Revisited. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Giorgio Orsi 0001, Letizia Tanca |
Context Modelling and Context-Aware Querying - (Can Datalog Be of Help?). |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina |
The Disjunctive Datalog System DLV. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Robert Baumgartner |
Datalog-Related Aspects in Lixto Visual Developer. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Marcelo Arenas, Pablo Barceló, Juan L. Reutter |
Datalog as a Query Language for Data Exchange Systems. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Verónica Dahl |
Informing Datalog through Language Intelligence - A Personal Perspective. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Jason Eisner, Nathaniel Wesley Filardo |
Dyna: Extending Datalog for Modern AI. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Vladimir Lifschitz |
Datalog Programs and Their Stable Models. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert |
Datalog Relaunched: Simulation Unification and Value Invention. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Matteo Magnani, Danilo Montesi |
Datalog for the Web 2.0: The Case of Social Network Data Management. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Piero A. Bonatti |
Datalog for Security, Privacy and Trust. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Stefan Woltran |
Equivalence between Extended Datalog Programs - A Brief Survey. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier 0001, Russell Sears |
Dedalus: Datalog in Time and Space. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Yannis Smaragdakis, Martin Bravenboer |
Using Datalog for Fast and Easy Program Analysis. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
63 | László Egri, Benoît Larose, Pascal Tesson |
Directed st-Connectivity Is Not Expressible in Symmetric Datalog. |
ICALP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano |
Translating Datalog-Like Optimization Queries into ILOG Programs. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
63 | Francesco Russo, Mirko Sancassani |
A Declarative Debugging Environment for DATALOG. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
58 | Thomas Eiter, Georg Gottlob, Heikki Mannila |
Adding Disjunction to Datalog. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
Datalog |
58 | Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli |
Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
Datalog |
58 | Surajit Chaudhuri |
Finding Nonrecursive Envelopes for Datalog Predicates. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
Datalog |
58 | Yehoshua Sagiv |
Optimizing Datalog Programs. |
PODS |
1987 |
DBLP DOI BibTeX RDF |
DATALOG |
58 | Carole D. Hafner, Kurt Godden |
Portability of Syntax and Semantics in Datalog. |
ACM Trans. Inf. Syst. |
1985 |
DBLP DOI BibTeX RDF |
DATALOG |
54 | Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
A Theoretical Framework for the Declarative Debugging of Datalog Programs. |
SDKB |
2008 |
DBLP DOI BibTeX RDF |
|
54 | Sergio Greco, Irina Trubitsyna, Ester Zumpano |
NP Datalog: A Logic Language for NP Search and Optimization Queries. |
IDEAS |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello |
Event choice datalog: a logic programming language for reasoning in multiple dimensions. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
knowledge representation, logic programming |
54 | Peter Z. Revesz |
Safe Datalog Queries with Linear Constraints. |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
54 | Jörg Flum, Max Kubierschky, Bertram Ludäscher |
Total and Partial Well-Founded Datalog Coincide. |
ICDT |
1997 |
DBLP DOI BibTeX RDF |
|
54 | Thomas Eiter, Georg Gottlob, Heikki Mannila |
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
53 | Mario Alviano, Andreas Pieris (eds.) |
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
53 | Georg Gottlob, Jinsong Guo, Aditya Jami, Markus Kröll, Stéphane Reissfeldee, Lukas Schweizer, Eric Aichinger, Stefano Sferrazza |
CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
53 | Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau |
Reasoning Techniques in DatalogMTL. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
53 | Isaac Mackey, Jianwen Su |
A Rule-Based Constraint Language for Event Streams. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
53 | Carmine Dodaro, Marco Maratea, Francesco Riccio |
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
53 | Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
Querying Data Exchange Settings Beyond Positive Queries. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
53 | Georg Gottlob, Marco Manna, Cinzia Marte |
Dyadic Existential Rules. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
53 | Adrian Chmurovic, Mantas Simkus |
Well-founded Semantics for Recursive SHACL. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
53 | Lorenzo De Lauretis, Fabio Persia, Stefania Costantini |
Intelligent Agents and Complex Event Processing to enhance Patient Monitoring. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
53 | Maximilian Marx 0001, Markus Krötzsch |
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). |
Datalog |
2022 |
DBLP BibTeX RDF |
|
53 | Mario Alviano, Andreas Pieris (eds.) |
Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
53 | Pedro Cabalar, Torsten Schaub |
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
53 | Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta 0001 |
Constraint Answer Set Programming without Grounding and its Applications. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 1398 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|