Imagen de Portada

Credibility-Limited Revision for Epistemic Spaces

Fuente: arXiv

Guardado en:

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

Ejemplares similares

A Primer for Preferential Non-Monotonic Propositional Team Logics
por: Sauerwald, Kai, et al.
Publicado: (2024)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
por: Fandinno, Jorge, et al.
Publicado: (2024)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
por: Kim, Chang-Eop
Publicado: (2024)

Epistemic Skills: Reasoning about Knowledge and Oblivion
por: Liang, Xiaolong, et al.
Publicado: (2025)

Pearce's Characterisation in an Epistemic Domain
por: Su, Ezgi Iraz
Publicado: (2025)

An Epistemic Perspective on Agent Awareness
por: Naumov, Pavel, et al.
Publicado: (2025)

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

Who is Afraid of Minimal Revision?
por: Baccini, Edoardo, et al.
Publicado: (2025)

Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor
por: Hoorn, Johan F., et al.
Publicado: (2023)

The Realizability of Revision and Contraction Operators in Epistemic Spaces
por: Sauerwald, Kai, et al.
Publicado: (2024)

Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback
por: Sauerwald, Kai, et al.
Publicado: (2025)

Approximation Fixpoint Theory with Refined Approximation Spaces
por: Vanbesien, Linde, et al.
Publicado: (2025)

On the Trap Space Semantics of Normal Logic Programs
por: Trinh, Van-Giang, et al.
Publicado: (2026)

On the Complexity and Properties of Preferential Propositional Dependence Logic
por: Sauerwald, Kai, et al.
Publicado: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
por: Kontinen, Juha, et al.
Publicado: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
por: Sauerwald, Kai, et al.
Publicado: (2026)

Differentiable Inductive Logic Programming in High-Dimensional Space
por: Purgał, Stanisław J., et al.
Publicado: (2022)

AI Space Physics: Constitutive boundary semantics for open AI institutions
por: Romanchuk, Oleg, et al.
Publicado: (2026)

Upholding Epistemic Agency: A Brouwerian Assertibility Constraint for Responsible AI
por: Jülich, Michael
Publicado: (2026)

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)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
por: Song, Zhuo-Yang
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)

Preregistered Belief Revision Contracts
por: Alqithami, Saad
Publicado: (2026)

Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
por: Park, Young Bin
Publicado: (2026)

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

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)