Sciweavers

14084 search results - page 159 / 2817
» A Theory for Game Theories
Sort
View
DALT
2004
Springer
14 years 1 months ago
Theories of Intentions in the Framework of Situation Calculus
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...
Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robe...
DBPL
2003
Springer
120views Database» more  DBPL 2003»
14 years 1 months ago
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
Iluju Kiringa, Raymond Reiter
WER
1999
Springer
14 years 16 days ago
Activity Theory: a Framework to Software Requirements Elicitation
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...
Luiz Eduardo Galvão Martins, Beatriz Mascia...
MFPS
1993
14 years 11 days ago
Some Quasi-Varieties of Iteration Theories
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
Stephen L. Bloom, Zoltán Ésik
AGI
2008
13 years 9 months ago
LIDA and a Theory of Mind
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...
David Friedlander, Stan Franklin