803 search results - page 59 / 161 » A Query Language for Logic Architectures |
SIGMOD
1998
ACM
14 years 1 months ago
1998
ACM
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
OTM
2007
Springer
14 years 3 months ago
2007
Springer
As more semantic web services become on the Internet, it is feasible that users collaborate among them to save efforts in complex web solutions by sharing and reusing existing sema...
MA
1997
Springer
14 years 1 months ago
1997
Springer
: We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any...
SAS
2001
Springer
14 years 1 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
AAAI
2000
13 years 10 months ago
2000
We present Dialog Moves Markup Language (DMML): an extensible markup language (XML) representation of modality independent communicative acts of automated conversational agents. I...