887 search results - page 50 / 178 » A Science of Reasoning |
KI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
STACS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
TLCA
2007
Springer
14 years 3 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
TLCA
2007
Springer
14 years 3 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
CSCW
2006
ACM
14 years 2 months ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...