DE eng

Search in the Catalogues and Directories

Hits 1 – 14 of 14

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)
Bonanno, Giacomo; Herzig, Andreas; Van Der Hoek, Wiebe. - : HAL CCSD, 2013. : Springer, 2013
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
3
Computer-mediated trust in self-interested expert recommendations
In: AI & society. - Guildford : Springer-Verl. London 25 (2010) 4, 413-422
BLLDB
OLC Linguistik
Show details
4
A logical formalization of the OCC theory of emotions
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 168 (2009) 2, 201-248
BLLDB
OLC Linguistik
Show details
5
Introspective forgetting
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 169 (2009) 2, 405-423
BLLDB
OLC Linguistik
Show details
6
On the dynamics of institutional agreements
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 171 (2009) 2, 321-355
BLLDB
OLC Linguistik
Show details
7
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2009) 1, 89-121
OLC Linguistik
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
9
A logic of intention and attempt
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 163 (2008) 1, 45-78
OLC Linguistik
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
13
Belief dynamics in cooperative dialogues
In: Journal of semantics. - Oxford : Univ. Press 17 (2000) 2, 91-118
BLLDB
Show details
14
Special Issue on Dialogue (Part II) - Belief Dynamics in Cooperative Dialogues
In: Journal of semantics. - Oxford : Univ. Press 17 (2000) 2, 91-118
OLC Linguistik
Show details

Catalogues
0
0
7
0
0
0
0
Bibliographies
5
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
6
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern