Pages that link to "Item:Q813424"
From MaRDI portal
The following pages link to From knowledge-based programs to graded belief-based programs. I: On-line reasoning (Q813424):
Displayed 12 items.
- A framework for managing uncertain inputs: an axiomization of rewarding (Q648362) (← links)
- A logical formalization of the OCC theory of emotions (Q1036048) (← links)
- Using inconsistency measures for estimating reliability (Q1680689) (← links)
- Knowledge-based programs as succinct policies for partially observable domains (Q2046009) (← links)
- A computationally grounded logic of graded belief (Q2055797) (← links)
- On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes (Q2441476) (← links)
- A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling (Q3094005) (← links)
- Consistency-Based Reliability Assessment (Q3451182) (← links)
- Negation of Graded Beliefs (Q5117207) (← links)
- From KLM-style conditionals to defeasible modalities, and back (Q5375876) (← links)
- (Q6060107) (← links)
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs (Q6152664) (← links)