866 search results - page 26 / 174 » A Formal Investigation of |
123
click to vote
ICAIL
2011
ACM
14 years 1 months ago
2011
ACM
We study the formal relationships between the inferential aspects of Carneades (a general argumentation framework) and Defeasible Logic. The outcome of the investigation is that t...
109
click to vote
VL
1999
IEEE
15 years 6 months ago
1999
IEEE
The formal treatment of visual languages is often based on graph representations. Since the matter of discourse is visual languages, it would be convenient if the formal manipulat...
119
click to vote
FUIN
2008
15 years 14 days ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
115
click to vote
ICFCA
2010
Springer
15 years 8 months ago
2010
Springer
We investigate the complexity of enumerating pseudo-intents in the lectic order. We look at the following decision problem: Given a formal context and a set of n pseudo-intents det...
138
click to vote
COMPENG
2010
15 years 5 months ago
2010
This paper presents a Knowledge Base System (KBS) as a key component of a federated simulation framework which allows the investigation of (inter)dependencies among Critical Infra...