Sciweavers

775 search results - page 60 / 155
» A Service-oriented Approach for the i* Framework
Sort
View
ATAL
2010
Springer
13 years 10 months ago
Formalizing organizational constraints: a semantic approach
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
M. Birna van Riemsdijk, Koen V. Hindriks, Catholij...
ATAL
2003
Springer
14 years 2 months ago
Multiagent diffusion and distributed optimization
Distributed problem solving by a multiagent system represents a promising approach to solving complex computational problems. However, many multiagent systems require certain degr...
Kwok Ching Tsui, Jiming Liu
SAT
2004
Springer
97views Hardware» more  SAT 2004»
14 years 2 months ago
Incremental Compilation-to-SAT Procedures
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
Marco Benedetti, Sara Bernardini
HICSS
2000
IEEE
125views Biometrics» more  HICSS 2000»
14 years 1 months ago
Beyond Bounded Activity Systems: Heterogeneous Cultures in Instructional Uses of Persistent Conversation
This paper proposes a two-level theoretical framework for the study of CMC illustrating the principles of mediation and contextual analysis. Based on log files and interviews from...
Steven L. Thorne
IJCAI
2001
13 years 10 months ago
A Comparative Study of Logic Programs with Preference
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
Torsten Schaub, Kewen Wang