On Definite Iterated Belief Revision with Belief Algebras
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Meng, Hua, Long, Zhiguo, Sioutis, Michael, Zhou, Zhengchun |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Parallel Belief Revision via Order Aggregation
par: Chandler, Jake, et autres
Publié: (2025)
par: Chandler, Jake, et autres
Publié: (2025)
Parallel Belief Contraction via Order Aggregation
par: Chandler, Jake, et autres
Publié: (2025)
par: Chandler, Jake, et autres
Publié: (2025)
SHACL-SKOS Based Knowledge Representation of Material Safety Data Sheet (SDS) for the Pharmaceutical Industry
par: Lu, Brian, et autres
Publié: (2025)
par: Lu, Brian, et autres
Publié: (2025)
Inductive Learning for Possibilistic Logic Programs Under Stable Models
par: Hu, Hongbo, et autres
Publié: (2025)
par: Hu, Hongbo, et autres
Publié: (2025)
Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae
par: Armoni-Friedmann, Stav, et autres
Publié: (2025)
par: Armoni-Friedmann, Stav, et autres
Publié: (2025)
Bayes-Entropy Collaborative Driven Agents for Research Hypotheses Generation and Optimization
par: Duan, Shiyang, et autres
Publié: (2025)
par: Duan, Shiyang, et autres
Publié: (2025)
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation
par: Alviano, Mario, et autres
Publié: (2022)
par: Alviano, Mario, et autres
Publié: (2022)
Housing Potential Common Data Model and City Digital Twin
par: Katsumi, Megan, et autres
Publié: (2026)
par: Katsumi, Megan, et autres
Publié: (2026)
Meta-Programming for Linear-time Temporal Answer Set Programming
par: Hahn, Susana, et autres
Publié: (2026)
par: Hahn, Susana, et autres
Publié: (2026)
Memory Traces: Are Transformers Tulving Machines?
par: Chauvet, Jean-Marie
Publié: (2024)
par: Chauvet, Jean-Marie
Publié: (2024)
On the Complexity of the Discussion-based Semantics in Abstract Argumentation
par: Blümel, Lydia, et autres
Publié: (2026)
par: Blümel, Lydia, et autres
Publié: (2026)
Planning with OWL-DL Ontologies (Extended Version)
par: John, Tobias, et autres
Publié: (2024)
par: John, Tobias, et autres
Publié: (2024)
From User Preferences to Base Score Extraction Functions in Gradual Argumentation (with Appendix)
par: Civit, Aniol, et autres
Publié: (2026)
par: Civit, Aniol, et autres
Publié: (2026)
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases
par: Kinahan, Riley, et autres
Publié: (2024)
par: Kinahan, Riley, et autres
Publié: (2024)
Towards an ontology of portions of matter to support multi-scale analysis and provenance tracking
par: Vieira, Lucas Valadares, et autres
Publié: (2024)
par: Vieira, Lucas Valadares, et autres
Publié: (2024)
Transforming Constraint Programs to Input for Local Search
par: Devriendt, Jo, et autres
Publié: (2026)
par: Devriendt, Jo, et autres
Publié: (2026)
Knowledge Model Prompting Increases LLM Performance on Planning Tasks
par: Goh, Erik, et autres
Publié: (2026)
par: Goh, Erik, et autres
Publié: (2026)
WiseOWL: A Methodology for Evaluating Ontological Descriptiveness and Semantic Correctness for Ontology Reuse and Ontology Recommendations
par: Dalal, Aryan Singh, et autres
Publié: (2026)
par: Dalal, Aryan Singh, et autres
Publié: (2026)
Experiments with Encoding Structured Data for Neural Networks
par: Koujalgi, Sujay Nagesh, et autres
Publié: (2024)
par: Koujalgi, Sujay Nagesh, et autres
Publié: (2024)
Memory GAPS: Would LLMs pass the Tulving Test?
par: Chauvet, Jean-Marie
Publié: (2024)
par: Chauvet, Jean-Marie
Publié: (2024)
Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation
par: Sacco, Gabriele, et autres
Publié: (2024)
par: Sacco, Gabriele, et autres
Publié: (2024)
Contextual Importance and Utility in Python: New Functionality and Insights with the py-ciu Package
par: Främling, Kary
Publié: (2024)
par: Främling, Kary
Publié: (2024)
Towards end-to-end ASP computation
par: Sato, Taisuke, et autres
Publié: (2023)
par: Sato, Taisuke, et autres
Publié: (2023)
Attribute reduction algorithm of rough sets based on spatial optimization
par: Guo, Xuchang, et autres
Publié: (2024)
par: Guo, Xuchang, et autres
Publié: (2024)
Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
par: Huang, Xuanxiang, et autres
Publié: (2025)
par: Huang, Xuanxiang, et autres
Publié: (2025)
The Realizability of Revision and Contraction Operators in Epistemic Spaces
par: Sauerwald, Kai, et autres
Publié: (2024)
par: Sauerwald, Kai, et autres
Publié: (2024)
Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
par: Baltag, Alexandru, et autres
Publié: (2025)
par: Baltag, Alexandru, et autres
Publié: (2025)
From Fake Focus to Real Precision: Confusion-Driven Adversarial Attention Learning in Transformers
par: Liu, Yawei
Publié: (2025)
par: Liu, Yawei
Publié: (2025)
RELRaE: LLM-Based Relationship Extraction, Labelling, Refinement, and Evaluation
par: Hannah, George, et autres
Publié: (2025)
par: Hannah, George, et autres
Publié: (2025)
Automatic Prompt Optimization for Knowledge Graph Construction: Insights from an Empirical Study
par: Mihindukulasooriya, Nandana, et autres
Publié: (2025)
par: Mihindukulasooriya, Nandana, et autres
Publié: (2025)
Large Language Models as Oracles for Ontology Alignment
par: Lushnei, Sviatoslav, et autres
Publié: (2025)
par: Lushnei, Sviatoslav, et autres
Publié: (2025)
A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds
par: Mohan, Shiwali, et autres
Publié: (2023)
par: Mohan, Shiwali, et autres
Publié: (2023)
Demand-Driven Context: A Methodology for Building Enterprise Knowledge Bases Through Agent Failure
par: Navakoti, Raj, et autres
Publié: (2026)
par: Navakoti, Raj, et autres
Publié: (2026)
SemanticAgent: A Semantics-Aware Framework for Text-to-SQL Data Synthesis
par: Gao, Qiang, et autres
Publié: (2026)
par: Gao, Qiang, et autres
Publié: (2026)
High Quality Embeddings for Horn Logic Reasoning
par: Zhang, Yifan, et autres
Publié: (2026)
par: Zhang, Yifan, et autres
Publié: (2026)
Interpretation as Linear Transformation: A Cognitive-Geometric Model of Belief and Meaning
par: Amornbunchornvej, Chainarong
Publié: (2025)
par: Amornbunchornvej, Chainarong
Publié: (2025)
Large Language Models Can Better Understand Knowledge Graphs Than We Thought
par: Dai, Xinbang, et autres
Publié: (2024)
par: Dai, Xinbang, et autres
Publié: (2024)
KGiRAG: An Iterative GraphRAG Approach for Responding Sensemaking Queries
par: Iacob, Isabela, et autres
Publié: (2026)
par: Iacob, Isabela, et autres
Publié: (2026)
FSFM: A Biologically-Inspired Framework for Selective Forgetting of Agent Memory
par: Gu, Yingjie, et autres
Publié: (2026)
par: Gu, Yingjie, et autres
Publié: (2026)
Ignite Forecasting with SPARK: An Efficient Generative Framework for Refining LLMs in Temporal Knowledge Graph Forecasting
par: Yin, Gongzhu, et autres
Publié: (2025)
par: Yin, Gongzhu, et autres
Publié: (2025)
Documents similaires
-
Parallel Belief Revision via Order Aggregation
par: Chandler, Jake, et autres
Publié: (2025) -
Parallel Belief Contraction via Order Aggregation
par: Chandler, Jake, et autres
Publié: (2025) -
SHACL-SKOS Based Knowledge Representation of Material Safety Data Sheet (SDS) for the Pharmaceutical Industry
par: Lu, Brian, et autres
Publié: (2025) -
Inductive Learning for Possibilistic Logic Programs Under Stable Models
par: Hu, Hongbo, et autres
Publié: (2025) -
Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae
par: Armoni-Friedmann, Stav, et autres
Publié: (2025)