Sciweavers

1514 search results - page 121 / 303
» Cues to Common Knowledge
Sort
View
IJIT
2004
13 years 11 months ago
A Constructive Problem Solver Approach for Building Agriculture Disorder Treatment Task
Expert systems development is a complex and expensive process that needs to be applied in an organized manner. This paper presents an approach for building a generic treatment mode...
Abeer El-Korany, Ahmed A. Rafea
IJCAI
1989
13 years 11 months ago
A Maneuvering-Board Approach to Path Planning with Moving Obstacles
In this paper we describe a new approach to the problem of path planning with moving obstacles. Our approach is based on the maneuvering board method commonly used for nautical na...
Lou Tychonievich, David Zaret, John Mantegna, Robe...
AMAI
2007
Springer
13 years 10 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans
BEHAVIOURIT
2007
98views more  BEHAVIOURIT 2007»
13 years 10 months ago
Methods for human - computer interaction research with older people
: Experimental research in human–computer interaction commonly uses participant groups that are unrepresentative of demographic realities, being young, technically knowledgeable ...
Anna Dickinson, John L. Arnott, Suzanne Prior
HCI
2009
13 years 8 months ago
Models of Culture for Virtual Human Conversation
In this paper, we survey different types of Models of culture for virtual humans. Virtual humans are artificial agents that include both a visual human-like body and intelligent co...
David R. Traum