Results 1-2 of 2
 | 
会议论文
Mao, Yi; Zhou, Beihai
20th Annual Conference of the Japanese Society for Artificial Intelligence, JSAI 2006 Conference and Workshops
2007
[ABSTRACT] We present a formalism of metaphor that is based on a newly developed semantic interpretation of concept in the line of Montague's type theory...
[KEYWORDS] 
[ABSTRACT] Logics of space typically involve two sorts of entities, points and sets, and so are amenable for investigation using hybrid modal languages with n...
[KEYWORDS] hybrid logic; two-sorted hybrid language; logic of subset spaces; Gentzen system for hybrid logic
Results 1-2 of 2
  • <<
  • 1
  • >>