Sciweavers

1671 search results - page 236 / 335
» Semantics Through Pictures
Sort
View
WOA
2001
13 years 9 months ago
Coordinating Mobile Agents by means of Communicators
This paper proposes a coordination model, for both nd mobile agents, based on abstract structures called Communicators, entities which handle agent dialogue performed through ACL ...
Antonella Di Stefano, Corrado Santoro
NIPS
2003
13 years 9 months ago
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
Artur S. d'Avila Garcez, Luís C. Lamb
IWFM
1998
136views Formal Methods» more  IWFM 1998»
13 years 9 months ago
Translating Structured Database Schemas into Abstract Machines
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
Brian Matthews, Elvira Locuratolo
NIPS
2000
13 years 9 months ago
Hippocampally-Dependent Consolidation in a Hierarchical Model of Neocortex
In memory consolidation, declarative memories which initially require the hippocampus for their recall, ultimately become independent of it. Consolidation has been the focus of nu...
Szabolcs Káli, Peter Dayan
NAACL
1994
13 years 9 months ago
Recent Developments in the Experimental "WAXHOLM" Dialog System
Recently we have begun to build the basic tools for a generic speech-dialog system. The main modules, their function and internal communication have been specified. The different ...
Rolf Carlson