146 search results - page 25 / 30 » Fault-Tolerant Distributed Theorem Proving |
CONCUR
2004
Springer
14 years 24 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...
EXACT
2007
13 years 9 months ago
2007
In the past five years, we have designed and evolved an interlingua for sharing explanations generated by various automated systems such as hybrid web-based question answering sys...
COCOON
2008
Springer
13 years 9 months ago
2008
Springer
Consider a trader who exchanges one dollar into yen and assume that the exchange rate fluctuates within the interval [m, M]. The game ends without advance notice, then the trader ...
DAGSTUHL
2008
13 years 8 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...