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 (25) 1992 (33) 1993 (25) 1994 (29) 1995 (49) 1996 (22) 1997 (41) 1998 (32) 1999 (22) 2000 (29) 2001 (21) 2002 (25) 2003 (35) 2004 (32) 2005 (40) 2006 (47) 2007 (47) 2008 (67) 2009 (42) 2010 (61) 2011 (22) 2012 (52) 2013 (42) 2014 (29) 2015 (45) 2016 (49) 2017 (36) 2018 (48) 2019 (61) 2020 (41) 2021 (36) 2022 (71) 2023 (50) 2024 (17)
Publication types (Num. hits)
article(383) book(1) incollection(23) inproceedings(972) phdthesis(15) proceedings(4)
Venues (Conferences, Journals, ...)
CoRR(121) PODS(90) Datalog(77) ICDT(45) SIGMOD Conference(30) Description Logics(24) SEBD(22) Theory Pract. Log. Program.(21) AAAI(20) IJCAI(17) IEEE Trans. Knowl. Data Eng.(16) RR(15) AMW(13) EDBT(12) J. ACM(12) KR(12) More (+10 of total 398)
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
117Francesco 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
107Andrea 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
107Thomas Eiter, Georg Gottlob, Heikki Mannila Disjunctive Datalog. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Datalog
107Kemal 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
107Serge 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
103Riccardo Rosati 0001 On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
97Joseph 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
97Ester 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
93László Egri, Benoît Larose, Pascal Tesson Symmetric Datalog and Constraint Satisfaction Problems in Logspace. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
93Manuel Bodirsky, Víctor Dalmau Datalog and Constraint Satisfaction with Infinite Templates. Search on Bibsonomy STACS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
88Andrea 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
88Oege 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
87Á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
83Georg 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
78Max 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
78David 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
78Marí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
78Surajit Chaudhuri, Phokion G. Kolaitis Can Datalog be Approximated? Search on Bibsonomy PODS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Datalog
78Phokion 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
73Ninghui 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
73Georg 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
73Alexei 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
73Víctor Dalmau, Benoît Larose Maltsev + Datalog --> Symmetric Datalog. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Maltsev term, Dstalog, Symmetric Datalog
68Alon 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
68Guozhu Dong Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations. Search on Bibsonomy PODS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Datalog
68V. S. Lakshmanan 0001, 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
68Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták Flix: A Meta Programming Language for Datalog. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik Datalog Rewriting for Guarded TGDs. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Matthias Lanzinger, Przemyslaw Andrzej Walega Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri A Formal Comparison between Datalog-based Languages for Stream Reasoning. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Zhiwei Fan, Sunil Mallireddy, Paraschos Koutris Towards Better Understanding of the Performance and Design of Datalog Systems. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Francesco 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. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Teodoro Baldazzi, Davide Benedetto, Matteo Brandetti, Adriano Vlad, Luigi Bellomarini, Emanuel Sallinger Datalog-based Reasoning with Heuristics over Knowledge Graphs. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob New Perspectives for Fuzzy Datalog (Extended Abstract). Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Haya Majid Qureshi, Wolfgang Faber 0001 Meta-reasoning over OWL 2 QL using Datalog. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Reinhard Pichler Novel Techniques in Datalog Optimization (Abstract). Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Aaron Bembenek, Michael Greenberg 0002, Stephen Chong Formulog: Datalog + SMT + FP. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Markus Nissl, Emanuel Sallinger Towards Bridging Traditional and Smart Contracts with Datalog-based Languages. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
68Sahil Gupta, Yi-Yun Cheng, Bertram Ludäscher Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
68Francesco Ricca An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
68Leonid Ryzhyk, Mihai Budiu Differential Datalog. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
68Matteo Interlandi Reasoning about Knowledge in Distributed Systems Using Datalog. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
68Domenico 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
68Onofrio 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
68Yuri Gurevich Datalog: A Perspective and the Potential. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
68Mario 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
68Marianne 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
68Thomas 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
68Sven 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
68Stefan Brass Order in Datalog with Applications to Declarative Output. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
68Jaffer Gardezi, Leopoldo E. Bertossi Query Rewriting Using Datalog for Duplicate Resolution. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
68Daniel Ritter 0001, Till Westmann Business Network Reconstruction Using Datalog. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
68Axel Polleres How (Well) Do Datalog, SPARQL and RIF Interplay? Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
68Reinhard Pichler Exploiting Bounded Treewidth with Datalog (A Survey). Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
68Marí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
68Foto 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
68Minh 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
68Andrea 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
68Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset Distributed Datalog Revisited. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
68Giorgio 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
68Mario 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
68Robert Baumgartner Datalog-Related Aspects in Lixto Visual Developer. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
68Marcelo 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
68Verónica Dahl Informing Datalog through Language Intelligence - A Personal Perspective. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
68Jason Eisner, Nathaniel Wesley Filardo Dyna: Extending Datalog for Modern AI. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
68Vladimir Lifschitz Datalog Programs and Their Stable Models. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
68Franç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
68Matteo 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
68Piero A. Bonatti Datalog for Security, Privacy and Trust. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
68Stefan Woltran Equivalence between Extended Datalog Programs - A Brief Survey. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
68Peter 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
68Yannis Smaragdakis, Martin Bravenboer Using Datalog for Fast and Easy Program Analysis. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
63László Egri, Benoît 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
63Gianluigi 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
63Francesco Russo, Mirko Sancassani A Declarative Debugging Environment for DATALOG. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
58Thomas Eiter, Georg Gottlob, Heikki Mannila Adding Disjunction to Datalog. Search on Bibsonomy PODS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Datalog
58Alon 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
58Surajit Chaudhuri Finding Nonrecursive Envelopes for Datalog Predicates. Search on Bibsonomy PODS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Datalog
58Yehoshua Sagiv Optimizing Datalog Programs. Search on Bibsonomy PODS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF DATALOG
58Carole 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
54Rafael Caballero 0001, 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
54Sergio 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
54Gianluigi 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
54Peter Z. Revesz Safe Datalog Queries with Linear Constraints. Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
54Jö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
54Thomas 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
53Mario 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. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
53Georg 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. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
53Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau Reasoning Techniques in DatalogMTL. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
53Isaac Mackey, Jianwen Su A Rule-Based Constraint Language for Event Streams. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
53Carmine Dodaro, Marco Maratea, Francesco Riccio A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
53Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna Querying Data Exchange Settings Beyond Positive Queries. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
53Georg Gottlob, Marco Manna, Cinzia Marte Dyadic Existential Rules. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
53Adrian Chmurovic, Mantas Simkus Well-founded Semantics for Recursive SHACL. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
53Lorenzo De Lauretis, Fabio Persia, Stefania Costantini Intelligent Agents and Complex Event Processing to enhance Patient Monitoring. Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
53Maximilian Marx 0001, Markus Krötzsch Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). Search on Bibsonomy Datalog The full citation details ... 2022 DBLP  BibTeX  RDF
53Mario 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. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
53Pedro Cabalar, Torsten Schaub Dynamic and Temporal Answer Set Programming on Linear Finite Traces. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
53Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta 0001 Constraint Answer Set Programming without Grounding and its Applications. Search on Bibsonomy Datalog The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license