4209 search results - page 196 / 842 » Abstract Dialectical Frameworks |
133
click to vote
DALT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
165
click to vote
ISTAR
2008
15 years 8 months ago
2008
Abstract. This paper reports on our work on three complementary directions, aimed at developing: (i) a theoretical framework named UFO (Unified Foundational Ontology) for (re) desi...
158
click to vote
FMOODS
2003
15 years 7 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
203
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. We propose an argumentation framework for modelling jury-based dispute resolution where the dispute parties present their arguments before a judge and a jury. While the j...
180
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...