Repository | Journal | Volume

COPR BookmarkLink
237067

2004

124 Pages

ISBN n/a

Synthese

Knowledge, rationality & action

Vol. 142 (2)

Publication details

Full citation:

(2004). Knowledge, rationality & action. Synthese 142 (2).

Table of Contents

Nonmonotonic inferences and neural networks

Blutner Reinhard

143-174

Open Access Link
A model of jury decisions where all jurors have the same evidence

Dietrich Franz; List Christian

175-202

Open Access Link
A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic

Kacprzak M.; Penczek W.

203-227

Open Access Link
Update semantics of security protocols

Hommersom Arjen; Meyer John-Jules; De Vink Erik

229-267

Open Access Link
Is this table of contents incomplete? Click here to add the missing references

This document is unfortunately not available for download at the moment.