|
|
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 |
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 |
Displaying result #101 - #200 of 1398 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|