Copertina

On Definite Iterated Belief Revision with Belief Algebras

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Meng, Hua, Long, Zhiguo, Sioutis, Michael, Zhou, Zhengchun
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence I.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Parallel Belief Revision via Order Aggregation
di: Chandler, Jake, et al.
Pubblicazione: (2025)

Parallel Belief Contraction via Order Aggregation
di: Chandler, Jake, et al.
Pubblicazione: (2025)

SHACL-SKOS Based Knowledge Representation of Material Safety Data Sheet (SDS) for the Pharmaceutical Industry
di: Lu, Brian, et al.
Pubblicazione: (2025)

Inductive Learning for Possibilistic Logic Programs Under Stable Models
di: Hu, Hongbo, et al.
Pubblicazione: (2025)

Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae
di: Armoni-Friedmann, Stav, et al.
Pubblicazione: (2025)

Bayes-Entropy Collaborative Driven Agents for Research Hypotheses Generation and Optimization
di: Duan, Shiyang, et al.
Pubblicazione: (2025)

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation
di: Alviano, Mario, et al.
Pubblicazione: (2022)

Housing Potential Common Data Model and City Digital Twin
di: Katsumi, Megan, et al.
Pubblicazione: (2026)

Meta-Programming for Linear-time Temporal Answer Set Programming
di: Hahn, Susana, et al.
Pubblicazione: (2026)

Memory Traces: Are Transformers Tulving Machines?
di: Chauvet, Jean-Marie
Pubblicazione: (2024)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
di: Blümel, Lydia, et al.
Pubblicazione: (2026)

Planning with OWL-DL Ontologies (Extended Version)
di: John, Tobias, et al.
Pubblicazione: (2024)

From User Preferences to Base Score Extraction Functions in Gradual Argumentation (with Appendix)
di: Civit, Aniol, et al.
Pubblicazione: (2026)

On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases
di: Kinahan, Riley, et al.
Pubblicazione: (2024)

Towards an ontology of portions of matter to support multi-scale analysis and provenance tracking
di: Vieira, Lucas Valadares, et al.
Pubblicazione: (2024)

Transforming Constraint Programs to Input for Local Search
di: Devriendt, Jo, et al.
Pubblicazione: (2026)

Knowledge Model Prompting Increases LLM Performance on Planning Tasks
di: Goh, Erik, et al.
Pubblicazione: (2026)

WiseOWL: A Methodology for Evaluating Ontological Descriptiveness and Semantic Correctness for Ontology Reuse and Ontology Recommendations
di: Dalal, Aryan Singh, et al.
Pubblicazione: (2026)

Experiments with Encoding Structured Data for Neural Networks
di: Koujalgi, Sujay Nagesh, et al.
Pubblicazione: (2024)

Memory GAPS: Would LLMs pass the Tulving Test?
di: Chauvet, Jean-Marie
Pubblicazione: (2024)

Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation
di: Sacco, Gabriele, et al.
Pubblicazione: (2024)

Contextual Importance and Utility in Python: New Functionality and Insights with the py-ciu Package
di: Främling, Kary
Pubblicazione: (2024)

Towards end-to-end ASP computation
di: Sato, Taisuke, et al.
Pubblicazione: (2023)

Attribute reduction algorithm of rough sets based on spatial optimization
di: Guo, Xuchang, et al.
Pubblicazione: (2024)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
di: Huang, Xuanxiang, et al.
Pubblicazione: (2025)

The Realizability of Revision and Contraction Operators in Epistemic Spaces
di: Sauerwald, Kai, et al.
Pubblicazione: (2024)

Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
di: Baltag, Alexandru, et al.
Pubblicazione: (2025)

From Fake Focus to Real Precision: Confusion-Driven Adversarial Attention Learning in Transformers
di: Liu, Yawei
Pubblicazione: (2025)

RELRaE: LLM-Based Relationship Extraction, Labelling, Refinement, and Evaluation
di: Hannah, George, et al.
Pubblicazione: (2025)

Automatic Prompt Optimization for Knowledge Graph Construction: Insights from an Empirical Study
di: Mihindukulasooriya, Nandana, et al.
Pubblicazione: (2025)

Large Language Models as Oracles for Ontology Alignment
di: Lushnei, Sviatoslav, et al.
Pubblicazione: (2025)

A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds
di: Mohan, Shiwali, et al.
Pubblicazione: (2023)

Demand-Driven Context: A Methodology for Building Enterprise Knowledge Bases Through Agent Failure
di: Navakoti, Raj, et al.
Pubblicazione: (2026)

SemanticAgent: A Semantics-Aware Framework for Text-to-SQL Data Synthesis
di: Gao, Qiang, et al.
Pubblicazione: (2026)

High Quality Embeddings for Horn Logic Reasoning
di: Zhang, Yifan, et al.
Pubblicazione: (2026)

Interpretation as Linear Transformation: A Cognitive-Geometric Model of Belief and Meaning
di: Amornbunchornvej, Chainarong
Pubblicazione: (2025)

Large Language Models Can Better Understand Knowledge Graphs Than We Thought
di: Dai, Xinbang, et al.
Pubblicazione: (2024)

KGiRAG: An Iterative GraphRAG Approach for Responding Sensemaking Queries
di: Iacob, Isabela, et al.
Pubblicazione: (2026)

FSFM: A Biologically-Inspired Framework for Selective Forgetting of Agent Memory
di: Gu, Yingjie, et al.
Pubblicazione: (2026)

Ignite Forecasting with SPARK: An Efficient Generative Framework for Refining LLMs in Temporal Knowledge Graph Forecasting
di: Yin, Gongzhu, et al.
Pubblicazione: (2025)