E-LIB Suche - Ergebnisse für: Fermüller, Christian G.

1

Probabilistic interpretations of argumentative attacks: Log..:

Pfeifer, Niki ; Fermüller, Christian G.
Argument & Computation. 14 (2023) 1 - p. 75-107 , 2023

Link: https://doi.org/10.3233/..

2

Many-Valued Judgment Aggregation – Some New Possibility Res..:

, In: Lecture Notes in Computer Science; Integrated Uncertainty in Knowledge Modelling and Decision Making,

Uhl, Sebastian ; Fermüller, Christian G. - p. 3-14 , 2023

Link: https://doi.org/10.1007/..

3

Book review:

Fermüller, Christian G.
Fuzzy Sets and Systems. 465 (2023) - p. 108532 , 2023

Link: https://doi.org/10.1016/..

4

Some Consistency Criteria for Many-Valued Judgment Aggregat..:

, In: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL),

Fermuller, Christian G. - p. 215-220 , 2023

Link: https://doi.org/10.1109/..

5

Connecting Sequent Calculi with Lorenzen-Style Dialogue Gam..:

, In: Paul Lorenzen -- Mathematician and Logician; Logic, Epistemology, and the Unity of Science,

Fermüller, Christian G. - p. 115-141 , 2021

Link: https://doi.org/10.1007/..

6

On fuzzification mechanisms for unary quantification:

Baldi, Paolo ; Fermüller, Christian G. ; Hofer, Matthias F.J.
Fuzzy Sets and Systems. 388 (2020) - p. 90-123 , 2020

Link: https://doi.org/10.1016/..

7

Interpreting Propositional Fuzzy Logics via Imperfect Infor..:

, In: 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL),

Fermuller, Christian G. ; Majer, Ondrej - p. 237-242 , 2020

Link: https://doi.org/10.1109/..

8

A Game Model for Proofs with Costs:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Lang, Timo ; Olarte, Carlos ; Pimentel, Elaine. - p. 241-258 , 2019

Link: https://doi.org/10.1007/..

9

Connecting fuzzy logic and argumentation frames via logical..:

Corsi, Esther Anna ; Fermüller, Christian G.
Soft Computing. 23 (2018) 7 - p. 2255-2270 , 2018

Link: https://doi.org/10.1007/..

10

From Games to Truth Functions: A Generalization of Giles's ..:

Fermüller, Christian G. ; Roschger, Christoph
Studia Logica: An International Journal for Symbolic Logic. 102 (2014) 2 - p. 389-410 , 2014

Link: https://www.jstor.org/st..

11

From Games to Truth Functions: A Generalization of Giles's ..:

Fermüller, Christian G. ; Roschger, Christoph
Studia Logica. 102 (2014) 2 - p. 389-410 , 2014

Link: https://doi.org/10.1007/..

12

On matrices, Nmatrices and games:

Fermüller, Christian G.
Journal of Logic and Computation. 26 (2013) 1 - p. 189-211 , 2013

Link: https://doi.org/10.1093/..

13

Logic for programming, artificial intelligence, and reasoni..

17th international conference, LPAR-17, Yogyakarta, Indones... Lecture notes in computer science ; 6397

Fermüller, Christian G. ; Voronkov, Andrei , 2010

Link: http://dx.doi.org/10.100..

14

Giles's Game and the Proof Theory of Łukasiewicz Logic:

Fermüller, Christian G. ; Metcalfe, George
Studia Logica: An International Journal for Symbolic Logic. 92 (2009) 1 - p. 27-61 , 2009

Link: https://www.jstor.org/st..

15

Giles's Game and the Proof Theory of Łukasiewicz Logic:

Fermüller, Christian G. ; Metcalfe, George
Studia Logica. 92 (2009) 1 - p. 27-61 , 2009

Link: https://doi.org/10.1007/..