Image de couverture de livre

Capability Safety as Datalog: A Foundational Equivalence

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Spera, Cosimo
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the Boolean Network Theory of Datalog$^\neg$
par: Trinh, Van-Giang, et autres
Publié: (2025)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
par: Lanzinger, Matthias, et autres
Publié: (2024)

Inconsistency Handling in DatalogMTL
par: Bienvenu, Meghyn, et autres
Publié: (2025)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
par: Qureshi, Haya Majid, et autres
Publié: (2024)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
par: Artale, Alessandro, et autres
Publié: (2025)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
par: Mantenoglou, Periklis
Publié: (2026)

Capabilities: An Ontology
par: Beverley, John, et autres
Publié: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

Safety is Non-Compositional: A Formal Framework for Capability-Based AI Systems
par: Spera, Cosimo
Publié: (2026)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
par: Heuer, Jan
Publié: (2023)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
par: Fandinno, Jorge, et autres
Publié: (2024)

Safety as Computation: Certified Answer Reuse via Capability Closure in Task-Oriented Dialogue
par: Spera, Cosimo
Publié: (2026)

Automated Process Planning Based on a Semantic Capability Model and SMT
par: Köcher, Aljosha, et autres
Publié: (2023)

Shields to Guarantee Probabilistic Safety in MDPs
par: Heck, Linus, et autres
Publié: (2026)

Hybrid Answer Set Programming: Foundations and Applications
par: Rühling, Nicolas
Publié: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
par: Nikooroo, Saleh, et autres
Publié: (2025)

Efficient & Correct Predictive Equivalence for Decision Trees
par: Marques-Silva, Joao, et autres
Publié: (2025)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
par: Zhang, Leizhen, et autres
Publié: (2026)

Practical Reasoning in DatalogMTL
par: Wang, Dingmin, et autres
Publié: (2024)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
par: Rehan, Zainab, et autres
Publié: (2026)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
par: Kumar, Aman
Publié: (2024)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
par: Świechowski, Maciej, et autres
Publié: (2026)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
par: Joyce, Johnny
Publié: (2025)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
par: Boldachev, Alexander
Publié: (2025)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
par: Morishita, Terufumi, et autres
Publié: (2024)

Fixpoint Semantics for DatalogMTL with Negation
par: Pollaci, Samuele
Publié: (2026)

From Workflow Automation to Capability Closure: A Formal Framework for Safe and Revenue-Aware Customer Service AI
par: Spera, Cosimo
Publié: (2026)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
par: Anwer, Nivar, et autres
Publié: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
par: Ibeling, Duligur, et autres
Publié: (2024)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
par: Metere, Alfredo
Publié: (2026)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
par: Pal, Koyena, et autres
Publié: (2026)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
par: Grobelna, Marta, et autres
Publié: (2025)