58 search results - page 9 / 12 » A Formal Concept View of Abstract Argumentation |
SLE
2009
Springer
15 years 4 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
ASIAN
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
NORMAS
2005
Springer
15 years 3 months ago
2005
Springer
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
SLOGICA
2002
14 years 10 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...