245 search results - page 41 / 49 » Semantic Issues in the Verification of Agent Communication L... |
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
APL
1993
ACM
15 years 1 months ago
1993
ACM
Although multicomputers are becoming feasible for solving large problems, they are difficult to program: Extraction of parallelism from scalar languages is possible, but limited....
101
click to vote
IJMSO
2007
14 years 9 months ago
2007
This paper describes work in progress developing a context-aware meeting alert. This application integrates semantic web technology in RDF (for representing calendars), semantic we...
AAAI
2006
14 years 11 months ago
2006
In this paper, we discuss how our work on evaluating Semantic Web knowledge base systems (KBSs) contributes to address some broader AI problems. First, we show how our approach pr...