254 search results - page 21 / 51 » An abstract framework for reasoning about trust |
ICS
1999
Tsinghua U.
14 years 20 days ago
1999
Tsinghua U.
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...
ECSQARU
1999
Springer
14 years 21 days ago
1999
Springer
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
ISF
2007
13 years 8 months ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
PADL
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...