127 search results - page 7 / 26 » Towards Practical Enforcement Theories |
IJCAI
1989
13 years 11 months ago
1989
This paper deals with a well known problem in AI planning: detecting and resolving conflicts in nonlinear plans. We sketch a theory of restricted conflict detection and resolution...
CAISE
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we present a coordination approach towards creating and maintaining alignment between the business and its support systems. The business objectives are related to the...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper proposes and validates a theory of physician resistance toward IT usage by drawing on prior research in the resistance to change literature and a recent dual-factor mod...
ICAIL
2003
ACM
14 years 3 months ago
2003
ACM
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...
TLDI
2009
ACM
14 years 6 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...