4209 search results - page 507 / 842 » Abstract Dialectical Frameworks |
156
click to vote
CSL
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
138
click to vote
ERCIMDL
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
200
click to vote
ECOOP
1994
Springer
15 years 9 months ago
1994
Springer
There is an undeniable demand to capture already proven and matured object-oriented design so that building reusable object-oriented software does not always have to start from scr...
181
Voted
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
155
click to vote
AIIA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract-- This paper deals with an architecture for knowledge representation suitable for integrated Robotics and Ambient Intelligence applications. The aim of the work is to adop...