4978 search results - page 339 / 996 » Logical models of argument |
166
Voted
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
178
Voted
CAISE
2007
Springer
16 years 28 days ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
195
click to vote
WOA
2003
15 years 8 months ago
2003
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
158
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...
175
Voted
ASIAN
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...