
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 :
Thématiques scientifiques :
- Informatique théorique, calculabilité
- Logique
Publications HAL
2023/01 - Gödel's Absolute Proofs and Girard's Ludics Mutual Insights2021/06 - Incoherences in Dialogues and their Formalization Focus on Dialogues with Schizophrenic Individuals
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
2004/01 Lecture Notes in Computer Science - An introduction to uniformity in Ludics