Commonsense Reasoning meets Theorem Proving
Federico Chesani;Paola Mello;Michela Milano (Hrsg). Proceedings of the AI*IA Workshop on URANIA 2016 Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence AIxIA 2016: Genova, Italy, November 28th, 2016. Aachen: CEUR/RWTH 2016 S. 1 - 12
Erscheinungsjahr: 2016
ISBN/ISSN: 1613-0073
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Autoren
Furbach, Ulrich (Autor)
Schon, Claudia (Autor)