Sciweavers

1849 search results - page 154 / 370
» Intelligent Expressions of Emotions
Sort
View
EPIA
2001
Springer
15 years 11 months ago
Situation Calculus as Hybrid Logic: First Steps
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
Patrick Blackburn, Jaap Kamps, Maarten Marx
FLAIRS
2006
15 years 7 months ago
Verbalization Enhanced Tutoring
Intelligent Tutoring Systems (ITS) typically contain elements of instruction, assessment, feedback and guidance for the trainee. Most of the time, the ITS is controlling the dialo...
Christel Kemke, Shamima Mithun
ICTAI
2003
IEEE
15 years 11 months ago
S-MEP: A Planner for Numeric Goals
Planning for numeric goals is an important problem. Only one of the many participants from the 2002 international planning competition (Metric-FF) can effectively handle problems ...
Javier Sanchez, Amol Dattatraya Mali
CA
2003
IEEE
15 years 11 months ago
Language-Driven Nonverbal Communication in a Bilingual Conversational Agent
This paper describes an animated conversational agent called Kare1 which integrates a talking head interface with a linguistically motivated human-machine dialogue system. The age...
Scott A. King, Alistair Knott, Brendan McCane
ASP
2005
Springer
16 years 1 days ago
Extending Conceptual Logic Programs with Arbitrary Rules
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir