3813 search results - page 533 / 763 » Advanced Interaction in Context |
173
click to vote
IJRR
2008
15 years 6 months ago
2008
Abstract. In the world of living creatures, "simple minded" animals often cooperate to achieve common goals with amazing performance. One can consider this idea in the co...
165
click to vote
IJWGS
2008
15 years 6 months ago
2008
: In the situation of information overload we are experiencing today, conventional web search systems taking a one-size-fits-all approach are often not capable of effectively satis...
203
click to vote
JAIR
2008
15 years 6 months ago
2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
176
click to vote
LISP
2008
15 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
161
click to vote
IGPL
2007
15 years 6 months ago
2007
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...