Sciweavers

2649 search results - page 165 / 530
» Temporal Theories of Reasoning
Sort
View
ICMI
2003
Springer
96views Biometrics» more  ICMI 2003»
15 years 11 months ago
Learning and reasoning about interruption
We present methods for inferring the cost of interrupting users based on multiple streams of events including information generated by interactions with computing devices, visual ...
Eric Horvitz, Johnson Apacible
ACSC
2002
IEEE
15 years 11 months ago
Representation and Reasoning for Goals in BDI Agents
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
John Thangarajah, Lin Padgham, James Harland
DIAGRAMS
2000
Springer
15 years 11 months ago
Capacity Limits in Diagrammatic Reasoning
This paper examines capacity limits in mental animation of static diagrams of mechanical systems and interprets these limits within current theories of working memory. I review emp...
Mary Hegarty
ARGMAS
2006
Springer
15 years 10 months ago
An Argumentation-Based Approach for Practical Reasoning
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
Iyad Rahwan, Leila Amgoud
ATAL
2006
Springer
15 years 8 months ago
An argumentation based approach for practical reasoning
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
Iyad Rahwan, Leila Amgoud