Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A logic of argumentation for specification and verification of abstract argumentation frameworks Villata, Serena
 2012
 66 1-4 p. 199-230
 artikel
2 Causal dynamic inference Bochman, Alexander
 2012
 66 1-4 p. 231-256
 artikel
3 Completeness theorems for reactive modal logics Gabbay, Dov
 2012
 66 1-4 p. 81-129
 artikel
4 Embedding and automating conditional logics in classical higher-order logic Benzmüller, Christoph
 2012
 66 1-4 p. 257-271
 artikel
5 Global view on reactivity: switch graphs and their logics Gabbay, Dov
 2012
 66 1-4 p. 131-162
 artikel
6 Introducing reactive Kripke semantics and arc accessibility Gabbay, D.
 2012
 66 1-4 p. 7-53
 artikel
7 Introducing reactive modal tableaux Gabbay, Dov
 2012
 66 1-4 p. 55-79
 artikel
8 Modelling defeasible and prioritized support in bipolar argumentation Villata, Serena
 2012
 66 1-4 p. 163-197
 artikel
9 Overview on the connection between reactive Kripke models and argumentation networks Gabbay, Dov M.
 2012
 66 1-4 p. 1-5
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland