3394 search results - page 105 / 679 » A Modal Model of Memory |
157
click to vote
CCIA
2007
Springer
16 years 17 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
161
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
159
click to vote
WCE
2007
15 years 7 months ago
2007
— Renewed interest in reducing interior noise in transportation vehicles has motivated research in low frequency, structural-acoustic analysis. The internal sound field in the en...
183
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
183
click to vote
MST
2010
15 years 1 months ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...