Sciweavers

2611 search results - page 193 / 523
» A Logic for Concepts and Similarity
Sort
View
GROUP
2005
ACM
16 years 1 days ago
Unraveling the ordering in persistent chat: a new message ordering feature
A common problem in chat is that the chat display only reveals the temporal order of the conversation. A better user interface is desired that reveals the logical order of the mes...
Lu Xiao, Jayne S. Litzinger
COMMA
2006
15 years 8 months ago
Semi-Stable Semantics
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...
Martin Caminada
FLAIRS
2006
15 years 7 months ago
A Note on Comparing Semantics for Conditionals
In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popu...
Christoph Beierle, Gabriele Kern-Isberner
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 6 months ago
A finiteness structure on resource terms
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
Thomas Ehrhard
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 6 months ago
A Toolkit for Scalable Spreadsheet Visualization
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
Markus Clermont