682 search results - page 100 / 137 » Situated Semantic Alignment |
IUI
2010
ACM
14 years 25 days ago
2010
ACM
We propose the concept of research trails to help web users create and reestablish context across fragmented research processes without requiring them to explicitly structure and ...
ICPW
2007
13 years 10 months ago
2007
The Rule Responder project (responder.ruleml.org) extends the Semantic Web towards a Pragmatic Web infrastructure for collaborative human-computer networks. These allow semi-autom...
BCS
2008
13 years 10 months ago
2008
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
TELECARE
2004
13 years 10 months ago
2004
In this article we present the main features of Aingeru, a system that provides a new kind of tele assistance service. The purpose of developing Aingeru has been to overcome the ma...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...