Search results for "Datalog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
53	Anduo Wang, Zhijia Chen	A Logical Approach to Representing and Reasoning About Interdomain Routing Policies.	Datalog	2019	DBLP BibTeX RDF
53	Jack Clearman, Ruslan R. Fayzrakhmanov, Georg Gottlob, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov	Feature Engineering and Explainability with Vadalog: A Recommender Systems Application.	Datalog	2019	DBLP BibTeX RDF
53	Molham Aref	Relational Artificial Intelligence.	Datalog	2019	DBLP BibTeX RDF
53	Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari	Large-Scale Reasoning on Expressive Horn Ontologies.	Datalog	2019	DBLP BibTeX RDF
53	Stefan Brass, Mario Wenzel	Performance Analysis and Comparison of Deductive Systems and SQL Databases.	Datalog	2019	DBLP BibTeX RDF
53	Michael Gelfond	Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective.	Datalog	2019	DBLP BibTeX RDF
53	Pablo Barceló, Reinhard Pichler (eds.)	Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings	Datalog	2012	DBLP DOI BibTeX RDF
53	William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier 0001	Confluence Analysis for Distributed Programs: A Model-Theoretic Approach.	Datalog	2012	DBLP DOI BibTeX RDF
53	Tom J. Ameloot, Jan Van den Bussche	On the CRON Conjecture.	Datalog	2012	DBLP DOI BibTeX RDF
53	Todd J. Green, Molham Aref, Grigoris Karvounarakis	LogicBlox, Platform and Language: A Tutorial.	Datalog	2012	DBLP DOI BibTeX RDF
53	Marie-Laure Mugnier	Existential Rules: A Graph-Based View - (Extended Abstract).	Datalog	2012	DBLP DOI BibTeX RDF
53	Cristina Civili, Riccardo Rosati 0001	A Broad Class of First-Order Rewritable Tuple-Generating Dependencies.	Datalog	2012	DBLP DOI BibTeX RDF
53	Carlo Zaniolo	Logical Foundations of Continuous Query Languages for Data Streams.	Datalog	2012	DBLP DOI BibTeX RDF
53	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	Datalog	2011	DBLP DOI BibTeX RDF
53	Jan Maluszynski, Andrzej Szalas	Living with Inconsistency and Taming Nonmonotonicity.	Datalog	2010	DBLP DOI BibTeX RDF
53	Michael Gelfond	Knowledge Representation Language P-Log - A Short Introduction.	Datalog	2010	DBLP DOI BibTeX RDF
53	Stefania Costantini	Answer Set Modules for Logical Agents.	Datalog	2010	DBLP DOI BibTeX RDF
49	Jos de Bruijn, Stijn Heymans	Complexity of the Stable Model Semantics for Queries on Incomplete Databases.	LPNMR	2009	DBLP DOI BibTeX RDF
49	Floris Geerts, Bart Kuijpers	Expressing Topological Connectivity of Spatial Databases.	DBPL	1999	DBLP DOI BibTeX RDF
49	Dietmar Seipel	Decomposition of Linear Recursive Logic Programs.	WG	1990	DBLP DOI BibTeX RDF
49	K. Tuncay Tekle, Yanhong A. Liu	Precise complexity analysis for efficient datalog queries.	PPDP	2010	DBLP DOI BibTeX RDF	demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis
49	Damien Sereni, Pavel Avgustinov, Oege de Moor	Adding magic to an optimising datalog compiler.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	datalog, query optimisation, magic sets
49	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Monadic datalog over finite structures with bounded treewidth.	PODS	2007	DBLP DOI BibTeX RDF	datalog, treewidth, fixed-parameter tractability, monadic second order logic, tree decomposition
49	Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos	Datalog programs and their persistency numbers.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	bounded-tree width hypergraphs, persistency numbers, persistent variables, program transformations, Datalog, finite automata, Boundedness
49	Georg Gottlob, Christoph Koch 0001	Monadic datalog and the expressive power of languages for Web information extraction.	J. ACM	2004	DBLP DOI BibTeX RDF	MSO, monadic datalog, web wrapping, Complexity, information extraction, HTML, expressiveness, regular tree languages
49	Surajit Chaudhuri, Moshe Y. Vardi	On the Equivalence of Recursive and Nonrecursive Datalog Programs.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
49	Sumit Ganguly, Abraham Silberschatz, Shalom Tsur	A Framework for the Parallel Processing of Datalog Queries.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
49	Jeffrey D. Ullman	Bottom-Up Beats Top-Down for Datalog.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
48	Kimberly D. Voll, Tom P. Yeh, Verónica Dahl	An assumptive logic programming methodology for parsing.	ICTAI	2000	DBLP DOI BibTeX RDF	assumptive logic programming methodology, continuation based linear assumptions, timeless assumptions, datalog grammars, terse treatments, language processing phenomena, concise parser, numbered word boundaries, left-corner parsing, constituent coordination, AI, logic programming, theorem proving, DATALOG, error correction, grammars, test cases, charting, error diagnosis, proof of concept, logic grammars
44	Senlin Liang, Michael Kifer	Deriving predicate statistics in datalog.	PPDP	2010	DBLP DOI BibTeX RDF	argument dependency, derived predicate statistics, query optimization, cost estimate
44	Sergio Greco, Cristian Molinaro, Irina Trubitsyna	Implementation and Experimentation of the Logic Language NP Datalog.	DEXA	2006	DBLP DOI BibTeX RDF
44	Konstantin Korovin, Andrei Voronkov	Random Databases and Threshold for Monotone Non-recursive Datalog.	MFCS	2005	DBLP DOI BibTeX RDF
44	Gerd Stumme	Iceberg Query Lattices for Datalog.	ICCS	2004	DBLP DOI BibTeX RDF
44	Frédéric Besson, Thomas P. Jensen	Modular Class Analysis with DATALOG.	SAS	2003	DBLP DOI BibTeX RDF
44	Sergio Greco, Domenico Saccà	Search and Optimization Problems in Datalog.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
44	Mengchi Liu	Extending Datalog with Deductive Databases.	DEXA	2000	DBLP DOI BibTeX RDF
44	Nieves R. Brisaboa, Agustin González, Héctor J. Hernández, José R. Paramá	The Chase of Datalog Programs.	BNCOD	1998	DBLP DOI BibTeX RDF
44	Guozhu Dong, Jianwen Su	Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries.	ICDT	1995	DBLP DOI BibTeX RDF
44	Martin Bravenboer, Yannis Smaragdakis	Strictly declarative specification of sophisticated points-to analyses.	OOPSLA	2009	DBLP DOI BibTeX RDF	DOOP, datalog, bdds, points-to analysis, declarative
44	Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin	Caterpillar Duality for Constraint Satisfaction Problems.	LICS	2008	DBLP DOI BibTeX RDF	caterpillar structures, Datalog, duality, constraint satisfaction problem, homomorphism
44	Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere	Semantics of static pointcuts in aspectJ.	POPL	2007	DBLP DOI BibTeX RDF	logic programming, aspect-oriented programming, datalog, term rewriting, pointcuts
44	Todd J. Green, Gregory Karvounarakis, Val Tannen	Provenance semirings.	PODS	2007	DBLP DOI BibTeX RDF	incomplete databases, datalog, probabilistic databases, data provenance, semirings, formal power series, data lineage
44	Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi	Techniques for specifying bug patterns.	PADTAD	2007	DBLP DOI BibTeX RDF	static analysis, message passing interface, datalog, bug patterns
44	Arcot Rajasekar	String-Oriented Databases.	SPIRE/CRIWG	1999	DBLP DOI BibTeX RDF	query processing, pattern-matching, datalog, relational algebra, approximate reasoning
44	Inderpal Singh Mumick, Oded Shmueli	Universal Finiteness and Satisfiability.	PODS	1994	DBLP DOI BibTeX RDF	SQL, Datalog
44	Stavros S. Cosmadakis	On the First-Order Expressibility of Recursive Queries.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
44	Qiming Chen, Georges Gardarin	An Implementation Model for Reasoning with Complex Objects.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF	DATALOG
39	Stefano Bistarelli, Fabio Martinelli, Francesco Santini 0001	A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily.	ATC	2008	DBLP DOI BibTeX RDF
39	Jing Mei, Li Ma 0002, Yue Pan	Ontology Query Answering on Databases.	ISWC	2006	DBLP DOI BibTeX RDF
39	Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi	Decidable Containment of Recursive Queries.	ICDT	2003	DBLP BibTeX RDF
39	Fosca Giannotti, Giuseppe Manco 0001, Mirco Nanni, Dino Pedreschi	Nondeterministic, Nonmonotonic Logic Databases.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	databases, Logic programming, nondeterminism, negation, stable models
39	Anthony J. Bonner, Giansalvatore Mecca	Querying Sequence Databases with Transducers.	Acta Informatica	2000	DBLP DOI BibTeX RDF
39	Fosca Giannotti, Giuseppe Manco 0001, Mirco Nanni, Dino Pedreschi	Query Answering in Nondeterministic, Nonmonotonic Logic Databases.	FQAS	1998	DBLP DOI BibTeX RDF
39	Mehmet A. Orgun, Chuchang Liu	Querying Clocked Databases.	FQAS	1998	DBLP DOI BibTeX RDF
39	Fosca Giannotti, Giuseppe Manco 0001, Mirco Nanni, Dino Pedreschi	On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases.	CSL	1998	DBLP DOI BibTeX RDF
39	Yanhong A. Liu, Scott D. Stoller	From datalog rules to efficient programs with time and space guarantees.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	data structure design, indexed representations, linked representations, optimization, indexing, program transformation, Datalog, recursion, tabling, Complexity analysis, incremental computation
39	Ullrich Hustadt, Boris Motik, Ulrike Sattler	Reasoning in Description Logics by a Reduction to Disjunctive Datalog.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Description logics, Data complexity, Disjunctive datalog
39	Royi Ronen, Oded Shmueli	Evaluation of datalog extended with an XPath predicate.	WIDM	2007	DBLP DOI BibTeX RDF	XML and relational processing, XML, datalog
39	Elnar Hajiyev, Neil Ongkingco, Pavel Avgustinov, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere	Datalog as a pointcut language in aspect-oriented programming.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	pointcut sematics, aspect-oriented programming, datalog, semantic pointcuts
39	Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kris De Volder	CodeQuest: querying source code with datalog.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	analysis of object-oriented programs, source code querying, relational databases, DataLog
39	Yanhong A. Liu, Scott D. Stoller	From datalog rules to efficient programs with time and space guarantees.	PPDP	2003	DBLP DOI BibTeX RDF	data structure design, indexed representations, linked representations, optimization, indexing, program transformation, datalog, recursion, tabling, complexity analysis, incremental computation
39	Foto N. Afrati	Bounded Arity Datalog (!=) Queries on Graphs.	PODS	1994	DBLP DOI BibTeX RDF	Datalog
39	Surajit Chaudhuri, Moshe Y. Vardi	On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs.	PODS	1994	DBLP DOI BibTeX RDF	Datalog
39	Alon Y. Levy, Yehoshua Sagiv	Constraints and Redundancy in Datalog.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
39	Alexander Brodsky 0001, Yehoshua Sagiv	Inference of Monotonicity Constraints in Datalog Programs.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
39	Yehoshua Sagiv, Moshe Y. Vardi	Safety of Datalog Queries over Infinite Databases.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
39	Ravi Krishnamurthy, Raghu Ramakrishnan 0001, Oded Shmueli	A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract).	SIGMOD Conference	1988	DBLP DOI BibTeX RDF	DATALOG
34	Royi Ronen, Oded Shmueli	Evaluating very large datalog queries on social networks.	EDBT	2009	DBLP DOI BibTeX RDF
34	Stefano Bistarelli, Fabio Martinelli, Francesco Santini 0001	Weighted Datalog and Levels of Trust.	ARES	2008	DBLP DOI BibTeX RDF
34	Anuj Dawar, Stephan Kreutzer	On Datalog vs. LFP.	ICALP (2)	2008	DBLP DOI BibTeX RDF
34	Simon Schenk	A SPARQL Semantics Based on Datalog.	KI	2007	DBLP DOI BibTeX RDF
34	Sara Cohen, Joseph Gil, Evelina Zarivach	Datalog Programs over Infinite Databases, Revisited.	DBPL	2007	DBLP DOI BibTeX RDF
34	José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places	A semantic approach to optimize linear datalog programs.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Deductive databases, Recursion, Semantic query optimization, SQL:1999
34	Monica S. Lam	Why Use Datalog to Analyze Programs?	ICLP	2006	DBLP DOI BibTeX RDF
34	Elnar Hajiyev, Mathieu Verbaere, Oege de Moor	codeQuest: Scalable Source Code Queries with Datalog.	ECOOP	2006	DBLP DOI BibTeX RDF
34	Riccardo Rosati 0001	The limits and possibilities of combining Description Logics and Datalog.	RuleML	2006	DBLP DOI BibTeX RDF
34	John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam	Using Datalog with Binary Decision Diagrams for Program Analysis.	APLAS	2005	DBLP DOI BibTeX RDF
34	Thomas Eiter, Wolfgang Faber 0001, Patrick Traxler	Testing Strong Equivalence of Datalog Programs - Implementation and Examples.	LPNMR	2005	DBLP DOI BibTeX RDF
34	Serge Abiteboul, Zoë Abrams, Stefan Haar, Tova Milo	Diagnosis of asynchronous discrete event systems: datalog to the rescue!	PODS	2005	DBLP DOI BibTeX RDF
34	Jakob Henriksson, Jan Maluszynski	Static Type-Checking of Datalog with Ontologies.	PPSWR	2004	DBLP DOI BibTeX RDF	ontologies, Semantic Web, logic programs, rules
34	Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis	A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs.	LOPSTR	2001	DBLP DOI BibTeX RDF	Logic Program Transformations, Deductive Databases
34	Foto N. Afrati, Irène Guessarian, Michel de Rougemont	The Expressiveness of Datalog Circuits (DAC).	MFCS	1997	DBLP DOI BibTeX RDF
34	Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli	A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories.	LOPSTR	1997	DBLP DOI BibTeX RDF
34	Jerzy Marcinkowski	The 3 Frenchmen Method Proves Undecidability of the Uniform Boundedness for Single Recursive Rule Ternary DATALOG Programs.	STACS	1996	DBLP DOI BibTeX RDF
34	Sergio Greco, Domenico Saccà, Carlo Zaniolo	DATALOG Queries with Stratified Negation and Choice: from P to DP.	ICDT	1995	DBLP DOI BibTeX RDF
34	Sérgio Lifschitz, Victor Vianu	A Probabilistic View of Datalog Parallelization.	ICDT	1995	DBLP DOI BibTeX RDF
34	Andreas Behrend	A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases.	ADBIS	2007	DBLP DOI BibTeX RDF	Deductive Databases, View Updating, Disjunctive Datalog
34	Guizhen Yang, Michael Kifer, Vinay K. Chaudhri	Efficiently ordering subgoals with access constraints.	PODS	2006	DBLP DOI BibTeX RDF	binding pattern, nonrecursive datalog, query, executability
34	Albert Atserias	On sufficient conditions for unsatisfiability of random formulas.	J. ACM	2004	DBLP DOI BibTeX RDF	Random CNF formulas, propositional resolution, satisfiability, datalog, phase transitions, pebble games
34	John Whaley, Monica S. Lam	Cloning-based context-sensitive pointer alias analysis using binary decision diagrams.	PLDI	2004	DBLP DOI BibTeX RDF	inclusion-based, Java, scalable, logic programming, program analysis, Datalog, binary decision diagrams, cloning, pointer analysis, context-sensitive
34	Jaroslav Pokorný, Peter Vojtás	A Data Model for Flexible Querying.	ADBIS	2001	DBLP DOI BibTeX RDF	vague linguistic expressions, fuzzy Datalog, fuzzy relational algebra, threshold computation, flexible querying, fuzzy similarities
34	John Grant, Jarek Gryz, Jack Minker, Louiqa Raschid	Logic-Based Query Optimization for Object Databases.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	logic query, methods in object DBMS, object DBMS, semantic query optimization (SQO), semantic residues, Datalog, integrity constraints, OQL, ODL, ODMG
34	David Tanzer, Dennis E. Shasha	Queryable Acyclic Production Systems.	CIKM	1999	DBLP DOI BibTeX RDF	Datalog
34	Hasan M. Jamil	Belief Reasoning in MLS Deductive Databases.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF	MLS database, beleif assertion, inheritance and overriding, reasoning, Datalog, deductive databases, CORAL
34	Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller	Methods and Rules.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	Datalog
34	Christos H. Papadimitriou, Mihalis Yannakakis	Tie-Breaking Semantics and Structural Totality.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
34	Anthony J. Bonner	The Complexity of Reusing and Modifying Rulebases.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
34	Ouri Wolfson, Aya Ozeri	A New Paradigm for Parallel and Distributed Rule-Processing.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
29	Marcelo Arenas, Pablo Barceló, Juan L. Reutter	Query languages for data exchange: beyond unions of conjunctive queries.	ICDT	2009	DBLP DOI BibTeX RDF
29	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga	EON: modeling and analyzing dynamic access control systems with logic programs.	CCS	2008	DBLP DOI BibTeX RDF	logic programming, automatic verification, dynamic access control