Browsing by Author

Showing results 1 to 2 of 2
PreviewAuthors / EditorsTitleTypeIssue Date
Diller Martin - 2019 - Realising argumentation using answer set programming and...pdf.jpgDiller, Martin Realising argumentation using answer set programming and quantified boolean formulasThesis Hochschulschrift 2019
Diller Martin - 2014 - Solving reasoning problems on abstract dialectical...pdf.jpgDiller, Martin Solving reasoning problems on abstract dialectical frameworks via quantified boolean formulasThesis Hochschulschrift 2014