FA12s1.i
Corpus
PascalFrancis
Racine
Corpus
Checkpoint
PascalFrancis
Racine
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (PascalFrancis)

Index « FA12s1.i » - entrée « VAN DITMARSCH (Hans) »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
VAN DER HOEK (Wiebe) < VAN DITMARSCH (Hans) < VAN DOOREN (Paul)  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
000039 (2013) YANJING WANG ; QINXIANG CAOOn axiomatizations of public announcement logic
000040 (2013) Floris RoelofsenAlgebraic foundations for the semantic treatment of inquisitive content
000041 (2013) Yì N. Wang ; Thomas AgotnesPublic announcement logic with distributed knowledge: expressivity, completeness and complexity
000042 (2013) Pavel Naumov ; Brittany NichollsOn interchangeability of Nash equilibria in multi-player strategic games
000043 (2013) Davide GrossiAbstract argument games via modal logic
000044 (2013) THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION (LORI-III) IN GUANGZHOU
000045 (2013) Wesley H. Holliday ; Tomohiro Hoshi ; Thomas F. Iii IcardInformation dynamics and uniform substitution
000048 (2013) Emiliano LoriniOn the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective attitudes
000049 (2013) Conference on Logic and the foundations of Game and Decision Theory (LOFT10), Sevilla
000050 (2013) Floor Sietsma ; Jan Van EijckAction Emulation between Canonical Models
000051 (2013) HANTI LINFoundations of Everyday Practical Reasoning
000052 (2013) Guido Governatori ; Francesco Olivieri ; Antonino Rotolo ; Simone ScannapiecoComputing Strong and Weak Permissions in Defeasible Logic

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/FA12s1.i -k "VAN DITMARSCH (Hans)" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/FA12s1.i  \
                -Sk "VAN DITMARSCH (Hans)" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Corpus
   |type=    indexItem
   |index=    FA12s1.i
   |clé=    VAN DITMARSCH (Hans)
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022