Incremental Maintenance of DatalogMTL Materialisations
Fuente:
arXiv
Saved in:
| Main Authors: | Zhao, Kaiyue, Chen, Dingqi, Wang, Shaoyu, Hu, Pan |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Goal-Driven Reasoning in DatalogMTL with Magic Sets
by: Wang, Shaoyu, et al.
Published: (2024)
by: Wang, Shaoyu, et al.
Published: (2024)
Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025)
by: Bienvenu, Meghyn, et al.
Published: (2025)
Practical Reasoning in DatalogMTL
by: Wang, Dingmin, et al.
Published: (2024)
by: Wang, Dingmin, et al.
Published: (2024)
Fixpoint Semantics for DatalogMTL with Negation
by: Pollaci, Samuele
Published: (2026)
by: Pollaci, Samuele
Published: (2026)
Efficient Temporal Datalog Materialisation for Composite Event Recognition
by: Mantenoglou, Periklis
Published: (2026)
by: Mantenoglou, Periklis
Published: (2026)
Grounding Rule-Based Argumentation Using Datalog
by: Diller, Martin, et al.
Published: (2025)
by: Diller, Martin, et al.
Published: (2025)
On the Boolean Network Theory of Datalog$^\neg$
by: Trinh, Van-Giang, et al.
Published: (2025)
by: Trinh, Van-Giang, et al.
Published: (2025)
Incremental IVF Index Maintenance for Streaming Vector Search
by: Mohoney, Jason, et al.
Published: (2024)
by: Mohoney, Jason, et al.
Published: (2024)
Parallel Lifted Planning via Semi-Naive Datalog Evaluation
by: Drexler, Dominik, et al.
Published: (2026)
by: Drexler, Dominik, et al.
Published: (2026)
Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
by: Lanzinger, Matthias, et al.
Published: (2024)
by: Lanzinger, Matthias, et al.
Published: (2024)
Capability Safety as Datalog: A Foundational Equivalence
by: Spera, Cosimo
Published: (2026)
by: Spera, Cosimo
Published: (2026)
THOR: Inductive Link Prediction over Hyper-Relational Knowledge Graphs
by: Yu, Weijian, et al.
Published: (2026)
by: Yu, Weijian, et al.
Published: (2026)
Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction
by: Shah, Swapn, et al.
Published: (2026)
by: Shah, Swapn, et al.
Published: (2026)
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
by: Qureshi, Haya Majid, et al.
Published: (2024)
by: Qureshi, Haya Majid, et al.
Published: (2024)
MTL-LoRA: Low-Rank Adaptation for Multi-Task Learning
by: Yang, Yaming, et al.
Published: (2024)
by: Yang, Yaming, et al.
Published: (2024)
OmniFuser: Adaptive Multimodal Fusion for Service-Oriented Predictive Maintenance
by: Wang, Ziqi, et al.
Published: (2025)
by: Wang, Ziqi, et al.
Published: (2025)
Incremental XAI: Memorable Understanding of AI with Incremental Explanations
by: Bo, Jessica Y., et al.
Published: (2024)
by: Bo, Jessica Y., et al.
Published: (2024)
DynaHOI: Benchmarking Hand-Object Interaction for Dynamic Target
by: Hu, BoCheng, et al.
Published: (2026)
by: Hu, BoCheng, et al.
Published: (2026)
CasFT: Future Trend Modeling for Information Popularity Prediction with Dynamic Cues-Driven Diffusion Models
by: Jing, Xin, et al.
Published: (2024)
by: Jing, Xin, et al.
Published: (2024)
State-of-the-Art Approaches to Enhancing Privacy Preservation of Machine Learning Datasets: A Survey
by: Zhang, Chaoyu, et al.
Published: (2024)
by: Zhang, Chaoyu, et al.
Published: (2024)
VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
by: Un, ChongIn, et al.
Published: (2025)
by: Un, ChongIn, et al.
Published: (2025)
Tabular Incremental Inference
by: Chen, Xinda, et al.
Published: (2026)
by: Chen, Xinda, et al.
Published: (2026)
Tri-MTL: A Triple Multitask Learning Approach for Respiratory Disease Diagnosis
by: Kim, June-Woo, et al.
Published: (2025)
by: Kim, June-Woo, et al.
Published: (2025)
PHYSICS: Benchmarking Foundation Models on University-Level Physics Problem Solving
by: Feng, Kaiyue, et al.
Published: (2025)
by: Feng, Kaiyue, et al.
Published: (2025)
MARLIN: Multi-Agent Reinforcement Learning for Incremental DAG Discovery
by: Li, Dong, et al.
Published: (2026)
by: Li, Dong, et al.
Published: (2026)
TelOps: AI-driven Operations and Maintenance for Telecommunication Networks
by: Yang, Yuqian, et al.
Published: (2024)
by: Yang, Yuqian, et al.
Published: (2024)
Direct Routing Gradient (DRGrad): A Personalized Information Surgery for Multi-Task Learning (MTL) Recommendations
by: Liu, Yuguang, et al.
Published: (2025)
by: Liu, Yuguang, et al.
Published: (2025)
On Your Mark, Get Set, Predict! Modeling Continuous-Time Dynamics of Cascades for Information Popularity Prediction
by: Jing, Xin, et al.
Published: (2024)
by: Jing, Xin, et al.
Published: (2024)
Evaluating Memory in LLM Agents via Incremental Multi-Turn Interactions
by: Hu, Yuanzhe, et al.
Published: (2025)
by: Hu, Yuanzhe, et al.
Published: (2025)
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
by: Artale, Alessandro, et al.
Published: (2025)
by: Artale, Alessandro, et al.
Published: (2025)
MTL-MAD: Multi-Task Learners are Effective Medical Anomaly Detectors
by: Bercean, Bogdan Alexandru, et al.
Published: (2026)
by: Bercean, Bogdan Alexandru, et al.
Published: (2026)
DenseMTL: Cross-task Attention Mechanism for Dense Multi-task Learning
by: Lopes, Ivan, et al.
Published: (2022)
by: Lopes, Ivan, et al.
Published: (2022)
CMI-MTL: Cross-Mamba interaction based multi-task learning for medical visual question answering
by: Jin, Qiangguo, et al.
Published: (2025)
by: Jin, Qiangguo, et al.
Published: (2025)
An Efficient Multilevel Preconditioned Nonlinear Conjugate Gradient Method for Incremental Potential Contact
by: Zhang, Yu, et al.
Published: (2026)
by: Zhang, Yu, et al.
Published: (2026)
Incremental LTLf Synthesis
by: De Giacomo, Giuseppe, et al.
Published: (2026)
by: De Giacomo, Giuseppe, et al.
Published: (2026)
Joint Input and Output Coordination for Class-Incremental Learning
by: Wang, Shuai, et al.
Published: (2024)
by: Wang, Shuai, et al.
Published: (2024)
Make Graph Neural Networks Great Again: A Generic Integration Paradigm of Topology-Free Patterns for Traffic Speed Prediction
by: Zhou, Yicheng, et al.
Published: (2024)
by: Zhou, Yicheng, et al.
Published: (2024)
RobuMTL: Enhancing Multi-Task Learning Robustness Against Weather Conditions
by: Shaffee, Tasneem, et al.
Published: (2026)
by: Shaffee, Tasneem, et al.
Published: (2026)
REPLAY: Modeling Time-Varying Temporal Regularities of Human Mobility for Location Prediction over Sparse Trajectories
by: Deng, Bangchao, et al.
Published: (2024)
by: Deng, Bangchao, et al.
Published: (2024)
Adaptive Discovering and Merging for Incremental Novel Class Discovery
by: Chen, Guangyao, et al.
Published: (2024)
by: Chen, Guangyao, et al.
Published: (2024)
Similar Items
-
Goal-Driven Reasoning in DatalogMTL with Magic Sets
by: Wang, Shaoyu, et al.
Published: (2024) -
Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025) -
Practical Reasoning in DatalogMTL
by: Wang, Dingmin, et al.
Published: (2024) -
Fixpoint Semantics for DatalogMTL with Negation
by: Pollaci, Samuele
Published: (2026) -
Efficient Temporal Datalog Materialisation for Composite Event Recognition
by: Mantenoglou, Periklis
Published: (2026)