5 search results - page 1 / 1 » Learning by Erasing in Dynamic Epistemic Logic |
72
Voted
LATA
2009
Springer
15 years 5 months ago
2009
Springer
107
Voted
AMAST
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
105
Voted
JOLLI
2008
14 years 10 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
112
Voted
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
88
Voted
LORI
2009
Springer
15 years 4 months ago
2009
Springer
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...