Pages that link to "Item:Q5898021"
From MaRDI portal
The following pages link to AI 2005: Advances in Artificial Intelligence (Q5898021):
Displaying 3 items.
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems (Q2821447) (← links)
- Intuitionistic multi-agent subatomic natural deduction for belief and knowledge (Q3382806) (← links)