Universität Koblenz-Landau, Germany

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
Universität Koblenz-Landau, Germany
 

OrgUnit's Publications


Results 1-4 of 4 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dimopoulos-2023-Sets Attacking Sets in Abstract Argumentation-vor.pdf.jpgDimopoulos, Yannis ; Dvorak, Wolfgang ; König, Matthias ; Rapberger, Anna ; Ulbricht, Markus ; Woltran, Stefan Sets Attacking Sets in Abstract ArgumentationInproceedings Konferenzbeitrag 29-Aug-2023
2Rawson-2022-Reuse of Introduced Symbols in Automatic Theorem Provers-vor.pdf.jpgRawson, Michael ; Suda, Martin ; Hozzova, Petra ; Reger, Giles Reuse of Introduced Symbols in Automatic Theorem ProversInproceedings Konferenzbeitrag 31-Aug-2022
3Thimm, Matthias ; Wallner, Johannes On the complexity of inconsistency measurementArticle Artikel Oct-2019
4Cerutti Federico - 2017 - Foundations of Implementations for Formal...pdf.jpgCerutti, Federico ; Gaggl, Sarah A. ; Thimm, Matthias ; Wallner, Johannes Foundations of Implementations for Formal ArgumentationArticle Artikel 2017