Zum Inhalt springen

  2. Timm, Ingo J. [Verfasser:in] ; Thimm, Matthias [Herausgeber:in]

    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
    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

  5. Sauerwald, Kai [Herausgeber:in]; Thimm, Matthias [Herausgeber:in] ; 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
    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

  6. Sun, Chuyi [Verfasser:in] ; 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
    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

  8. Klusch, Matthias [Verfasser:in] ; Thimm, Matthias [Herausgeber:in]; Paprzycki, Marcin [Herausgeber:in]

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

    Bücher
    Online ansehen
    Schließen
    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

  9. Sarasua, Cristina [Verfasser:in] ; Staab, Steffen [Akademische:r Betreuer:in]; Thimm, Matthias [Akademische:r Betreuer:in]; 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
    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

  10. Thimm, Matthias [Verfasser:in]; Rienstra, Tjitze [Verfasser:in]

    Approximate Reasoning with ASPIC+ by Argument Sampling

    Aufsätze
    Online ansehen
    Schließen
    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

  11. Thimm, Matthias [Herausgeber:in]; Landes, Jürgen [Herausgeber:in]; Skiba, Kenneth [Herausgeber:in]

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

    Bücher
    Online ansehen
    Schließen
    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. [Herausgeber:in]; Mailly, Jean-Guy [Herausgeber:in]; Thimm, Matthias [Herausgeber:in]; Wallner, Johannes P. [Herausgeber: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 : 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
    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 [Verfasser:in] ; 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
    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. [Herausgeber:in]; Thimm, Matthias [Herausgeber:in]; Vallati, Mauro [Herausgeber:in] ; 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
    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 [Herausgeber:in]; Cerutti, Federico [Herausgeber:in]; Vallati, Mauro [Herausgeber:in] ; 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
    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. Espín-Noboa, Lisette [Verfasser:in] ; Thimm, Matthias [Akademische:r Betreuer:in]; Wagner, Claudia [Akademische:r Betreuer:in]; Strohmaier, Markus [Akademische:r Betreuer:in]; 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
    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

  17. Beierle, Christoph [Herausgeber:in]; Ragni, Marco [Herausgeber:in]; Sauerwald, Kai [Herausgeber:in]; Stolzenburg, Frieder [Herausgeber:in]; Thimm, Matthias [Herausgeber:in] ; 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

    Bücher
    Online ansehen
    Schließen
    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-14

    Erschienen in: CEUR workshop proceedings ; 3242

  18. Klein, Jonas [Verfasser:in]; Kuhlmann, Isabelle [Verfasser:in]; Thimm, Matthias [Verfasser:in]

    Graph Neural Networks for Algorithm Selection in Abstract Argumentation

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    2022

    Erschienen in: Workshop on Argumentation & Machine Learning (1. : 2022 : Cardiff): ArgML 2022: Argumentation & Machine Learning ; (2022), Seite 81-95

  19. Kinder, Lukas [Verfasser:in]; Thimm, Matthias [Verfasser:in]; Verheij, Bart [Verfasser:in]

    A Labeling Based Backtracking Solver for Abstract Argumentation

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    2022

    Erschienen 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

  20. Beierle, Christoph [Herausgeber:in]; Ragni, Marco [Herausgeber:in]; Stolzenburg, Frieder [Herausgeber:in]; Thimm, Matthias [Herausgeber:in] ; 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

    Bücher
    Online ansehen
    Schließen
    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], 2021-10-02

    Erschienen in: CEUR workshop proceedings ; 2961