1554 search results - page 118 / 311 » An Overview of the Spring System |
ATAL
1997
Springer
14 years 1 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
CONCUR
1989
Springer
14 years 1 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
CAIP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The visual systems in primates are organized around orienith a rich set of long-range horizontal connections. We abstract this from a differential-geometric perspective, ...
ECTEL
2006
Springer
14 years 1 months ago
2006
Springer
With increasingly conceiving learning as a social activity, technological support must become more aware of the social context of the individual in order to be able to provide adeq...
KES
2000
Springer
14 years 28 days ago
2000
Springer
We propose a speech-based conversation environment called Voice Cafe for facilitating dynamic knowledge interaction. Dynamic knowledge interaction is a key concept for creative in...