8469 search results - page 1306 / 1694 » An Agent-Environment Interaction Model |
162
click to vote
AMW
2009
15 years 8 months ago
2009
Abstract. This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional n...
195
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
210
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Artificial agents trying to achieve communicative goals in situated interactions in the real-world need powerful computational systems for conceptualizing their environment. In ord...
143
click to vote
FUNGAMES
2008
15 years 8 months ago
2008
We report on the construction of real-world dice equipped with radio frequency identification (RFID) technology that support the automated readout and processing of rolled results....
166
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...