Search results for "Datalog"

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