|
|
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 |
117 | Francesco Buccafurri, Nicola Leone, Pasquale Rullo |
Enhancing Disjunctive Datalog by Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 12(5), pp. 845-860, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings, pp. 14-30, 2009, ACM, 978-1-60558-423-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 22(3), pp. 364-418, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Datalog |
107 | Kemal Koymen |
A Datalog Interface for SQL (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 422, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
107 | Serge Abiteboul, Richard Hull 0001 |
Data Functions, Datalog and Negation (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 1-3, 1988., pp. 143-153, 1988, ACM Press, 978-0-89791-268-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
DAPLEX, DATALOG |
103 | Riccardo Rosati 0001 |
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, pp. 13-27, 2008, Springer, 978-3-540-88736-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
97 | Joseph M. Hellerstein |
Datalog redux: experience and conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, June 6-11, 2010, Indianapolis, Indiana, USA, pp. 1-2, 2010, ACM, 978-1-4503-0033-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 692-697, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 193-202, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
93 | Manuel Bodirsky, Víctor Dalmau |
Datalog and Constraint Satisfaction with Infinite Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings, pp. 646-659, 2006, Springer, 978-3-540-32301-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
88 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
A general datalog-based framework for tractable query answering over ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA, pp. 77-86, 2009, ACM, 978-1-60558-553-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 291-300, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
query optimization, datalog, type inference |
87 | Ágnes Achs |
Twofold Extensions of Fuzzy Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings, pp. 298-305, 2007, Springer, 978-3-540-73399-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 3(1), pp. 42-79, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 145-156, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
type system, datalog, type inference |
78 | David Zook, Emir Pasalic, Beata Sarna-Starosta |
Typed Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 168-182, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 215-231, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
boolean equation system, demand-driven evaluation, program analysis, Datalog |
78 | Surajit Chaudhuri, Phokion G. Kolaitis |
Can Datalog be Approximated? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA, pp. 86-96, 1994, ACM Press, 0-89791-642-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Datalog |
78 | Phokion G. Kolaitis, Moshe Y. Vardi |
On the Expressive Power of Datalog: Tools and a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA, pp. 61-71, 1990, ACM Press, 0-89791-352-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
73 | Ninghui Li, John C. Mitchell |
DATALOG with Constraints: A Foundation for Trust Management Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 58-73, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
73 | Georg Gottlob, Christos H. Papadimitriou |
On the Complexity of Single-Rule Datalog Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings, pp. 201-222, 1999, Springer, 3-540-66492-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
73 | Alexei P. Stolboushkin, Michael A. Taitslin |
Safe Stratified Datalog with Integer Order Does Not Have Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 23(1), pp. 100-109, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
73 | Víctor Dalmau, Benoît Larose |
Maltsev + Datalog --> Symmetric Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 297-306, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(5), pp. 971-1012, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
query satisfiability, Abstract interpretation, datalog, query containment |
68 | Guozhu Dong |
Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA, pp. 81-90, 1992, ACM Press, 0-89791-519-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Datalog |
68 | V. S. Lakshmanan 0001, Alberto O. Mendelzon |
Inductive Pebble Games and the Expressive Power of Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 301-310, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Datalog |
68 | Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták |
Flix: A Meta Programming Language for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 202-206, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
68 | Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik |
Datalog Rewriting for Guarded TGDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 104-113, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
68 | Matthias Lanzinger, Przemyslaw Andrzej Walega |
Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 139-144, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
68 | Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri |
A Formal Comparison between Datalog-based Languages for Stream Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 151-165, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 14-26, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
68 | Zhiwei Fan, Sunil Mallireddy, Paraschos Koutris |
Towards Better Understanding of the Performance and Design of Datalog Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 166-180, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 54-67, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 114-126, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
68 | Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob |
New Perspectives for Fuzzy Datalog (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 42-47, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
68 | Haya Majid Qureshi, Wolfgang Faber 0001 |
Meta-reasoning over OWL 2 QL using Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 181-187, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
68 | Reinhard Pichler |
Novel Techniques in Datalog Optimization (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 1, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
68 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
Formulog: Datalog + SMT + FP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 48-53, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
68 | Markus Nissl, Emanuel Sallinger |
Towards Bridging Traditional and Smart Contracts with Datalog-based Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 68-82, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 44-55, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
68 | Francesco Ricca |
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 7-9, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
68 | Leonid Ryzhyk, Mihai Budiu |
Differential Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 56-67, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
68 | Matteo Interlandi |
Reasoning about Knowledge in Distributed Systems Using Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 99-110, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Domenico Saccà, Edoardo Serra |
Data Exchange in Datalog Is Mainly a Matter of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 153-164, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca |
Datalog Development Tools - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 81-85, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Yuri Gurevich |
Datalog: A Perspective and the Potential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 9-20, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Magic-Sets for Datalog with Existential Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 31-43, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Marianne Shaw, Paraschos Koutris, Bill Howe, Dan Suciu |
Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 165-176, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 123-134, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Sven Köhler 0003, Bertram Ludäscher, Yannis Smaragdakis |
Declarative Datalog Debugging for Mere Mortals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 111-122, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Stefan Brass |
Order in Datalog with Applications to Declarative Output. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 56-67, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Jaffer Gardezi, Leopoldo E. Bertossi |
Query Rewriting Using Datalog for Duplicate Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 86-98, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Daniel Ritter 0001, Till Westmann |
Business Network Reconstruction Using Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 148-152, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Axel Polleres |
How (Well) Do Datalog, SPARQL and RIF Interplay? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 27-30, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
68 | Reinhard Pichler |
Exploiting Bounded Treewidth with Datalog (A Survey). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 88-105, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva |
Datalog-Based Program Analysis with BES and RWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 1-20, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 120-144, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
First-Order Encodings for Modular Nonmonotonic Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 59-77, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris |
Datalog+/-: A Family of Languages for Ontology Querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 351-368, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset |
Distributed Datalog Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 252-261, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Giorgio Orsi 0001, Letizia Tanca |
Context Modelling and Context-Aware Querying - (Can Datalog Be of Help?). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 225-244, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina |
The Disjunctive Datalog System DLV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 282-301, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Robert Baumgartner |
Datalog-Related Aspects in Lixto Visual Developer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 145-160, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Marcelo Arenas, Pablo Barceló, Juan L. Reutter |
Datalog as a Query Language for Data Exchange Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 302-320, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Verónica Dahl |
Informing Datalog through Language Intelligence - A Personal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 161-180, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Jason Eisner, Nathaniel Wesley Filardo |
Dyna: Extending Datalog for Modern AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 181-220, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Vladimir Lifschitz |
Datalog Programs and Their Stable Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 78-87, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 321-350, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Matteo Magnani, Danilo Montesi |
Datalog for the Web 2.0: The Case of Social Network Data Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 221-224, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Piero A. Bonatti |
Datalog for Security, Privacy and Trust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 21-36, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Stefan Woltran |
Equivalence between Extended Datalog Programs - A Brief Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 106-119, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 262-281, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
68 | Yannis Smaragdakis, Martin Bravenboer |
Using Datalog for Fast and Easy Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 245-251, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
63 | László Egri, Benoît Larose, Pascal Tesson |
Directed st-Connectivity Is Not Expressible in Symmetric Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 172-183, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano |
Translating Datalog-Like Optimization Queries into ILOG Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers, pp. 48-49, 2002, Springer, 3-540-40438-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
63 | Francesco Russo, Mirko Sancassani |
A Declarative Debugging Environment for DATALOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 433-441, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
58 | Thomas Eiter, Georg Gottlob, Heikki Mannila |
Adding Disjunction to Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA, pp. 267-278, 1994, ACM Press, 0-89791-642-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA, pp. 109-122, 1993, ACM Press, 0-89791-593-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Datalog |
58 | Surajit Chaudhuri |
Finding Nonrecursive Envelopes for Datalog Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA, pp. 135-146, 1993, ACM Press, 0-89791-593-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Datalog |
58 | Yehoshua Sagiv |
Optimizing Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA, pp. 349-362, 1987, ACM, 0-89791-223-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
DATALOG |
58 | Carole D. Hafner, Kurt Godden |
Portability of Syntax and Semantics in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 3(2), pp. 141-164, 1985. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDKB ![In: Semantics in Data and Knowledge Bases, Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers, pp. 143-159, 2008, Springer, 978-3-540-88593-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
54 | Sergio Greco, Irina Trubitsyna, Ester Zumpano |
NP Datalog: A Logic Language for NP Search and Optimization Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: Ninth International Database Engineering and Applications Symposium (IDEAS 2005), 25-27 July 2005, Montreal, Canada, pp. 344-353, 2005, IEEE Computer Society, 0-7695-2404-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 238-249, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
knowledge representation, logic programming |
54 | Peter Z. Revesz |
Safe Datalog Queries with Linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 355-369, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
54 | Jörg Flum, Max Kubierschky, Bertram Ludäscher |
Total and Partial Well-Founded Datalog Coincide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings, pp. 113-124, 1997, Springer, 3-540-62222-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
54 | Thomas Eiter, Georg Gottlob, Heikki Mannila |
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS/KI ![In: Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings, pp. 83-103, 1994, Springer, 3-540-57802-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 207-211, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau |
Reasoning Techniques in DatalogMTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 127-138, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Isaac Mackey, Jianwen Su |
A Rule-Based Constraint Language for Event Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 145-150, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Carmine Dodaro, Marco Maratea, Francesco Riccio |
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 188-201, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
Querying Data Exchange Settings Beyond Positive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 27-41, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Georg Gottlob, Marco Manna, Cinzia Marte |
Dyadic Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 83-96, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Adrian Chmurovic, Mantas Simkus |
Well-founded Semantics for Recursive SHACL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 2-13, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Lorenzo De Lauretis, Fabio Persia, Stefania Costantini |
Intelligent Agents and Complex Event Processing to enhance Patient Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 212-218, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Maximilian Marx 0001, Markus Krötzsch |
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 97-103, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
53 | Pedro Cabalar, Torsten Schaub |
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 3-6, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
53 | Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta 0001 |
Constraint Answer Set Programming without Grounding and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: 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., pp. 22-26, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|