2 citations · 2 across the 4 of their papers we have counts for
4 papers
ADR: An Agentic Detection System for Enterprise Agentic AI Security
Chenning Li, Pan Hu, Justin Xu +9
We present the Agentic AI Detection and Response (ADR) system, the first large-scale, production-proven enterprise framework for securing AI agents operating through the Model Cont…
Incremental Maintenance of DatalogMTL Materialisations
Kaiyue Zhao, Dingqi Chen, Shaoyu Wang +1
DatalogMTL extends the classical Datalog language with metric temporal logic (MTL), enabling expressive reasoning over temporal data. While existing reasoning approaches, such as m…
Goal-Driven Reasoning in DatalogMTL with Magic Sets
Shaoyu Wang, Kaiyue Zhao, Dongliang Wei +4
DatalogMTL is a powerful rule-based language for temporal reasoning. Due to its high expressive power and flexible modeling capabilities, it is suitable for a wide range of applica…
Practical Reasoning in DatalogMTL
Dingmin Wang, Przemysław A. Wałęga, Pan Hu +1
DatalogMTL is an extension of Datalog with metric temporal operators that has found an increasing number of applications in recent years. Reasoning in DatalogMTL is, however, of hi…