5 search results - page 1 / 1 » Learning by Erasing in Dynamic Epistemic Logic |
LATA
2009
Springer
13 years 12 months ago
2009
Springer
AMAST
2010
Springer
13 years 6 days 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...
JOLLI
2008
13 years 5 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...
HICSS
2002
IEEE
13 years 10 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...
LORI
2009
Springer
13 years 11 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 ...