Sciweavers

3408 search results - page 176 / 682
» Logic, language, information and computation
Sort
View
COLING
1992
15 years 7 months ago
A Logic Programming View of Relational Morphology
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
Harvey Abramson
DOLAP
2003
ACM
15 years 11 months ago
Advanced visualization for OLAP
Data visualization is one of the big issues of database research. OLAP as a decision support technology is highly related to the developments of data visualization area. In this p...
Andreas S. Maniatis, Panos Vassiliadis, Spiros Ski...
ATAL
2006
Springer
15 years 10 months ago
On the complexity of practical ATL model checking
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
Wiebe van der Hoek, Alessio Lomuscio, Michael Wool...
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
15 years 10 months ago
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
Volker Haarslev, Michael Wessel
WAPCV
2007
Springer
16 years 20 days ago
Embodied Active Vision in Language Learning and Grounding
Abstract. Most cognitive studies of language acquisition in both natural systems and artificial systems have focused on the role of purely linguistic information as the central co...
Chen Yu