DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5 6
Hits 1 – 20 of 105

1
Joint Attacks and Accrual in Argumentation Frameworks
Bikakis, Antonis; Cohen, Andrea; Dvorak, Wolfgang. - : College Publications, 2021
BASE
Show details
2
Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)
Gabbay, Dov M.; Giacomin, Massimiliano; Liao, Beishui. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. : Dagstuhl Manifestos. Dagstuhl Manifestos, Volume 7, Issue 1, 2018
BASE
Show details
3
Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362) ...
Gabbay, Dov M.; Giacomin, Massimiliano; Liao, Beishui. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2018
BASE
Show details
4
The Attack as Strong Negation, Part I ...
Gabbay, Dov; Gabbay, Michael. - : arXiv, 2015
BASE
Show details
5
Two dimensional standard deontic logic (including a detailed analysis of the 1985 Jones-Pörn deontic logic system)
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 187 (2012) 2, 623-660
BLLDB
OLC Linguistik
Show details
6
Sequential Dynamic Logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 21 (2012) 3, 279-298
OLC Linguistik
Show details
7
Logic : a history of its central concepts. - Handbook of the history of logic ; 11 : Logic : a history of its central concepts. -
Gabbay, Dov M. (Hrsg.). - Amsterdam [u.a.] : Elsevier [u.a.], 2012
BLLDB
UB Frankfurt Linguistik
Show details
8
A comment on work by Booth and co-authors
In: Studia logica. - Dordrecht : Springer Science + Business Media 94 (2010) 3, 403-432
BLLDB
Show details
9
A theory of hierarchical consequence and conditionals
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2009) 1, 3-32
BLLDB
OLC Linguistik
Show details
10
Analysis of the Talmudic Argumentum A Fortiori inference rule (Kal Vachomer) using Matrix Abduction
In: Studia logica. - Dordrecht : Springer Science + Business Media 92 (2009) 3, 281-364
BLLDB
Show details
11
A meta-model of access control in a fibred security language
In: Studia logica. - Dordrecht : Springer Science + Business Media 92 (2009) 3, 437-477
BLLDB
Show details
12
Meta-argumentation modelling, 1, Methodology and techniques
In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 297-355
BLLDB
Show details
13
Complete extensions in argumentation coincide with 3-valued stable models in logic programming
In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 383-403
BLLDB
Show details
14
Modal logics of reactive frames
In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 405-446
BLLDB
Show details
15
Annotation theories over finite graphs
In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 147-180
BLLDB
Show details
16
Logical modes of attack in argumentation networks
In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 199-230
BLLDB
Show details
17
Independence - revision and defaults
In: Studia logica. - Dordrecht : Springer Science + Business Media 92 (2009) 3, 381-394
BLLDB
Show details
18
Modal provability foundations for argumentation networks
In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 181-198
BLLDB
Show details
19
Semantics for higher level attacks in extended argumentation frames, Part 1, Overview
In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 357-381
BLLDB
Show details
20
Fibred security language
In: Studia logica. - Dordrecht : Springer Science + Business Media 92 (2009) 3, 395-436
BLLDB
Show details

Page: 1 2 3 4 5 6

Catalogues
29
3
12
0
0
13
2
Bibliographies
53
0
2
1
0
0
0
0
13
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
7
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern