Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


37914 Treffer


× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
× Universität Koblenz
× Katholische Hochschule Mainz
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen



  • Geilen, Nils; Thimm, Matthias
  • Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation
  • Elizabeth Black;Sanjay Modgil;Nir Oren (Hrsg). Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2018 S. 143 - 149







  • Cerutti, Federico; Gaggl, Sarah A.; Thimm, Matthias et al.
  • Foundations of Implementations for Formal Argumentation
  • Pietro Baroni;Dov Gabbay;Massimiliano Giacomin;Leendert van der Torre (Hrsg). Handbook of Formal Argumentation: Volume 1 - Foundations. London: College Publications 2018 S. Keine Angaben