5205 search results - page 264 / 1041 » Tilings and model theory |
SPATIALCOGNITION
1998
Springer
14 years 3 months ago
1998
Springer
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
AAAI
2006
14 years 10 days ago
2006
Relationships between concepts account for a large proportion of semantic knowledge. We present a nonparametric Bayesian model that discovers systems of related concepts. Given da...
CSL
2006
Springer
14 years 2 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
MSR
2011
ACM
13 years 1 months ago
2011
ACM
Software readability is a property that influences how easily a given piece of code can be read and understood. Since readability can affect maintainability, quality, etc., prog...
ATAL
2008
Springer
14 years 28 days ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...