Sciweavers

7960 search results - page 391 / 1592
» Systems for Knowledge and Beliefs
Sort
View
ATAL
2011
Springer
14 years 6 months ago
The face of emotions: a logical formalization of expressive speech acts
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
Nadine Guiraud, Dominique Longin, Emiliano Lorini,...
ICRA
2006
IEEE
116views Robotics» more  ICRA 2006»
16 years 28 days ago
Transport of an Object by six pre-attached Robots interacting via Physical Links
— This paper addresses the cooperative transport of a heavy object by a group of mobile robots. We present a system in which group members lacking knowledge about the position of...
Roderich Groß, Francesco Mondada, Marco Dori...
AAAI
2007
15 years 9 months ago
Enabling Domain-Awareness for a Generic Natural Language Interface
In this paper, we present a learning-based approach for enabling domain-awareness for a generic natural language interface. Our approach automatically acquires domain knowledge fr...
Yunyao Li, Ishan Chaudhuri, Huahai Yang, Satinder ...
OHS
2001
Springer
15 years 11 months ago
INSPIRE: An INtelligent System for Personalized Instruction in a Remote Environment
Abstract. In this paper we present the architecture of an Adaptive Educational Hypermedia System, named INSPIRE. This particular system, throughout its interaction with the learner...
Kyparisia A. Papanikolaou, Maria Grigoriadou, Harr...
JAISE
2010
88views Algorithms» more  JAISE 2010»
15 years 1 months ago
Improving user verification by implementing an agent-based security system
Abstract. This paper presents an agent-based, high-level security system for user verification. The system verifies a user's identity by processing data from several low-lever...
Erik Dovgan, Bostjan Kaluza, Tea Tusar, Matjaz Gam...