Copertina

ODRL Policy Comparison Through Normalisation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Salas, Jaime Osvaldo, Pareti, Paolo, Konstantinidis, George
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Evaluation and Comparison Semantics for ODRL
di: Salas, Jaime Osvaldo, et al.
Pubblicazione: (2025)

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

Iterated belief revision: from postulates to abilities
di: Liberatore, Paolo
Pubblicazione: (2025)

Abductive forgetting
di: Liberatore, Paolo
Pubblicazione: (2022)

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
di: Pant, Sangeeta, et al.
Pubblicazione: (2024)

Formally Verified Approximate Policy Iteration
di: Schäffeler, Maximilian, et al.
Pubblicazione: (2024)

Techniques for Measuring the Inferential Strength of Forgetting Policies
di: Doherty, Patrick, et al.
Pubblicazione: (2024)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
di: Hsu, Tzu-Han, et al.
Pubblicazione: (2025)

Best-Effort Policies for Robust Markov Decision Processes
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

Representing Pedagogic Content Knowledge Through Rough Sets
di: Mani, A
Pubblicazione: (2024)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
di: Anand, Ashwani, et al.
Pubblicazione: (2025)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2024)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
di: Derkinderen, Vincent
Pubblicazione: (2024)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
di: Heck, Linus, et al.
Pubblicazione: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
di: Shea-Blymyer, Colin, et al.
Pubblicazione: (2024)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
di: Akshay, S., et al.
Pubblicazione: (2024)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
di: Cramer, Marcos, et al.
Pubblicazione: (2026)

Normalisation for Negative Free Logics without and with Definite Descriptions
di: Kürbis, Nils
Pubblicazione: (2024)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
di: Sevilla, Jaime, et al.
Pubblicazione: (2024)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
di: Meli, Daniele, et al.
Pubblicazione: (2025)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
di: George, Anne-Marie, et al.
Pubblicazione: (2024)

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

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

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

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

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

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

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
di: Alhessi, Yousef, et al.
Pubblicazione: (2025)

Efficient Inference and Computation of Optimal Alternatives for Preference Languages Based On Lexicographic Models
di: Wilson, Nic, et al.
Pubblicazione: (2024)

Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
di: Mustafa, Daham, et al.
Pubblicazione: (2026)

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

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

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

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
di: Xu, Shaojun, et al.
Pubblicazione: (2024)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
di: Rothkopf, Raven, et al.
Pubblicazione: (2024)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
di: Li, Chunxiao, et al.
Pubblicazione: (2024)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
di: Meli, Daniele, et al.
Pubblicazione: (2024)

Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
di: Evangelidis, Alexandros, et al.
Pubblicazione: (2025)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
di: Baugh, Kexin Gu, et al.
Pubblicazione: (2025)