3844 search results - page 289 / 769 » Modular interpreted systems |
153
click to vote
CSCW
1996
ACM
15 years 8 months ago
1996
ACM
Workspace awareness is knowledge about others' interaction with a shared workspace. Groupware systems provide only limited information about other participants, often comprom...
173
click to vote
CADE
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
117
click to vote
ICARIS
2007
Springer
15 years 8 months ago
2007
Springer
The idiotypic network has a long and chequered history in both theoretical immunology and Artificial Immune Systems. In terms of the latter, the drive for engineering applications ...
122
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
122
click to vote
KES
2000
Springer
15 years 8 months ago
2000
Springer
Fuzzy classification rules are widely considered a well-suited representation of classification knowledge, as they allow readable and interpretable rule bases. The goal of this pa...