Tag
This paper studies the complexity of answering two-way (conjunctive) regular path queries over knowledge bases with linear and guarded existential rules, establishing completeness results for data and combined complexity.
Introduces Agentic Transaction Processing (ATP) for validating and repairing AI-generated workflows, treating generated actions as untrusted proposals until verified against a constraint set. The system Mnemosyne provides safety guarantees with low overhead.