Belief Update within Propositional Fragments.
Nadia CreignouRaïda KtariOdile PapiniPublished in: J. Artif. Intell. Res. (2018)
Keyphrases
- belief update
- propositional logic
- belief revision
- belief change
- epistemic states
- formal theory
- update operators
- planning under uncertainty
- default reasoning
- default logic
- belief state
- computational properties
- multi valued
- first order logic
- probabilistic logic
- ai planning
- database
- temporal logic
- integrity constraints
- merging operators
- logic programming