{"total":23,"rows":[{"id":"2201.04596","title":"MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators","created":"2022-01-12","cited_by_count":7,"area":null},{"id":"2102.02753","title":"Materializing Knowledge Bases via Trigger Graphs","created":"2021-02-04","cited_by_count":5,"area":null},{"id":"2305.14485","title":"Knowledge Graphs Querying","created":"2023-05-23","cited_by_count":5,"area":null},{"id":"2207.09669","title":"Efficient Dependency Analysis for Rule-Based Ontologies","created":"2022-07-20","cited_by_count":2,"area":null},{"id":"2107.06054","title":"Parallelisable Existential Rules: a Story of Pieces","created":"2021-07-13","cited_by_count":1,"area":null},{"id":"2202.06285","title":"On the Relationship between Shy and Warded Datalog+/-","created":"2022-02-13","cited_by_count":1,"area":null},{"id":"2308.04161","title":"Current and Future Challenges in Knowledge Representation and Reasoning","created":"2023-08-08","cited_by_count":1,"area":null},{"id":"2308.15897","title":"Nemo: First Glimpse of a New Rule Engine","created":"2023-08-30","cited_by_count":1,"area":null},{"id":"2410.12418","title":"Chase Anonymisation: Privacy-Preserving Knowledge Graphs with Logical Reasoning","created":"2024-10-16","cited_by_count":1,"area":null},{"id":"2103.08588","title":"iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report)","created":"2021-03-15","cited_by_count":0,"area":null},{"id":"2105.05733","title":"Thematic recommendations on knowledge graphs using multilayer networks","created":"2021-05-12","cited_by_count":0,"area":null},{"id":"2105.11147","title":"Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-","created":"2021-05-24","cited_by_count":0,"area":null},{"id":"2106.10946","title":"Defeasible Reasoning via Datalog$^\\neg$","created":"2021-06-21","cited_by_count":0,"area":null},{"id":"2108.00903","title":"Extending Sticky-Datalog+/- via Finite-Position Selection Functions: Tractability, Algorithms, and Optimization","created":"2021-08-02","cited_by_count":0,"area":null},{"id":"2110.03624","title":"On the Complexity of Inductively Learning Guarded Rules","created":"2021-10-07","cited_by_count":0,"area":null},{"id":"2202.05086","title":"Complexity of Arithmetic in Warded Datalog+-","created":"2022-02-10","cited_by_count":0,"area":null},{"id":"2205.02220","title":"Chasing Streams with Existential Rules","created":"2022-05-04","cited_by_count":0,"area":null},{"id":"2208.07100","title":"Seminaive Materialisation in DatalogMTL","created":"2022-08-15","cited_by_count":0,"area":null},{"id":"2305.06854","title":"Enhancing Datalog Reasoning with Hypertree Decompositions","created":"2023-05-11","cited_by_count":0,"area":null},{"id":"2312.11297","title":"Optimised Storage for Datalog Reasoning","created":"2023-12-18","cited_by_count":0,"area":null},{"id":"2605.02488","title":"Efficient Temporal Datalog Materialisation for Composite Event Recognition","created":"2026-05-04","cited_by_count":0,"area":null},{"id":"2607.28778","title":"Stratified Negation in RDF Rules: A Correct Approach (Extended Version)","created":"2026-07-30","cited_by_count":0,"area":null},{"id":"2608.06399","title":"Recovering Explanations from Transformed Rule-Based Ontologies","created":"2026-07-31","cited_by_count":0,"area":null}],"next_cursor":null}