Sciweavers

1636 search results - page 109 / 328
» Reasoning About Quantum Systems
Sort
View
ATAL
2010
Springer
15 years 7 months ago
Flexible task resourcing for intelligent agents
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
Murat Sensoy, Wamberto Weber Vasconcelos, Timothy ...
ARGMAS
2007
Springer
16 years 11 days ago
Defeasible Argumentation Support for an Extended BDI Architecture
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
Nicolás D. Rotstein, Alejandro Javier Garc&...
KI
1990
Springer
15 years 10 months ago
The Representation of Program Synthesis in Higher Order Logic
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
Christoph Kreitz
IDT
2010
124views more  IDT 2010»
15 years 4 months ago
Modelling decision making with probabilistic causation
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
Luís Moniz Pereira, Carroline Kencana Ramli
ETELEMED
2009
IEEE
154views Healthcare» more  ETELEMED 2009»
16 years 29 days ago
Continuous Noninvasive Pulse Transit Time Measurement for Psycho-physiological Stress Monitoring
—Stress is one of the most common reasons for a number of serious diseases. For the prevention and treatment of stress, a psycho-physiological monitoring system for stress measur...
Stefan Hey, Adnene Gharbi, Birte von Haaren, Katri...