Copertina

Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Klumpp, Dominik, Ribeiro, Jandson S.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Model Change for Description Logic Concepts
di: Ozaki, Ana, et al.
Pubblicazione: (2026)

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

A modal logic translation of the AGM axioms for belief revision
di: Bonanno, Giacomo
Pubblicazione: (2025)

Preregistered Belief Revision Contracts
di: Alqithami, Saad
Pubblicazione: (2026)

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

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

Graded Distributed Belief
di: Lorini, Emiliano, et al.
Pubblicazione: (2025)

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

Logical foundations of Smart Contracts
di: Kalala, Kalonji
Pubblicazione: (2025)

Integrating Belief Domains into Probabilistic Logic Programs
di: Azzolini, Damiano, et al.
Pubblicazione: (2025)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
di: David, Victor, et al.
Pubblicazione: (2026)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
di: Köhler, Dominik, et al.
Pubblicazione: (2024)

Finitary Truly Concurrent Bisimulations
di: Wang, Yong
Pubblicazione: (2026)

Lifted Inference beyond First-Order Logic
di: Malhotra, Sagar, et al.
Pubblicazione: (2023)

Compilation and Fast Model Counting beyond CNF
di: de Colnet, Alexis, et al.
Pubblicazione: (2025)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2024)

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

Conditioning Accept-Desirability models in the context of AGM-like belief change
di: Coussement, Kathelijne, et al.
Pubblicazione: (2025)

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

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

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

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

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

Think Locally, Explain Globally: Graph-Guided LLM Investigations via Local Reasoning and Belief Propagation
di: Jha, Saurabh, et al.
Pubblicazione: (2026)

Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
di: Léveillé, Dylan
Pubblicazione: (2025)

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

Context-aware, Ante-hoc Explanations of Driving Behaviour
di: Grundt, Dominik, et al.
Pubblicazione: (2025)

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)

Machine Learning as Iterated Belief Change a la Darwiche and Pearl
di: Aravanis, Theofanis
Pubblicazione: (2025)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
di: Srbinovska, Anita, et al.
Pubblicazione: (2026)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
di: Kaminski, Roland, et al.
Pubblicazione: (2024)

A minimal coalition logic
di: Li, Yinfeng, et al.
Pubblicazione: (2024)

A Logic of Uncertain Interpretation
di: Bjorndahl, Adam
Pubblicazione: (2025)

A fuzzy loss for ontology classification
di: Flügel, Simon, et al.
Pubblicazione: (2024)

A Comprehensive Survey of Fuzzy Implication Functions
di: Fernandez-Peralta, Raquel
Pubblicazione: (2025)

A Compositional Framework for On-the-Fly LTLf Synthesis
di: Li, Yongkang, et al.
Pubblicazione: (2025)

A Uniform Language to Explain Decision Trees
di: Arenas, Marcelo, et al.
Pubblicazione: (2023)