Sciweavers

466 search results - page 31 / 94
» A Theory of Rate-Based Execution
Sort
View
DIAGRAMS
2008
Springer
14 years 11 months ago
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism?
Abstract. In this paper, we develop a cognitive account of autism centered around a reliance on pictorial representations. This Thinking in Pictures hypothesis shows significant po...
Maithilee Kunda, Ashok K. Goel
IJCAI
1989
14 years 11 months ago
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions
The study of belief revision and reasoning about actions have been two of the most active areas of research in AI. Both these areas involve reasoning about change. However very li...
Anand S. Rao, Norman Y. Foo
TCS
2002
14 years 9 months ago
ELAN from a rewriting logic point of view
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
Peter Borovanský, Claude Kirchner, Hé...
IAT
2010
IEEE
14 years 7 months ago
Intention Recognition with Event Calculus Graphs
Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detec...
Fariba Sadri
PADL
2012
Springer
13 years 5 months ago
Recent Advances in Declarative Networking
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao,...