Copertina

Graded Distributed Belief

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lorini, Emiliano, Rozplokhas, Dmitry
Natura:	Preprint
Pubblicazione:	2025
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

A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals
di: Aguilera-Ventura, Carlos, et al.
Pubblicazione: (2025)

LEGO-like Small-Model Constructions for Åqvist's Logics
di: Rozplokhas, Dmitry
Pubblicazione: (2024)

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

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

A Logic of "Black Box" Classifier Systems
di: Liu, Xinghan, et al.
Pubblicazione: (2022)

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

Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)
di: Klumpp, Dominik, et al.
Pubblicazione: (2024)

Rational Capability in Concurrent Games
di: Li, Yinfeng, et al.
Pubblicazione: (2025)

Distributed Knowing How
di: Liu, Bin, et al.
Pubblicazione: (2025)

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

Halting Recurrent GNNs and the Graded $μ$-Calculus
di: Bollen, Jeroen, et al.
Pubblicazione: (2025)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
di: Cardellini, Matteo, et al.
Pubblicazione: (2024)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
di: Akshay, S., et al.
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)

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

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

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

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

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

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

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)

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis
di: Gandarela, João Pedro, et al.
Pubblicazione: (2024)

Analogical proportions II
di: Antić, Christian
Pubblicazione: (2024)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
di: Bollig, Benedikt
Pubblicazione: (2026)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
di: Xu, Jianfeng
Pubblicazione: (2025)

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

Approximate matrices of systems of max-min fuzzy relational equations
di: Baaj, Ismaïl
Pubblicazione: (2025)

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

Iterated belief revision: from postulates to abilities
di: Liberatore, Paolo
Pubblicazione: (2025)

Partial Label Learning for Automated Theorem Proving
di: Zombori, Zsolt, et al.
Pubblicazione: (2025)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
di: Hsu, Tzu-Han, et al.
Pubblicazione: (2025)

A framework for Conditional Reasoning in Answer Set Programming
di: Alviano, Mario, et al.
Pubblicazione: (2025)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
di: Tudor, Alexis R., et al.
Pubblicazione: (2025)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
di: Khalil, Khurram, et al.
Pubblicazione: (2025)