Imagen de Portada

Weak Permission is not Well-Founded, Grounded and Stable

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Governatori, Guido
Formato:	Preprint
Publicado:	2024
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

Judicial Permission
por: Governatori, Guido, et al.
Publicado: (2025)

Deontic Argumentation
por: Governatori, Guido, et al.
Publicado: (2025)

Explainability by design: an experimental analysis of the legal coding process
por: Cristani, Matteo, et al.
Publicado: (2025)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
por: Horner, Elias, et al.
Publicado: (2025)

Permissible Knowledge Pooling
por: Dong, Huimin
Publicado: (2024)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
por: Andrews, Uri, et al.
Publicado: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
por: Yang, HuanYu, et al.
Publicado: (2025)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
por: de Lima, Tiago, et al.
Publicado: (2024)

Finite Groundings for ASP with Functions: A Journey through Consistency
por: Gerlach, Lukas, et al.
Publicado: (2024)

Well-Founded Coalgebras Meet König's Lemma
por: Urbat, Henning, et al.
Publicado: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
por: Beiser, Alexander, et al.
Publicado: (2025)

Weighted Rules under the Stable Model Semantics
por: Lee, Joohyung, et al.
Publicado: (2026)

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

Epistemic Logic Programs: Non-Ground and Counting Complexity
por: Eiter, Thomas, et al.
Publicado: (2025)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
por: Allen, Bradley P., et al.
Publicado: (2025)

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

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

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

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)

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

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, 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)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
por: Fidan, Müge, et al.
Publicado: (2025)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
por: Filipe, João, et al.
Publicado: (2026)

Analogical proportions II
por: Antić, Christian
Publicado: (2024)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
por: Meng, Yue, et al.
Publicado: (2025)

Canonical Decision Diagrams Modulo Theories
por: Michelutti, Massimo, et al.
Publicado: (2024)

On Formally Undecidable Traits of Intelligent Machines
por: Fox, Matthew
Publicado: (2024)

Model Counting in the Wild
por: Shaw, Arijit, et al.
Publicado: (2024)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
por: Li, Ying, et al.
Publicado: (2024)

Operator-based semantics for choice programs: is choosing losing? (full version)
por: Heyninck, Jesse
Publicado: (2024)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
por: Liu, Chanjuan, et al.
Publicado: (2024)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
por: Azzolini, Damiano, et al.
Publicado: (2024)

LTLf Synthesis Under Unreliable Input
por: Hagemeier, Christian, et al.
Publicado: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
por: Azzolini, Damiano, et al.
Publicado: (2024)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
por: Salhi, Yakoub
Publicado: (2024)