183 search results - page 7 / 37 » Applied Logic without Psychologism |
IJWBC
2006
13 years 7 months ago
2006
: DYNAMO (Dynamic Architectural Memory Online) is an interactive platform to share ideas, knowledge and insights in the form of concrete building projects among designers in differ...
ICCSA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Though some studies involving general micro-mobility exist, micromobility research concerning a mobile node (MN) moving between Mobile Anchor Points (MAP) is lacking. In ...
IJCAI
1989
13 years 8 months ago
1989
This paper considers the Valiant framework as it is applied to the task of learning logical concepts from random examples. It is argued that the current interpretation of this Val...
PLPV
2011
ACM
12 years 10 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
EUSFLAT
2009
13 years 5 months ago
2009
Diverse forms of the concept of opposition are already existent in philosophy, linguistics, psychology and physics. The interplay between entities and opposite entities is apparent...