Searching for "Theories with Recursive Models." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Tennenbaum’s Theorem for Models of Arithmetic
- … constructing theories with no recursive models [15] [16], and Kreisel [13] and Putnam [21] had independently…
- Cited by 1 (0 self) – Add To MetaCart
-
Complexity Theoretic Model Theory and Algebra
- … complexity theoretic model theory, deals with model existence questions. For example, given a recursive model…
- Cited by 1 (0 self) – Add To MetaCart
-
Groups as Agents with Mental Attitudes
- … to game theory, recursive modelling considers the practical limitations of agents, such that they can…
- Cited by 9 (6 self) – Add To MetaCart
-
Groups as Agents with Mental Attitudes
- … of agent theory this idea has been formalized by Gmytrasiewitcz and Durfee [17] as recursive modelling…
- Add To MetaCart
-
Modularity and Communication in Multiagent Planning
- … decision theory in the recursive modeling method, which enables agents to model what others are thinking…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 5.
