7988 search results - page 142 / 1598 » A Useful Undecidable Theory |
DALT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
WER
1999
Springer
14 years 2 months ago
1999
Springer
In this article we defend the idea that social aspects have strong influence in the software requirements elicitation (Goguen 1993), which drive us to find help in the social scien...
AGI
2008
13 years 11 months ago
2008
Every agent aspiring to human level intelligence, every AGI agent, must be capable of a theory of mind. That is, it must be able to attribute mental states, including intentions, t...
CCR
2005
13 years 10 months ago
2005
This article describes how control theory has been used to address the question of how to size the buffers in core Internet routers. Control theory aims to predict whether the net...
CHI
2002
ACM
14 years 10 months ago
2002
ACM
Generative design theories are needed to b ridge the gaps between pure scientific knowledge, individual ("point") designs and systematic generation of viable design alte...