51 research outputs found
Teaching and learning quality of life in urban studies:A mixed-methods approach with walking interviews
Transdisciplinary research in support of land and water management in China and Southeast Asia: evaluation of four research projects
Type Theories and Lexical Networks : using Serious Games as the basis for Multi-Sorted Typed Systems
In this paper, we show how a rich lexico-semantic network which Has been built using serious games, JeuxDeMots, can help us in grounding our semantic ontologies in doing formal semantics using rich or modern type theories (type theories within the tradition of Martin Löf). We discuss the issue of base types, adjectival and verbal types, hyperonymy/hyponymy relations as well as more advanced issues like homophony and polysemy. We show how one can take advantage of this wealth of lexical semantics in a formal compositional semantics framework. We argue that this is a way to sidestep the problem of deciding what the type ontology should look like once a move to a many sorted type system has been made. Furthermore, we show how this kind of information can be extracted from a lexico-semantic Network like JeuxDeMots and inserted into a proof-assistant like Coq in order to perform reasoning tasks
Vers l’hypothèse d’une identité de déplacement: congruence entre espaces social, cognitif et géographique
info:eu-repo/semantics/nonPublishe
Vers l'hypothèse d'une identité de déplacement. Congruence entre espace social, cognitif et géographique
info:eu-repo/semantics/publishe
Les mobilités quotidiennes: représentations et pratiques. Vers l'identité de déplacement
41799info:eu-repo/semantics/publishe
Les mobilités quotidiennes : Représentation et pratiques. Vers l'identité de déplacement
Rapport final du programme ATIP CNRS Jeunes Chercheurs 200
Les mobilités quotidiennes : Représentation et pratiques. Vers l'identité de déplacement
Rapport final du programme ATIP CNRS Jeunes Chercheurs 200
Les mobilités quotidiennes : Représentation et pratiques. Vers l'identité de déplacement
Rapport final du programme ATIP CNRS Jeunes Chercheurs 200
- …