Browsing Computation by Subject "Dynamic epistemic logic"
Now showing items 1-1 of 1
-
Choices that make you chnage your mind : a dynamic epistemic logic approach to the semantics of BDI agent programming languages
(2016) [Thesis]As the notions of Agency and Multiagent System became important topics for the Computer Science and Artificial Intelligence communities, Agent Programming has been proposed as a paradigm for the development of computer ...