543 search results - page 23 / 109 » A Theory of the Quasi-Static World |
120
Voted
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
80
Voted
HICSS
2010
IEEE
15 years 4 months ago
2010
IEEE
We discuss and reflect on the importance of embodiment, context, and spatial proximity as they pertain to the sense of presence obtained by individuals in virtual environments. We...
106
click to vote
CORR
2006
Springer
14 years 9 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
ACMDIS
2004
ACM
15 years 3 months ago
2004
ACM
In this paper we discuss a real world problem encountered during recent fieldwork: that of providing information in public settings when the information has both public and privat...
ICDT
1990
ACM
15 years 1 months ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...