Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Lars E. Olson 0001, Carl A. Gunter, William R. Cook, Marianne Winslett |
Implementing Reflective Access Control in SQL. (PDF / PS) |
DBSec |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Atzeni, Luigi Bellomarini, Francesca Bugiotti, Giorgio Gianforme |
A runtime approach to model-independent schema and data translation. |
EDBT |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Open answer set programming with guarded programs. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
fixed-point logic, open domains, Answer set programming |
20 | Francesca A. Lisi, Floriana Esposito |
Foundations of Onto-Relational Learning. |
ILP |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Magdalena Ortiz 0001 |
Extending Carinto the Description Logics of the Family. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Tal Cohen, Joseph Gil, Itay Maman |
Guarded Program Transformations Using JTL. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
Program Transformations, Declarative Programming |
20 | Wenfei Fan, Floris Geerts, Frank Neven |
Expressiveness and complexity of xml publishing transducers. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
complexity, expressiveness, XML publishing |
20 | John Field, Maria-Cristina V. Marinescu, Christian Stefansen |
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Nieves R. Brisaboa, Antonio Fariña, Miguel Rodríguez Luaces, José R. Paramá |
Chase of Recursive Queries. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
Semantic Query Optimization, Recursive queries |
20 | Yanhong A. Liu, Scott D. Stoller |
Querying Complex Graphs. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Peter F. Patel-Schneider, Ian Horrocks 0001 |
Position paper: a comparison of two modelling paradigms in the Semantic Web. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
modelling, Semantic Web, representation, philosophical foundations |
20 | Francesca A. Lisi |
A Pattern-Based Approach to Conceptual Clustering in FOL. |
ICCS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
Efficient type inference for secure information flow. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
security, algorithm, information flow, time complexity, type inference |
20 | Francesca A. Lisi, Floriana Esposito |
On the Missing Link Between Frequent Pattern Discovery and Concept Formation. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Francesca A. Lisi |
Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in AL-Log. |
PPSWR |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Witold Charatonik, Lilia Georgieva, Patrick Maier 0001 |
Bounded Model Checking of Pointer Programs. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Barbara Catania, Elisa Bertino |
Static Analysis of Logical Languages with Deferred Update Semantics. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
static analysis, update, Database system, logical language |
20 | Chen Li 0001 |
Computing complete answers to queries in the presence of limited access patterns. |
VLDB J. |
2003 |
DBLP DOI BibTeX RDF |
Limited access patterns to relations, Complete answers to queries, Query stability |
20 | José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places |
Implication of Functional Dependencies for Recursive Queries. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Jérôme Maloberti, Einoshin Suzuki |
Improving Efficiency of Frequent Query Discovery by Eliminating Non-relevant Candidates. |
Discovery Science |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Albert Atserias |
Unsatisfiable Random Formulas Are Hard to Certify. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Víctor Dalmau |
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri |
Negation as Failure through Abduction: Reasoning about Termination. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jörg-Uwe Kietz |
Learnability of Description Logic Programs. |
ILP |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi |
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Todd D. Millstein, Alon Y. Levy, Marc T. Friedman |
Query Containment for Data Integration Systems. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Peter T. Wood |
On the Equivalence of XML Patterns. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Marina De Vos, Dirk Vermeir |
On the Role of Negation in Choice Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
unfounded sets, game-theory, Logic programming, choice |
20 | Marina De Vos, Dirk Vermeir |
Choice Logic Programs and Nash Equilibria in Strategic Games. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
game theory, logic programs, nondeterminism, choice, stable model semantics |
20 | Norbert Fuhr, Thomas Rölleke |
HySpirit - A Probabilistic Inference Engine for Hypermedia Retrieval in Large Databases. |
EDBT |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Serge Abiteboul, Victor Vianu |
Queries and Computation on the Web. |
ICDT |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Ke Wang |
Some Positive Results for Boundedness of Multiple Recursive Rules. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Anthony J. Bonner, Tomasz Imielinski |
The Reuse and Modification of Rulebases by Predicate Substituation. |
EDBT |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Catriel Beeri, Yoram Kornatzky |
The Many Faces of Query Monotonicity. |
EDBT |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Sanjay Manchanda |
Declarative Expression of Deductive Database Updates. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
20 | Shamim A. Naqvi, Ravi Krishnamurthy |
Database Updates in Logic Programming. |
PODS |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Supun Abeysinghe, Anxhelo Xhebraj, Tiark Rompf |
Flan: An Expressive and Efficient Datalog Compiler for Program Analysis. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang |
Convergence of datalog over (Pre-) Semirings. |
J. ACM |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Haya Majid Qureshi, Wolfgang Faber 0001 |
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Chi Zhang, Linzhang Wang, Manuel Rigger |
Finding Cross-rule Optimization Bugs in Datalog Engines. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob |
Fuzzy Datalog∃ over Arbitrary t-Norms. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Hangdong Zhao, Shaleen Deep, Paraschos Koutris, Sudeepa Roy, Val Tannen |
Evaluating Datalog over Semirings: A Grounding-based Approach. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Mario Alviano, Andreas Pieris |
Selected Papers from Datalog 2.0 2022. |
Theory Pract. Log. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo |
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings. |
Theory Pract. Log. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Haya Majid Qureshi, Wolfgang Faber 0001 |
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. |
Theory Pract. Log. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev |
The Stable Model Semantics of Datalog with Metric Temporal Operators. |
Theory Pract. Log. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider |
Computing the Why-Provenance for Datalog Queries via SAT Solvers. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Xinyue Zhang, Pan Hu 0001, Yavor Nenov, Ian Horrocks 0001 |
Optimised Storage for Datalog Reasoning. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Kaarel Loide, Bruno Rucy Carneiro Alves de Lima, Pelle Jakovits, Jevgeni Demidov |
Using Datalog for Effective Continuous Integration Policy Evaluation. |
SWQD |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Sungjin Im, Benjamin Moseley, Hung Q. Ngo 0001, Kirk Pruhs |
On the Convergence Rate of Linear Datalog ^∘ over Stable Semirings. |
ICDT |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Balder ten Cate, Víctor Dalmau, Jakub Oprsal |
Right-Adjoints for Datalog Programs. |
ICDT |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Teodoro Baldazzi, Luigi Bellomarini, Stefano Ceri, Andrea Colombo, Andrea Gentili, Emanuel Sallinger |
"Please, Vadalog, tell me why": Interactive Explanation of Datalog-based Reasoning. |
EDBT |
2024 |
DBLP DOI BibTeX RDF |
|
14 | André Pacak, Sebastian Erdweg |
Interactive Debugging of Datalog Programs. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Arash Sahebolamri, Langston Barrett, Scott Moore, Kristopher K. Micinski |
Bring Your Own Data Structures to Datalog. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yihong Zhang 0004, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey |
Better Together: Unifying Datalog and Equality Saturation. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Huong Duong To, Van Hai Ho, Phuc Do |
Fact-checking Vietnamese Information Using Knowledge Graph, Datalog, and KG-BERT. |
ACM Trans. Asian Low Resour. Lang. Inf. Process. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang |
Convergence of Datalog over (Pre-) Semirings. |
SIGMOD Rec. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau |
Finite Materialisability of Datalog Programs with Metric Temporal Operators. |
J. Artif. Intell. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ramy Shahin, Murad Akhundov, Marsha Chechik |
Annotative Software Product Line Analysis Using Variability-Aware Datalog. |
IEEE Trans. Software Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Zhe Wang 0001, Peng Xiao 0009, Kewen Wang 0001, Zhiqiang Zhuang, Hai Wan |
Efficient Datalog Rewriting for Query Answering in TGD Ontologies. |
IEEE Trans. Knowl. Data Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo |
Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yihong Zhang 0004, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey |
Better Together: Unifying Datalog and Equality Saturation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures (technical report). |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Xinyue Zhang, Pan Hu 0001, Yavor Nenov, Ian Horrocks 0001 |
Optimised Storage for Datalog Reasoning. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Xinyue Zhang, Pan Hu 0001, Yavor Nenov, Ian Horrocks 0001 |
Enhancing Datalog Reasoning with Hypertree Decompositions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Renzo Angles, Georg Gottlob, Aleksandar Pavlovic 0002, Reinhard Pichler, Emanuel Sallinger |
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark]. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev |
The Stable Model Semantics of Datalog with Metric Temporal Operators. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Martin E. Bidlingmaier |
Algebraic Semantics of Datalog with Equality. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev |
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Martin E. Bidlingmaier |
An Evaluation Algorithm for Datalog with Equality. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis |
A Differential Datalog Interpreter. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Balder ten Cate, Víctor Dalmau, Jakub Oprsal |
Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider |
The Complexity of Why-Provenance for Datalog Queries. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Weiqin Xu, Olivier Curé |
ZodiacEdge: a Datalog Engine With Incremental Rule Set Maintenance. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Renzo Angles, Georg Gottlob, Aleksandar Pavlovic 0002, Reinhard Pichler, Emanuel Sallinger |
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog. |
Proc. VLDB Endow. |
2023 |
DBLP BibTeX RDF |
|
14 | Luigi Bellomarini, Marco Benedetti, Andrea Gentili, Davide Magnanimi, Emanuel Sallinger |
KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs. (PDF / PS) |
Proc. VLDB Endow. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Leopoldo E. Bertossi, Mostafa Milani |
Extending sticky-Datalog± via finite-position selection functions: Tractability, algorithms, and optimization. |
Inf. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Matteo Magnini, Giovanni Ciatto, Andrea Omicini |
Knowledge injection of Datalog rules via Neural Network Structuring with KINS. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Michael J. Maher |
Defeasible Reasoning via Datalog¬. |
Theory Pract. Log. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Shiguang Feng |
The Expressive Power of Revised Datalog on Problems with Closure Properties. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
14 | David Zhao 0001, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
Automatic Rollback Suggestions for Incremental Datalog Evaluation. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Zhuoxun Zheng, Ognjen Savkovic, Huu Phuc Luu, Ahmet Soylu, Evgeny Kharlamov, Baifan Zhou |
Datalog with External Machine Learning Functions for Automated Cloud Resource Configuration. |
ISWC (Posters/Demos/Industry) |
2023 |
DBLP BibTeX RDF |
|
14 | Francesco Di Cosmo |
Verification of Prev-Free Communicating Datalog Programs. |
CILC |
2023 |
DBLP BibTeX RDF |
|
14 | Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix |
Brigadier: A Datalog-based IAST framework for Node.js Applications. |
SANER |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris |
Generative Datalog with Stable Negation. |
PODS |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták |
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury |
Program Repair Guided by Datalog-Defined Static Analysis. |
ESEC/SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi |
Epistemic Disjunctive Datalog for Querying Knowledge Bases. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis |
On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings. |
AICCC |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Di Cosmo |
Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs. |
RuleML+RR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis |
Dependency-Aware Metamorphic Testing of Datalog Engines. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Mario Alviano |
Generative Datalog and Answer Set Programming - Extended Abstract. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro |
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev |
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev |
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
14 | Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova |
Computing ABox Justifications for Query Answers via Datalog Rewriting. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
14 | Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu |
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|