Search results for "datalog"

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