427 search results - page 1 / 86 » Modality and representation in analogy |
AIEDAM
2008
13 years 4 months ago
2008
CALCO
2007
Springer
13 years 10 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 5 months ago
1999
ACM
ICFP
2010
ACM
13 years 5 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
13 years 8 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...