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