Starten Sie Ihre Suche...


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

Suche


8028 Treffer


× Publikationen
× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
× Universität Koblenz
× Hochschule Trier
× Hochschule Worms



  • 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