Sciweavers

3729 search results - page 212 / 746
» On Formal Modeling of Agent Computations
Sort
View
ECAI
2000
Springer
15 years 11 months ago
Autonomous Environment and Task Adaptation for Robotic Agents
This paper investigates the problem of improving the performance of general state-of-the-art robot control systems by autonomously adapting them to specific tasks and environments...
Michael Beetz, Thorsten Belker
FLAIRS
2004
15 years 8 months ago
Automatic Creation of Contextual Knowledge in Simulated Agents
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
Hans Fernlund, Avelino J. Gonzalez
TCS
2011
15 years 1 months ago
Computational processes, observers and Turing incompleteness
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...
Klaus Sutner
ATAL
2008
Springer
15 years 8 months ago
Quantifying over coalitions in epistemic logic
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
TKDE
2010
164views more  TKDE 2010»
15 years 4 months ago
Defeasible Contextual Reasoning with Arguments in Ambient Intelligence
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
Antonis Bikakis, Grigoris Antoniou