51 search results - page 3 / 11 » Reasoning about aspects with common sense |
ACMICEC
2004
ACM
13 years 10 months ago
2004
ACM
Business-to-business e-contracting has gained attention in recent years as a way to improve traditional paper contracting. However, a complete framework specifying the aspects of ...
ECAI
1994
Springer
13 years 9 months ago
1994
Springer
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
The simultaneous use of multiple aspect languages has the potential of becoming a significant one, as new aspectoriented frameworks are developed and existing ones expand to incor...
SASO
2008
IEEE
13 years 11 months ago
2008
IEEE
—Distance sensitivity is a locality concept that is useful for designing scalable wireless sensor network applications. In this paper, we formally define distance sensitivity an...
KI
2005
Springer
13 years 10 months ago
2005
Springer
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...