4209 search results - page 293 / 842 » Abstract Dialectical Frameworks |
159
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents an object-oriented approach for describing and modelling buildings by means of computer graphics. The approach is based on an object- and component-oriented gr...
196
click to vote
ADL
1998
Springer
15 years 11 months ago
1998
Springer
This paper introduces the MREF framework for representing and correlating information at a higher semantic level than is possible with Web-based information systems today. The rol...
184
click to vote
ATAL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. A framework for cooperative goal-satisfaction in large-scale MultiAgent Systems (MAS) is presented in this paper. This is performed by demonstrating the applicability of ...
190
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
206
click to vote
ICFP
1997
ACM
15 years 10 months ago
1997
ACM
d Abstract) Allyn Dimock Harvard University Robert Muller Boston College Franklyn Turbak Wellesley College J. B. Wells∗ Glasgow University Topic Areas: compilation, lambda calcul...