This document is unfortunately not available for download at the moment.
143-174
Nonmonotonic inferences and neural networks
Blutner Reinhard
175-202
A model of jury decisions where all jurors have the same evidence
Dietrich Franz; List Christian
203-227
A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic
Kacprzak M.; Penczek W.
229-267
Update semantics of security protocols
Hommersom Arjen; Meyer John-Jules; De Vink Erik
Not implemented yet !