The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Datalog with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-1988 (24) 1989 (21) 1990 (30) 1991 (24) 1992 (32) 1993 (25) 1994 (29) 1995 (49) 1996 (22) 1997 (40) 1998 (32) 1999 (22) 2000 (29) 2001 (21) 2002 (24) 2003 (34) 2004 (32) 2005 (40) 2006 (47) 2007 (46) 2008 (67) 2009 (43) 2010 (61) 2011 (21) 2012 (52) 2013 (42) 2014 (29) 2015 (45) 2016 (49) 2017 (36) 2018 (46) 2019 (7)
Publication types (Num. hits)
article(274) book(1) incollection(18) inproceedings(818) phdthesis(8) proceedings(2)
Venues (Conferences, Journals, ...)
PODS(85) CoRR(63) Datalog(42) ICDT(42) SIGMOD Conference(29) Description Logics(19) SEBD(19) IEEE Trans. Knowl. Data Eng.(15) RR(15) AMW(12) TPLP(12) DOOD(11) EDBT(11) IJCAI(11) J. Comput. Syst. Sci.(11) LICS(11) More (+10 of total 357)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 649 occurrences of 303 keywords

Results
Found 1121 publication records. Showing 1121 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
124Francesco Buccafurri, Nicola Leone, Pasquale Rullo Enhancing Disjunctive Datalog by Constraints. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF computational complexity, knowledge representation, deductive databases, Nonmonotonic reasoning, disjunctive datalog
113Andrea Calì, Georg Gottlob, Thomas Lukasiewicz Datalog±: a unified approach to ontologies and integrity constraints. Search on Bibsonomy ICDT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ontologies, semantic web, complexity, databases, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase
113Thomas Eiter, Georg Gottlob, Heikki Mannila Disjunctive Datalog. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Datalog
113Kemal Koymen A Datalog Interface for SQL (Abstract). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1990 DBLP  DOI  BibTeX  RDF SQL, Datalog
113Serge Abiteboul, Richard Hull 0001 Data Functions, Datalog and Negation (Extended Abstract). Search on Bibsonomy SIGMOD Conference The full citation details ... 1988 DBLP  DOI  BibTeX  RDF DAPLEX, DATALOG
109Riccardo Rosati On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
103Joseph M. Hellerstein Datalog redux: experience and conjecture. Search on Bibsonomy PODS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bloom, boom, dedalus, overlog, distributed systems, parallelism, cloud computing, datalog
103Ester Zumpano, Sergio Greco, Irina Trubitsyna, Pierangelo Veltri On the semantics and expressive power of Datalog-like languages for NP search and optimization problems. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF deductive and logic databases, expressive power of query languages, search and optimization queries, datalog
99László Egri, Benoit Larose, Pascal Tesson Symmetric Datalog and Constraint Satisfaction Problems in Logspace. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
99Manuel Bodirsky, Víctor Dalmau Datalog and Constraint Satisfaction with Infinite Templates. Search on Bibsonomy STACS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
92Andrea Calì, Georg Gottlob, Thomas Lukasiewicz A general datalog-based framework for tractable query answering over ontologies. Search on Bibsonomy PODS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ontologies, semantic web, complexity, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase
92Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere Type inference for datalog and its application to query optimisation. Search on Bibsonomy PODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF query optimization, datalog, type inference
89Ágnes Achs Twofold Extensions of Fuzzy Datalog. Search on Bibsonomy WILF The full citation details ... 2007 DBLP  DOI  BibTeX  RDF intuitionistic fuzzy Datalog, interval-valued fuzzy Datalog, bipolar fuzzy Datalog
88Georg Gottlob, Erich Grädel, Helmut Veith Datalog LITE: a deductive query language with linear time model checking. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF guarded logics, verification, Complexity, databases, temporal logics
81Max Schäfer, Oege de Moor Type inference for datalog with complex type hierarchies. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF type system, datalog, type inference
81David Zook, Emir Pasalic, Beata Sarna-Starosta Typed Datalog. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Meta-compilation, Type System, Datalog, Deductive Databases
81María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva Using Datalog and Boolean Equation Systems for Program Analysis. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boolean equation system, demand-driven evaluation, program analysis, Datalog
81Surajit Chaudhuri, Phokion G. Kolaitis Can Datalog be Approximated? Search on Bibsonomy PODS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Datalog
81Phokion G. Kolaitis, Moshe Y. Vardi On the Expressive Power of Datalog: Tools and a Case Study. Search on Bibsonomy PODS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Datalog
78Ninghui Li, John C. Mitchell DATALOG with Constraints: A Foundation for Trust Management Languages. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
78Georg Gottlob, Christos H. Papadimitriou On the Complexity of Single-Rule Datalog Queries. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
78Alexei P. Stolboushkin, Michael A. Taitslin Safe Stratified Datalog with Integer Order Does Not Have Syntax. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
74Víctor Dalmau, Benoit Larose Maltsev + Datalog --> Symmetric Datalog. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Maltsev term, Dstalog, Symmetric Datalog
71Alon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli Static analysis in datalog extensions. Search on Bibsonomy J. ACM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF query satisfiability, Abstract interpretation, datalog, query containment
71Guozhu Dong Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations. Search on Bibsonomy PODS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Datalog
71V. S. Lakshmanan, Alberto O. Mendelzon Inductive Pebble Games and the Expressive Power of Datalog. Search on Bibsonomy PODS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Datalog
67Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca Datalog Development Tools - (Extended Abstract). Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Jaffer Gardezi, Leopoldo E. Bertossi Query Rewriting Using Datalog for Duplicate Resolution. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Yuri Gurevich Datalog: A Perspective and the Potential. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Daniel Ritter 0001, Till Westmann Business Network Reconstruction Using Datalog. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri Magic-Sets for Datalog with Existential Quantifiers. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Marianne Shaw, Paraschos Koutris, Bill Howe, Dan Suciu Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Axel Polleres How (Well) Do Datalog, SPARQL and RIF Interplay? Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Domenico Saccà, Edoardo Serra Data Exchange in Datalog Is Mainly a Matter of Choice. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Stefan Brass Order in Datalog with Applications to Declarative Output. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Sven Köhler 0003, Bertram Ludäscher, Yannis Smaragdakis Declarative Datalog Debugging for Mere Mortals. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Matteo Interlandi Reasoning about Knowledge in Distributed Systems Using Datalog. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
67Vladimir Lifschitz Datalog Programs and Their Stable Models. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Verónica Dahl Informing Datalog through Language Intelligence - A Personal Perspective. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset Distributed Datalog Revisited. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Reinhard Pichler Exploiting Bounded Treewidth with Datalog (A Survey). Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Giorgio Orsi 0001, Letizia Tanca Context Modelling and Context-Aware Querying - (Can Datalog Be of Help?). Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner First-Order Encodings for Modular Nonmonotonic Datalog Programs. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier 0001, Russell Sears Dedalus: Datalog in Time and Space. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Foto N. Afrati, Vinayak R. Borkar, Michael J. Carey 0001, Neoklis Polyzotis, Jeffrey D. Ullman Cluster Computing, Recursion and Datalog. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina The Disjunctive Datalog System DLV. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Matteo Magnani, Danilo Montesi Datalog for the Web 2.0: The Case of Social Network Data Management. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Piero A. Bonatti Datalog for Security, Privacy and Trust. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Jason Eisner, Nathaniel Wesley Filardo Dyna: Extending Datalog for Modern AI. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Marcelo Arenas, Pablo Barceló, Juan L. Reutter Datalog as a Query Language for Data Exchange Systems. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Yannis Smaragdakis, Martin Bravenboer Using Datalog for Fast and Easy Program Analysis. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Robert Baumgartner Datalog-Related Aspects in Lixto Visual Developer. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris Datalog+/-: A Family of Languages for Ontology Querying. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert Datalog Relaunched: Simulation Unification and Value Invention. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva Datalog-Based Program Analysis with BES and RWL. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67Stefan Woltran Equivalence between Extended Datalog Programs - A Brief Survey. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
67László Egri, Benoit Larose, Pascal Tesson Directed st-Connectivity Is Not Expressible in Symmetric Datalog. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
67Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano Translating Datalog-Like Optimization Queries into ILOG Programs. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
67Francesco Russo, Mirko Sancassani A Declarative Debugging Environment for DATALOG. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
60Thomas Eiter, Georg Gottlob, Heikki Mannila Adding Disjunction to Datalog. Search on Bibsonomy PODS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Datalog
60Surajit Chaudhuri Finding Nonrecursive Envelopes for Datalog Predicates. Search on Bibsonomy PODS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Datalog
60Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. Search on Bibsonomy PODS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Datalog
60Yehoshua Sagiv Optimizing Datalog Programs. Search on Bibsonomy PODS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF DATALOG
60Carole D. Hafner, Kurt Godden Portability of Syntax and Semantics in Datalog. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF DATALOG
56Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez A Theoretical Framework for the Declarative Debugging of Datalog Programs. Search on Bibsonomy SDKB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
56Sergio Greco, Irina Trubitsyna, Ester Zumpano NP Datalog: A Logic Language for NP Search and Optimization Queries. Search on Bibsonomy IDEAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello Event choice datalog: a logic programming language for reasoning in multiple dimensions. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF knowledge representation, logic programming
56Peter Z. Revesz Safe Datalog Queries with Linear Constraints. Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
56Jörg Flum, Max Kubierschky, Bertram Ludäscher Total and Partial Well-Founded Datalog Coincide. Search on Bibsonomy ICDT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
56Thomas Eiter, Georg Gottlob, Heikki Mannila Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. Search on Bibsonomy IS/KI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
53Pablo Barceló, Reinhard Pichler (eds.) Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Carlo Zaniolo Logical Foundations of Continuous Query Languages for Data Streams. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Marie-Laure Mugnier Existential Rules: A Graph-Based View - (Extended Abstract). Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Cristina Civili, Riccardo Rosati A Broad Class of First-Order Rewritable Tuple-Generating Dependencies. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Todd J. Green, Molham Aref, Grigoris Karvounarakis LogicBlox, Platform and Language: A Tutorial. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier 0001 Confluence Analysis for Distributed Programs: A Model-Theoretic Approach. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Tom J. Ameloot, Jan Van den Bussche On the CRON Conjecture. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Oege 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 Search on Bibsonomy Datalog The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
53Stefania Costantini Answer Set Modules for Logical Agents. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
53Michael Gelfond Knowledge Representation Language P-Log - A Short Introduction. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
53Jan Maluszynski, Andrzej Szalas Living with Inconsistency and Taming Nonmonotonicity. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
53Jos de Bruijn, Stijn Heymans Complexity of the Stable Model Semantics for Queries on Incomplete Databases. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
53Floris Geerts, Bart Kuijpers Expressing Topological Connectivity of Spatial Databases. Search on Bibsonomy DBPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
53Dietmar Seipel Decomposition of Linear Recursive Logic Programs. Search on Bibsonomy WG The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
50Kimberly D. Voll, Tom P. Yeh, Verónica Dahl An assumptive logic programming methodology for parsing. Search on Bibsonomy ICTAI The full citation details ... 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
50K. Tuncay Tekle, Yanhong A. Liu Precise complexity analysis for efficient datalog queries. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis
50Damien Sereni, Pavel Avgustinov, Oege de Moor Adding magic to an optimising datalog compiler. Search on Bibsonomy SIGMOD Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF datalog, query optimisation, magic sets
50Georg Gottlob, Reinhard Pichler, Fang Wei 0001 Monadic datalog over finite structures with bounded treewidth. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF datalog, treewidth, fixed-parameter tractability, monadic second order logic, tree decomposition
50Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos Datalog programs and their persistency numbers. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bounded-tree width hypergraphs, persistency numbers, persistent variables, program transformations, Datalog, finite automata, Boundedness
50Georg Gottlob, Christoph Koch 0001 Monadic datalog and the expressive power of languages for Web information extraction. Search on Bibsonomy J. ACM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF MSO, monadic datalog, web wrapping, Complexity, information extraction, HTML, expressiveness, regular tree languages
50Surajit Chaudhuri, Moshe Y. Vardi On the Equivalence of Recursive and Nonrecursive Datalog Programs. Search on Bibsonomy PODS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Datalog
50Sumit Ganguly, Abraham Silberschatz, Shalom Tsur A Framework for the Parallel Processing of Datalog Queries. Search on Bibsonomy SIGMOD Conference The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Datalog
50Jeffrey D. Ullman Bottom-Up Beats Top-Down for Datalog. Search on Bibsonomy PODS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Datalog
46Martin Bravenboer, Yannis Smaragdakis Strictly declarative specification of sophisticated points-to analyses. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF DOOP, datalog, bdds, points-to analysis, declarative
46Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin Caterpillar Duality for Constraint Satisfaction Problems. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF caterpillar structures, Datalog, duality, constraint satisfaction problem, homomorphism
46Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere Semantics of static pointcuts in aspectJ. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF logic programming, aspect-oriented programming, datalog, term rewriting, pointcuts
46Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi Techniques for specifying bug patterns. Search on Bibsonomy PADTAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, message passing interface, datalog, bug patterns
46Todd J. Green, Gregory Karvounarakis, Val Tannen Provenance semirings. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF incomplete databases, datalog, probabilistic databases, data provenance, semirings, formal power series, data lineage
46Arcot Rajasekar String-Oriented Databases. Search on Bibsonomy SPIRE/CRIWG The full citation details ... 1999 DBLP  DOI  BibTeX  RDF query processing, pattern-matching, datalog, relational algebra, approximate reasoning
Displaying result #1 - #100 of 1121 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license