Imagen de Portada

Capability Safety as Datalog: A Foundational Equivalence

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Spera, Cosimo
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the Boolean Network Theory of Datalog$^\neg$
por: Trinh, Van-Giang, et al.
Publicado: (2025)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
por: Lanzinger, Matthias, et al.
Publicado: (2024)

Inconsistency Handling in DatalogMTL
por: Bienvenu, Meghyn, et al.
Publicado: (2025)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
por: Qureshi, Haya Majid, et al.
Publicado: (2024)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
por: Artale, Alessandro, et al.
Publicado: (2025)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
por: Mantenoglou, Periklis
Publicado: (2026)

Capabilities: An Ontology
por: Beverley, John, et al.
Publicado: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

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

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
por: Heuer, Jan
Publicado: (2023)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
por: Fandinno, Jorge, et al.
Publicado: (2024)

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

Automated Process Planning Based on a Semantic Capability Model and SMT
por: Köcher, Aljosha, et al.
Publicado: (2023)

Shields to Guarantee Probabilistic Safety in MDPs
por: Heck, Linus, et al.
Publicado: (2026)

Hybrid Answer Set Programming: Foundations and Applications
por: Rühling, Nicolas
Publicado: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
por: Nikooroo, Saleh, et al.
Publicado: (2025)

Efficient & Correct Predictive Equivalence for Decision Trees
por: Marques-Silva, Joao, et al.
Publicado: (2025)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
por: Zhang, Leizhen, et al.
Publicado: (2026)

Practical Reasoning in DatalogMTL
por: Wang, Dingmin, et al.
Publicado: (2024)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
por: Rehan, Zainab, et al.
Publicado: (2026)

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

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
por: Świechowski, Maciej, et al.
Publicado: (2026)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

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

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
por: Boldachev, Alexander
Publicado: (2025)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
por: Morishita, Terufumi, et al.
Publicado: (2024)

Fixpoint Semantics for DatalogMTL with Negation
por: Pollaci, Samuele
Publicado: (2026)

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

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
por: Anwer, Nivar, et al.
Publicado: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
por: Ibeling, Duligur, et al.
Publicado: (2024)

Defining implication relation for classical logic
por: Fu, Li
Publicado: (2013)

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

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
por: Pal, Koyena, et al.
Publicado: (2026)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
por: Grobelna, Marta, et al.
Publicado: (2025)