3053 search results - page 465 / 611 » A Logic of Abstract Argumentation |
ECMDAFA
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
HPCC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract—In this paper, a novel architecture for a streaming intrusion detection system for Grid computing environments is presented. Detection mechanisms based on traditional lo...
ATAL
2001
Springer
14 years 1 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
ECSQARU
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
ECSQARU
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Using mathematical morphology on formulas introduced recently by Bloch and Lang (Proceedings of IPMU’2000) we define two new explanatory relations. Their logical behav...