1587 search results - page 185 / 318 » The Semantics of Extended SOFL |
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
ICDE
1995
IEEE
14 years 10 months ago
1995
IEEE
?In a fuzzy relational database where a relation is a fuzzy set of tuples and ill-known data are represented by possibility distributions, nested fuzzy queries can be expressed in ...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
LCPC
2009
Springer
14 years 1 months ago
2009
Springer
Classic loop unrolling allows to increase the performance of sequential loops by reducing the overheads of the non-computational parts of the loop. Unfortunately, when the loop con...
CATS
2007
13 years 10 months ago
2007
This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the mo...