Image de couverture de livre

The Realizability of Revision and Contraction Operators in Epistemic Spaces

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sauerwald, Kai, Thimm, Matthias
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence 03B42 I.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
par: Blümel, Lydia, et autres
Publié: (2026)

Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
par: Baltag, Alexandru, et autres
Publié: (2025)

Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback
par: Sauerwald, Kai, et autres
Publié: (2025)

FundaPod: A Multi-Persona Agent Pod Platform with Knowledge Graph Memory for AI-Assisted Fundamental Investment Research
par: Zhu, Di, et autres
Publié: (2026)

On the Complexity and Properties of Preferential Propositional Dependence Logic
par: Sauerwald, Kai, et autres
Publié: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
par: Kontinen, Juha, et autres
Publié: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
par: Sauerwald, Kai, et autres
Publié: (2026)

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)

Varieties of Distributed Knowledge
par: Galimullin, Rustam, et autres
Publié: (2025)

A Primer for Preferential Non-Monotonic Propositional Team Logics
par: Sauerwald, Kai, et autres
Publié: (2024)

Defeasible Reasoning via Datalog$^\neg$
par: Maher, Michael J.
Publié: (2021)

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

Faithful Logic Embeddings in HOL -- Deep and Shallow
par: Benzmüller, Christoph
Publié: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
par: Benzmüller, Christoph, et autres
Publié: (2026)

Bounded Model Checking for Unbounded Client Server Systems
par: Phawade, Ramchandra, et autres
Publié: (2022)

Parallel Belief Contraction via Order Aggregation
par: Chandler, Jake, et autres
Publié: (2025)

Representation Selection via Cross-Model Agreement using Canonical Correlation Analysis
par: Lewis, Dylan B., et autres
Publié: (2026)

A partial-state space model of unawareness
par: Holliday, Wesley H.
Publié: (2024)

A novel framework for systematic propositional formula simplification based on existential graphs
par: de Mas, Jordina Francès, et autres
Publié: (2024)

Parallel Belief Revision via Order Aggregation
par: Chandler, Jake, et autres
Publié: (2025)

On Definite Iterated Belief Revision with Belief Algebras
par: Meng, Hua, et autres
Publié: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
par: Tang, Shuai, et autres
Publié: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
par: Tang, Shuai
Publié: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
par: Tang, Shuai, et autres
Publié: (2025)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
par: Wright, Craig Steven
Publié: (2025)

Normative Conditional Reasoning as a Fragment of HOL
par: Parent, Xavier, et autres
Publié: (2023)

Semantic Modeling for World-Centered Architectures
par: Mantsivoda, Andrei, et autres
Publié: (2026)

Logical Modalities within the European AI Act: An Analysis
par: Lawniczak, Lara, et autres
Publié: (2025)

Relational Graph Convolutional Networks Do Not Learn Sound Rules
par: Morris, Matthew, et autres
Publié: (2024)

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
par: Morris, Matthew, et autres
Publié: (2025)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
par: Morris, Matthew, et autres
Publié: (2025)

First-Order Coalition Logic
par: Catta, Davide, et autres
Publié: (2025)

A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds
par: Mohan, Shiwali, et autres
Publié: (2023)

Extended Scenario Bundle Analysis: A Formal Framework for Strategic Scenario Modeling
par: Pitz, Thomas, et autres
Publié: (2026)

Zero-shot reasoning for simulating scholarly peer-review
par: Saqr, Khalid M.
Publié: (2025)

Which are the True Defeasible Logics?
par: Maher, Michael J.
Publié: (2024)

Retrieval Is Not Enough: Why Organizational AI Needs Epistemic Infrastructure
par: Bottino, Federico, et autres
Publié: (2026)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
par: Schellhorn, Daniel Romero, et autres
Publié: (2026)

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

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
par: Martina, Antoine, et autres
Publié: (2023)