Sciweavers

3394 search results - page 341 / 679
» A Modal Model of Memory
Sort
View
AROBOTS
2007
163views more  AROBOTS 2007»
15 years 6 months ago
Behavioral overlays for non-verbal communication expression on a humanoid robot
This research details the application of non-verbal communication display behaviors to an autonomous humanoid robot, including the use of proxemics, which to date has been seldom ...
Andrew G. Brooks, Ronald C. Arkin
JUCS
2006
145views more  JUCS 2006»
15 years 6 months ago
Computer Science, Logic, Informatics Education
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
Katalin Pásztor-Varga, Magda Várter&...
KI
2006
Springer
15 years 6 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
LMCS
2006
98views more  LMCS 2006»
15 years 6 months ago
Approximate reasoning for real-time probabilistic processes
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisi...
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
AI
2005
Springer
15 years 6 months ago
On the logic of cooperation and propositional control
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
Wiebe van der Hoek, Michael Wooldridge