1948 search results - page 112 / 390 » Formalizing Mirror Theory |
165
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
165
click to vote
DEON
2006
Springer
15 years 9 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
144
click to vote
DEON
2006
Springer
15 years 9 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
130
click to vote
APSEC
2001
IEEE
15 years 9 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
139
click to vote
KI
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...