Zum Inhalt springen

  1. Timm, Ingo J. [VerfasserIn] ; Thimm, Matthias [HerausgeberIn]

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

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8077

  2. Thimm, Matthias [VerfasserIn] ; Staab, Steffen [AkademischeR BetreuerIn]; Staab, Steffen [Sonstige Person, Familie und Körperschaft]

    Uncertainty and inconsistency in knowledge representation

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Koblenz; Landau: Universität Koblenz-Landau, 2016

  3. Thimm, Jonas [VerfasserIn] ; Büchter, Matthias [AkademischeR BetreuerIn]

    Wertigkeit des LiMAx in der Diagnostik chronischer Lebererkrankungen

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Duisburg; Essen: Universität Duisburg-Essen, 2021

  4. Sauerwald, Kai [HerausgeberIn]; Thimm, Matthias [HerausgeberIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: CEUR workshop proceedings ; 3464

  5. Sun, Chuyi [VerfasserIn] ; Thimm, Matthias [Sonstige Person, Familie und Körperschaft]; Rienstra, Tjitze [Sonstige Person, Familie und Körperschaft]

    Approximate inference for assumption-based argumentation in AI

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Koblenz; Landau: Universität Koblenz-Landau, 2021

  6. Thimm, Matthias [HerausgeberIn]; Fürnkranz, Johannes [HerausgeberIn]

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

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10505

  7. Klusch, Matthias [VerfasserIn] ; Thimm, Matthias [HerausgeberIn]; Paprzycki, Marcin [HerausgeberIn]

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

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8076

  8. Sarasua, Cristina [VerfasserIn] ; Staab, Steffen [AkademischeR BetreuerIn]; Thimm, Matthias [AkademischeR BetreuerIn]; Staab, Steffen [Sonstige Person, Familie und Körperschaft]; Thimm, Matthias [Sonstige Person, Familie und Körperschaft]; Bernstein, Abraham [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Koblenz; Landau: Universität Koblenz-Landau, 2022

  9. Thimm, Matthias [VerfasserIn]; Rienstra, Tjitze [VerfasserIn]

    Approximate Reasoning with ASPIC+ by Argument Sampling

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2020

    Erschienen 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

  10. Sarasua, Cristina [VerfasserIn] ; Staab, Steffen [AkademischeR BetreuerIn]; Thimm, Matthias [AkademischeR BetreuerIn]; Staab, Steffen [Sonstige Person, Familie und Körperschaft]; Thimm, Matthias [Sonstige Person, Familie und Körperschaft]; Bernstein, Abraham [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Koblenz; Landau: Universität Koblenz-Landau, 2022

  11. Thimm, Matthias [HerausgeberIn]; Landes, Jürgen [HerausgeberIn]; Skiba, Kenneth [HerausgeberIn]

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

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hagen: FernUniversität in Hagen, 2022

  12. Gaggl, Sarah A. [HerausgeberIn]; Mailly, Jean-Guy [HerausgeberIn]; Thimm, Matthias [HerausgeberIn]; Wallner, Johannes P. [HerausgeberIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: CEUR workshop proceedings ; 3236

  13. Corea, Carl [VerfasserIn] ; Delfmann, Patrick [Sonstige Person, Familie und Körperschaft]; Thimm, Matthias [Sonstige Person, Familie und Körperschaft]; Mendling, Jan [Sonstige Person, Familie und Körperschaft]

    Handling Inconsistency in Business Rule Bases

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Koblenz; Landau: Universität Koblenz-Landau, 2021

  14. Gaggl, Sarah A. [HerausgeberIn]; Thimm, Matthias [HerausgeberIn]; Vallati, Mauro [HerausgeberIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: CEUR workshop proceedings ; 2672

  15. Thimm, Matthias [HerausgeberIn]; Cerutti, Federico [HerausgeberIn]; Vallati, Mauro [HerausgeberIn] ; 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

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen, Germany: RWTH Aachen, [2018]

    Erschienen in: CEUR workshop proceedings ; 217100

  16. Corea, Carl [VerfasserIn] ; Delfmann, Patrick [Sonstige Person, Familie und Körperschaft]; Thimm, Matthias [Sonstige Person, Familie und Körperschaft]; Mendling, Jan [Sonstige Person, Familie und Körperschaft]

    Handling Inconsistency in Business Rule Bases

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Koblenz; Landau: Universität Koblenz-Landau, 2021

  17. Espín-Noboa, Lisette [VerfasserIn] ; Thimm, Matthias [AkademischeR BetreuerIn]; Wagner, Claudia [AkademischeR BetreuerIn]; Strohmaier, Markus [AkademischeR BetreuerIn]; Thimm, Matthias [Sonstige Person, Familie und Körperschaft]; Wagner, Claudia [Sonstige Person, Familie und Körperschaft]; Strohmaier, Markus [Sonstige Person, Familie und Körperschaft]

    Edge Formation and its Influence in Machine Learning

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Koblenz; Landau: Universität Koblenz-Landau, 2022