Sciweavers

2214 search results - page 207 / 443
» Complexity of Reasoning
Sort
View
ICEIS
1999
IEEE
15 years 8 months ago
Facilitating Organisational Activities Using Plans and Audits
Group Decision Support Systems (GDSS) present important limitations that constrain their usage in current organisations. The fundamental reason is the lack of integration in the c...
Carlos J. Costa, Tania Ho, Pedro Antunes
SPLC
2008
15 years 5 months ago
On Controlled Visualisations in Software Product Line Engineering
Ongoing research in Software Product Line Engineering (SPLE) emphasises the derivation of a concrete product based on a given variant configuration as one of the most promising ar...
Florian Heidenreich, Ilie Savga, Christian Wende
IJCAI
2001
15 years 5 months ago
Market Clearability
Market mechanisms play a central role in AI as a coordination tool in multiagent systems and as an application area for algorithm design. Mechanisms where buyers are directly clea...
Tuomas Sandholm, Subhash Suri
ICSE
1999
IEEE-ACM
15 years 8 months ago
Using Off-the-Shelf Middleware to Implement Connectors in Distributed Software Architectures
Software architectures promote development focused on modular building blocks and their interconnections. Since architecture-level components often contain complex functionality, ...
Eric M. Dashofy, Nenad Medvidovic, Richard N. Tayl...
LORI
2009
Springer
15 years 8 months ago
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
Emiliano Lorini, François Schwarzentruber, ...