Utilisateur·rice

Myriam • Quatrini
Maître de Conférences (MCF F) • Affiliation : Aix-Marseille Université (AMU)
Site : Luminy • Bureau : 225 • Etage du bureau : 2 •

AGLR-LDP (équipe Logique de la Programmation)

Groupe(s) scientifiques(s) de l'utilisateur :

Rechercher mots clef :
    Ludics Logique Ludique Dialogues Interaction Dialogue Focusing proofs

Thématiques scientifiques :
  • Theoretical computer science, computability
  • Logic

Publications HAL

2018/01 Logical Methods in Computer Science - Study of behaviours via visitable paths

2015/11 - Ludics Characterization of Multiplicative-Additive Linear Behaviours

2015/08 - What could interaction mean in natural language and how could it be useful?

2014/07 - Divergence in Dialogues *

2014/05 - La Ludique : une théorie de l'interaction, de la logique mathématique au langage naturel

2013/11 The Baltic International Yearbook of Cognition, Logic and Communication - ARGUMENTATION AND INFERENCE: A UNIFIED APPROACH

2013/06 - Inferences and Dialogues in Ludics

2013/01 Logical Methods in Computer Science - Incarnation in Ludics and maximal cliques of paths

2012/07 - Ludics and Natural Language: First Approaches

2012/01 Mathématiques et Sciences Humaines - Un cadre formel issu de la théorie de la démonstration pour la théorie de l'argumentation

2011/01 Synthese - Figures of dialogue : a view from Ludics

2011/01 - Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

2010/11 Lecture Notes in Computer Science - Ludics and Rhetorics

2010/06 Mathématiques et Sciences Humaines - Pour une étude du langage via l'interaction

2010/01 Mathématiques et Sciences Humaines - Pour une étude du langage via l'interaction : dialogue et sémantique en ludique

2009/06 Lecture Notes in Artificial Intelligence - Ludics and its Applications to natural Language Semantics

2007/01 - Une introduction à la Ludique et à ses applications à la Pragmatique

2005/01 Annals of Pure and Applied Logic - Polarized and focalized linear and classical proofs


Retour en haut 

Secured By miniOrange