Starten Sie Ihre Suche...


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

Suche


28318 Treffer


× Universität Koblenz
× Hochschule Mainz
× Katholische Hochschule Mainz
× Hochschule Trier
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen










  • Furbach, Ulrich; Schon, Claudia
  • 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