Imagen de Portada

The Realizability of Revision and Contraction Operators in Epistemic Spaces

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Sauerwald, Kai, Thimm, Matthias
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence 03B42 I.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
por: Blümel, Lydia, et al.
Publicado: (2026)

Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
por: Baltag, Alexandru, et al.
Publicado: (2025)

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

FundaPod: A Multi-Persona Agent Pod Platform with Knowledge Graph Memory for AI-Assisted Fundamental Investment Research
por: Zhu, Di, 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)

Agent Interpolation for Knowledge
por: Bílková, Marta, et al.
Publicado: (2025)

Varieties of Distributed Knowledge
por: Galimullin, Rustam, et al.
Publicado: (2025)

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

Defeasible Reasoning via Datalog$^\neg$
por: Maher, Michael J.
Publicado: (2021)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
por: Brophy, Matthew E.
Publicado: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
por: Benzmüller, Christoph
Publicado: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
por: Benzmüller, Christoph, et al.
Publicado: (2026)

Bounded Model Checking for Unbounded Client Server Systems
por: Phawade, Ramchandra, et al.
Publicado: (2022)

Parallel Belief Contraction via Order Aggregation
por: Chandler, Jake, et al.
Publicado: (2025)

Representation Selection via Cross-Model Agreement using Canonical Correlation Analysis
por: Lewis, Dylan B., et al.
Publicado: (2026)

A partial-state space model of unawareness
por: Holliday, Wesley H.
Publicado: (2024)

A novel framework for systematic propositional formula simplification based on existential graphs
por: de Mas, Jordina Francès, et al.
Publicado: (2024)

Parallel Belief Revision via Order Aggregation
por: Chandler, Jake, et al.
Publicado: (2025)

On Definite Iterated Belief Revision with Belief Algebras
por: Meng, Hua, et al.
Publicado: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
por: Tang, Shuai, et al.
Publicado: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
por: Tang, Shuai
Publicado: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
por: Tang, Shuai, et al.
Publicado: (2025)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
por: Wright, Craig Steven
Publicado: (2025)

Normative Conditional Reasoning as a Fragment of HOL
por: Parent, Xavier, et al.
Publicado: (2023)

Semantic Modeling for World-Centered Architectures
por: Mantsivoda, Andrei, et al.
Publicado: (2026)

Logical Modalities within the European AI Act: An Analysis
por: Lawniczak, Lara, et al.
Publicado: (2025)

Relational Graph Convolutional Networks Do Not Learn Sound Rules
por: Morris, Matthew, et al.
Publicado: (2024)

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
por: Morris, Matthew, et al.
Publicado: (2025)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
por: Morris, Matthew, et al.
Publicado: (2025)

First-Order Coalition Logic
por: Catta, Davide, et al.
Publicado: (2025)

A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds
por: Mohan, Shiwali, et al.
Publicado: (2023)

Extended Scenario Bundle Analysis: A Formal Framework for Strategic Scenario Modeling
por: Pitz, Thomas, et al.
Publicado: (2026)

Zero-shot reasoning for simulating scholarly peer-review
por: Saqr, Khalid M.
Publicado: (2025)

Which are the True Defeasible Logics?
por: Maher, Michael J.
Publicado: (2024)

Retrieval Is Not Enough: Why Organizational AI Needs Epistemic Infrastructure
por: Bottino, Federico, et al.
Publicado: (2026)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
por: Schellhorn, Daniel Romero, et al.
Publicado: (2026)

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
por: Santacana, Andreu Ballus
Publicado: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
por: Martina, Antoine, et al.
Publicado: (2023)