5 citations · 11 across the 9 of their papers we have counts for
9 papers
Spider-Sense: Intrinsic Risk Sensing for Efficient Agent Defense with Hierarchical Adaptive Screening
Zhenxiong Yu, Zhi Yang, Zhiheng Jin +19
As large language models (LLMs) evolve into autonomous agents, their real-world applicability has expanded significantly, accompanied by new security challenges. Most existing agen…
Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC
Qingyuan Liu, Mo Zou, Hengbin Zhang +3
File systems are critical OS components that require constant evolution to support new hardware and emerging application needs. However, the traditional paradigm of developing feat…
A Theory of Formalisms for Representing Knowledge
Heng Zhang, Guifei Jiang, Donghui Quan
There has been a longstanding dispute over which formalism is the best for representing knowledge in AI. The well-known "declarative vs. procedural controversy" is concerned with t…
Characterizing the Program Expressive Power of Existential Rule Languages
Heng Zhang
Existential rule languages are a family of ontology languages that have been widely used in ontology-mediated query answering (OMQA). However, for most of them, the expressive powe…
Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation
Arash Karimi, Heng Zhang, Jia-Huai You
The chase procedure for existential rules is an indispensable tool for several database applications, where its termination guarantees the decidability of these tasks. Most previou…
Model-theoretic Characterizations of Existential Rule Languages
Heng Zhang, Yan Zhang, Guifei Jiang
Existential rules, a.k.a. dependencies in databases, and Datalog+/- in knowledge representation and reasoning recently, are a family of important logical languages widely used in c…
Towards Universal Languages for Tractable Ontology Mediated Query Answering
Heng Zhang, Yan Zhang, Jia-Huai You +2
An ontology language for ontology mediated query answering (OMQA-language) is universal for a family of OMQA-languages if it is the most expressive one among this family. In this p…
Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering
Heng Zhang, Yan Zhang, Jia-Huai You
Existential rules, also known as data dependencies in Databases, have been recently rediscovered as a promising family of languages for Ontology-based Query Answering. In this pape…
Existential Rule Languages with Finite Chase: Complexity and Expressiveness
Heng Zhang, Yan Zhang, Jia-Huai You
Finite chase, or alternatively chase termination, is an important condition to ensure the decidability of existential rule languages. In the past few years, a number of rule langua…