Skip to contents

Beierle, Christoph [Editor]; Brewka, Gerhard [Editor]; Thimm, Matthias [Editor]; Kern-Isberner, Gabriele [Honoree]

Computational models of rationality : essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[London]: College Publications, [2016]

Published in: Tributes ; 29
Timm, Ingo J. [Author] ; Thimm, Matthias [Editor]

KI 2013: Advances in Artificial Intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 8077
Thimm, Jonas [Author] ; Büchter, Matthias [Degree supervisor]

Wertigkeit des LiMAx in der Diagnostik chronischer Lebererkrankungen

View online
Schließen

Access

... to E-book (freely accessible)

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Duisburg; Essen: UniversitÃ¤t Duisburg-Essen, 2021
Thimm, Matthias [Author]

Uncertainty and inconsistency in knowledge representation

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Koblenz-Landau: Publication Server, 2016-02-15
Sauerwald, Kai [Editor]; Thimm, Matthias [Editor] ; International Workshop on Nonmonotonic Reasoning 21. 2023 Rhodos, Stadt

NMR 2023: International Workshop on Non-Monotonic Reasoning 2023 : proceedings of the 21st International Workshop on Non-Monotonic Reasoning, co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023) : Rhodes, Greece, September 2-4, 2023

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Aachen, Germany]: [RWTH Aachen], 2023-08-29

Published in: CEUR workshop proceedings ; 3464
Sun, Chuyi [Author] ; Thimm, Matthias [Other]; Rienstra, Tjitze [Other]

Approximate inference for assumption-based argumentation in AI

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Koblenz; Landau: Universität Koblenz-Landau, 2021
Thimm, Matthias [Editor]; Fürnkranz, Johannes [Editor]

KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2017

Published in: Lecture notes in computer science ; 10505
Klusch, Matthias [Author] ; Thimm, Matthias [Editor]; Paprzycki, Marcin [Editor]

Multiagent System Technologies : 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 8076
Sarasua, Cristina [Author] ; Staab, Steffen [Degree supervisor]; Thimm, Matthias [Degree supervisor]; Staab, Steffen [Other]; Thimm, Matthias [Other]; Bernstein, Abraham [Other]

Methods for Human-Machine Link Quality Management on the Web of Data

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Koblenz; Landau: Universität Koblenz-Landau, 2022
Thimm, Matthias [Author]; Rienstra, Tjitze [Author]

Approximate Reasoning with ASPIC+ by Argument Sampling

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: International Workshop on Systems and Algorithms for Formal Argumentation (3. : 2020 : Online): SAFA 2020: Systems and Algorithms for Formal Argumentation 2020 ; (2020), Seite 22-33
Thimm, Matthias [Editor]; Landes, Jürgen [Editor]; Skiba, Kenneth [Editor]

Proceedings of the First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022)

View online
Schließen

Access

... to E-book (freely accessible)

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hagen: FernUniversität in Hagen, 2022
Gaggl, Sarah A. [Editor]; Mailly, Jean-Guy [Editor]; Thimm, Matthias [Editor]; Wallner, Johannes P. [Editor] ; International Workshop on Systems and Algorithms for Formal Argumentation 4. 2022 Cardiff

SAFA 2022: the Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022 : proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation, co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022) : Cardiff, Wales, United Kingdom, September 13, 2022

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Aachen, Germany]: [RWTH Aachen], 2022-10-08

Published in: CEUR workshop proceedings ; 3236
Corea, Carl [Author] ; Delfmann, Patrick [Other]; Thimm, Matthias [Other]; Mendling, Jan [Other]

Handling Inconsistency in Business Rule Bases

View online
Schließen

Access

... to E-book (freely accessible ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Koblenz; Landau: Universität Koblenz-Landau, 2021
Gaggl, Sarah A. [Editor]; Thimm, Matthias [Editor]; Vallati, Mauro [Editor] ; International Workshop on Systems and Algorithms for Formal Argumentation 3. 2020 Online

SAFA 2020: Systems and Algorithms for Formal Argumentation 2020 : proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation, co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020) : September 8, 2020

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Aachen, Germany]: [RWTH Aachen], 2020-09-14

Published in: CEUR workshop proceedings ; 2672
Thimm, Matthias [Editor]; Cerutti, Federico [Editor]; Vallati, Mauro [Editor] ; SAFA 2. 2018 Warschau

Systems and algorithms for formal argumentation : proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018), co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018) : Warsaw, Poland, September 11, 2018

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen, Germany: RWTH Aachen, [2018]

Published in: CEUR workshop proceedings ; 217100
Espín-Noboa, Lisette [Author] ; Thimm, Matthias [Degree supervisor]; Wagner, Claudia [Degree supervisor]; Strohmaier, Markus [Degree supervisor]; Thimm, Matthias [Other]; Wagner, Claudia [Other]; Strohmaier, Markus [Other]

Edge Formation and its Influence in Machine Learning

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Koblenz; Landau: Universität Koblenz-Landau, 2022
Beierle, Christoph [Editor]; Ragni, Marco [Editor]; Sauerwald, Kai [Editor]; Stolzenburg, Frieder [Editor]; Thimm, Matthias [Editor] ; Workshop on Formal and Cognitive Reasoning 8. 2022 Online

FCR 2022: Formal and Cognitive Reasoning 2022 : proceedings of the 8th Workshop on Formal and Cognitive Reasoning, co-located with the 45th German Conference on Artificial Intelligence (KI 2022) : virtual event, Trier, Germany, September 19, 2022

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Aachen, Germany]: [RWTH Aachen], 2022-10-14

Published in: CEUR workshop proceedings ; 3242
Klein, Jonas [Author]; Kuhlmann, Isabelle [Author]; Thimm, Matthias [Author]

Graph Neural Networks for Algorithm Selection in Abstract Argumentation

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2022

Published in: Workshop on Argumentation & Machine Learning (1. : 2022 : Cardiff): ArgML 2022: Argumentation & Machine Learning ; (2022), Seite 81-95
Kinder, Lukas [Author]; Thimm, Matthias [Author]; Verheij, Bart [Author]

A Labeling Based Backtracking Solver for Abstract Argumentation

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2022

Published in: International Workshop on Systems and Algorithms for Formal Argumentation (4. : 2022 : Cardiff): SAFA 2022: the Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022 ; (2022), Seite 111-123
Beierle, Christoph [Editor]; Ragni, Marco [Editor]; Stolzenburg, Frieder [Editor]; Thimm, Matthias [Editor] ; Workshop on Formal and Cognitive Reasoning 7. 2021 Online

FCR 2021: Formal and Cognitive Reasoning 2021 : proceedings of the 7th Workshop on Formal and Cognitive Reasoning, co-located with the 44th German Conference on Artificial Intelligence (KI 2021) : September 28, 2021

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Aachen, Germany]: [RWTH Aachen], 2021-10-02

Published in: CEUR workshop proceedings ; 2961

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication