427 search results - page 1 / 86 » Modality and representation in analogy |
AIEDAM
2008
13 years 11 months ago
2008
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...
DAC
1999
ACM
14 years 12 months ago
1999
ACM
ICFP
2010
ACM
13 years 12 months ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...
ECAI
1998
Springer
14 years 3 months ago
1998
Springer
We propose a computational model for analogy solving based on a topological formalism of representation. The source and the target analogs are represented as simplexes and the anal...