5671 search results - page 683 / 1135 » A Semantic Approach to Interpolation |
161
Voted
IJCAI
2007
15 years 8 months ago
2007
In this paper, we present the agent programming language TEAMGOLOG, which is a novel approach to programming a team of cooperative agents under partial observability. Every agent ...
209
click to vote
IJCAI
2007
15 years 8 months ago
2007
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...
181
click to vote
AAAI
2004
15 years 8 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
194
click to vote
CSREASAM
2006
15 years 8 months ago
2006
Trust and authority are essential components that must be factored in designing and implementing a distributed access control mechanism for open environments. This paper presents ...
200
click to vote
ECIR
2003
Springer
15 years 8 months ago
2003
Springer
Topic Detection and Tracking is an event-based information organization task where online news streams are monitored in order to spot new unreported events and link documents with ...