1856 search results - page 6 / 372 » Formal Dialectic Specification |
ISOLA
2007
Springer
14 years 4 months ago
2007
Springer
FM
2008
Springer
13 years 11 months ago
2008
Springer
FM
2008
Springer
13 years 11 months ago
2008
Springer
IDEAS
2003
IEEE
14 years 3 months ago
2003
IEEE
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
COMMA
2010
13 years 4 months ago
2010
Abstract. This paper combines two recent extensions of Dung's abstract argumenrameworks in order to define an abstract formalism for reasoning about preferences in structured ...