5 search results - page 1 / 1 » Learning by Erasing in Dynamic Epistemic Logic |
137
Voted
LATA
2009
Springer
16 years 17 days ago
2009
Springer
193
Voted
AMAST
2010
Springer
15 years 25 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...
182
click to vote
JOLLI
2008
15 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...
190
Voted
HICSS
2002
IEEE
15 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...
171
Voted
LORI
2009
Springer
16 years 10 days 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 ...