Image de couverture de livre

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	David, Robert, Ahmeti, Albin, Bushati, Geni, Tauqeer, Amar, Fensel, Anna
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science E.1; F.4.1; I.2.4; K.5.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Locality in Residuated-Lattice Structures
par: Carr, James
Publié: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

Modal Logics -- RNmatrices vs. Nmatrices
par: Coniglio, Marcelo E., et autres
Publié: (2024)

Robust Computation Tree Logic
par: Nayak, Satya Prakash, et autres
Publié: (2022)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
par: Catta, Davide, et autres
Publié: (2026)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
par: Kadaboina, Ravi Kiran
Publié: (2026)

Formal Verification of Diffusion Auctions
par: Galimullin, Rustam, et autres
Publié: (2025)

A Sequent Calculus for General Inductive Definitions
par: Eede, Robbe Van den, et autres
Publié: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
par: Barlatier, Patrick, et autres
Publié: (2025)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
par: Mustafa, Daham, et autres
Publié: (2026)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
par: Galimullin, Rustam, et autres
Publié: (2026)

Modeling Fairness in Recruitment AI via Information Flow
par: Brännström, Mattias, et autres
Publié: (2025)

Provably Correct Systems: Community, connections, and citations
par: Bowen, Jonathan P.
Publié: (2015)

Converting BPMN Diagrams to Privacy Calculus
par: Pitsiladis, Georgios V., et autres
Publié: (2024)

Interpretable classifiers for tabular data via discretization and feature selection
par: Jaakkola, Reijo, et autres
Publié: (2024)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
par: Tsamoura, Efthymia, et autres
Publié: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
par: Jung, Jean Christoph, et autres
Publié: (2023)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
par: Arndt, Dörthe, et autres
Publié: (2025)

Why we need an AI-resilient society
par: Bartz-Beielstein, Thomas
Publié: (2019)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
par: Huang, Xuanxiang, et autres
Publié: (2025)

Comparing State-Representations for DEL Model Checking
par: Behnke, Gregor, et autres
Publié: (2025)

Logic interpretations of ANN partition cells
par: Schmitt, Ingo
Publié: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
par: Cate, Balder ten, et autres
Publié: (2024)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
par: Galimullin, Rustam, et autres
Publié: (2025)

Beyond Imperfect Alternatives with Rulemapping: A Neuro-Symbolic Case Study on Online Hate Speech
par: von Cossel, Oskar
Publié: (2026)

Classification of Covering Spaces and Canonical Change of Basepoint
par: Wemmenhove, Jelle, et autres
Publié: (2024)

"What Is It That You Don't Understand?" Language Games and Black Box Algorithms
par: Demichelis, Remy
Publié: (2026)

Policy Cards: Machine-Readable Runtime Governance for Autonomous AI Agents
par: Mavračić, Juraj
Publié: (2025)

Detecting Inpainted Video with Frequency Domain Insights
par: Tang, Quanhui, et autres
Publié: (2024)

Integration of Contextual Descriptors in Ontology Alignment for Enrichment of Semantic Correspondence
par: Manziuk, Eduard, et autres
Publié: (2024)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
par: Zhang, Liao, et autres
Publié: (2024)

Parajudica: An RDF-Based Reasoner and Metamodel for Multi-Framework Context-Dependent Data Compliance Assessments
par: Moreau, Luc, et autres
Publié: (2025)

Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline
par: Koomullil, George
Publié: (2026)

A Survey on Group Fairness in Federated Learning: Challenges, Taxonomy of Solutions and Directions for Future Research
par: Salazar, Teresa, et autres
Publié: (2024)

LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
par: Lucas, Tom, et autres
Publié: (2026)

A Field Guide to Decision Making
par: Arthur, Richard B.
Publié: (2026)

TPTP World Infrastructure for Non-classical Logics
par: Steen, Alexander, et autres
Publié: (2025)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
par: Jaakkola, Reijo, et autres
Publié: (2024)

How Does Environmental Information Disclosure Affect Corporate Environmental Performance? Evidence from Chinese A-Share Listed Companies
par: Lin, Zehao
Publié: (2025)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
par: Waldinger, Richard
Publié: (2025)