Starten Sie Ihre Suche...


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

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

Erscheinungsjahr: 2018

ISBN/ISSN: 978-3-319-75552-6

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/978-3-319-75553-3_10

Volltext über DOI/URN

GeprüftBibliothek

Autoren


Geilen, Nils (Autor)
Thimm, Matthias (Autor)