1525 search results - page 280 / 305 » Formal Models for Communication-Based Design |
139
Voted
ADBIS
2006
Springer
15 years 4 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
104
click to vote
ARGMAS
2006
Springer
15 years 4 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
89
Voted
ICAIL
1995
ACM
15 years 4 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
121
Voted
EDBT
2010
ACM
15 years 3 months ago
2010
ACM
This paper develops toolsets for eliminating algorithm-based disclosure from existing privacy-preserving data publishing algorithms. We first show that the space of algorithm-base...
125
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...