1 |
Belief merging in Dynamic Logic of Propositional Assignments
|
|
|
|
In: International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014 ; https://hal.archives-ouvertes.fr/hal-01146747 ; International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398 (2014)
|
|
BASE
|
|
Show details
|
|
2 |
Special issue on Logic and the Foundations of the Theory of Games and Decisions (Selected papers LOFT 9, Toulouse, 2010)
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03464935 ; Bonanno, Giacomo; Herzig, Andreas; Lang, Jérôme; Van Der Hoek, Wiebe. Springer, 42 (3), 2013, Special issue of Internatinal Journal of Game theory, ISSN 0020-7276 ; https://link.springer.com/journal/182/42/3/page/1 (2013)
|
|
BASE
|
|
Show details
|
|
8 |
Logical formalization of social commitments: Application to agent communication languages (long version of AAMAS 2009)
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03474455 ; [Research Report] IRIT/RR–2009-14–FR, IRIT : Institut de Recherche Informatique de Toulouse. 2009 (2009)
|
|
BASE
|
|
Show details
|
|
10 |
A Logical Framework for Grounding-based Dialogue Analysis
|
|
|
|
In: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; https://hal.archives-ouvertes.fr/hal-03535631 ; Electronic Notes in Theoretical Computer Science, Elsevier, 2006, 157 (4), pp.117-137. ⟨10.1016/j.entcs.2006.02.016⟩ (2006)
|
|
BASE
|
|
Show details
|
|
11 |
A logical framework for grounding-based dialogue analysis
|
|
|
|
In: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; 3rd international workshop on Logic and Communication in Multiagent Systems (LCMAS 2005) ; https://hal.archives-ouvertes.fr/hal-03535632 ; 3rd international workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Aug 2005, Edinburgh, United Kingdom ; https://www.win.tue.nl/~evink/lcmas05.html (2005)
|
|
BASE
|
|
Show details
|
|
12 |
Politiques d'action : de la validation psychologique et linguistique à la programmation d'agents cognitifs en intelligence artificielle
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00003794 ; 2005 (2005)
|
|
BASE
|
|
Show details
|
|
|
|