5378 search results - page 819 / 1076 » Base Logics in Argumentation |
UML
1998
Springer
14 years 3 months ago
1998
Springer
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...
ISMVL
1997
IEEE
14 years 3 months ago
1997
IEEE
In this paper, the minimization of incompletely specified multi-valued functions using functional decomposition is discussed. From the aspect of machine learning, learning sample...
WADT
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
AMAST
1997
Springer
14 years 3 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
VL
1996
IEEE
14 years 3 months ago
1996
IEEE
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...