132 search results - page 7 / 27 » Polite Theories Revisited |
ACSD
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting “aspects” and “assume/guarantee” reasoning. From these c...
AIS
2005
Springer
13 years 7 months ago
2005
Springer
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...
AAAI
2012
11 years 9 months ago
2012
The early classifications of the computational complexity of planning under various restrictions in STRIPS (Bylander) and SAS+ (B¨ackstr¨om and Nebel) have influenced followin...
JASIS
2008
13 years 7 months ago
2008
Gatekeeping theories have been a popular heuristic for describing information control for years, but none have attained a full theoretical status in the context of networks. This ...
CAISE
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...