2253 search results - page 236 / 451 » The ComFoRT Reasoning Framework |
160
click to vote
JLP
2010
15 years 24 days ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
206
click to vote
JOLLI
2010
15 years 24 days ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
186
click to vote
AGI
2011
14 years 9 months ago
2011
Abstract. This paper considers the consequences of endowing an intelligent agent with the ability to modify its own code. The intelligent agent is patterned closely after AIXI with...
172
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper presents a novel approach to utilizing high level knowledge for the problem of scene recognition in an active vision framework, which we call active scene recognition. ...
165
click to vote
CLIMA
2011
14 years 5 months ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...