Commonsense Reasoning Meets Theorem Proving
Matthias Klusch; Rainer Unland; Onn Shehory; Alexander Pokahr; Sebastian Ahrndt (Hrsg). Multiagent System Technologies: 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 3 - 17
Erscheinungsjahr: 2016
ISBN/ISSN: 978-3-319-45888-5
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-319-45889-2_1
| Geprüft | Bibliothek |
