Belief base contraction by belief accrual
From MaRDI portal
Publication:2321321
DOI10.1016/j.artint.2019.05.002zbMath1478.68349OpenAlexW2944124874WikidataQ127940441 ScholiaQ127940441MaRDI QIDQ2321321
Marcelo A. Falappa, Guillermo R. Simari, Cristhian A. D. Deagustini, Maria Vanina Martinez
Publication date: 28 August 2019
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2019.05.002
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (2)
Merging existential rules programs in multi-agent contexts through credibility accrual ⋮ Belief revision and computational argumentation: a critical comparison
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parallel belief revision: revising by sets of formulas
- Prioritized and non-prioritized multiple change on belief bases
- Prioritized repairing and consistent query answering in relational databases
- Dynamic belief revision operators
- Relevance in belief revision
- A mathematical treatment of defeasible reasoning and its implementation.
- Iterated belief revision, revised
- Argumentation in artificial intelligence
- On the logic of theory change: safe contraction
- Propositional knowledge base revision and minimal change
- Rational belief change, Popper functions and counterfactuals
- Subjunctives, dispositions and chances
- Preferential belief change using generalized epistemic entrenchment
- On the logic of iterated belief revision
- Local change
- A practical approach to revising prioritized knowledge bases
- Refined epistemic entrenchment
- A belief revision framework for revising epistemic states with partial epistemic states
- Policy-based inconsistency management in relational databases
- Database querying under changing preferences
- On the revision of informant credibility orders
- Modelling argument accrual with possibilistic uncertainty in a logic programming setting
- Datalog+- Ontology Consolidation
- How Dirty Is Your Relational Database? An Axiomatic Approach
- On the logic of theory change: Partial meet contraction and revision functions
- Kernel contraction
- Belief Change
- A framework for multi-agent belief revision
This page was built for publication: Belief base contraction by belief accrual
