4209 search results - page 433 / 842 » Abstract Dialectical Frameworks |
177
Voted
AAMAS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
140
click to vote
AEI
2010
15 years 7 months ago
2010
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
185
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
181
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...
203
click to vote
ENTCS
2008
15 years 6 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...