552 search results - page 20 / 111 » A Reasoning Framework for Ambient Intelligence |
CAEPIA
2003
Springer
14 years 29 days ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
AI
2007
Springer
13 years 7 months ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
ICALP
2003
Springer
14 years 28 days ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Case-based reasoning and multicriteria decision making have common grounds: they are both problem solving methodologies; both involve the selection, ranking and aggregation of bes...
AAAI
1994
13 years 9 months ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...