( en | de | ru )

 

Disambiguierung von "Mossakowski, Till"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.

, , , , , , und . MKM/Calculemus/DML, Volume 7961 von Lecture Notes in Computer Science, Seite 200-215. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Till Mossakowski

Konrad Mossakowski

Herbert Mossakowski

Gerhard Mossakowski

Dietrich Mossakowski

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Logical Frameworks in the Heterogeneous Tool Set Hets, , , , , und . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Volume 7137 von Lecture Notes in Computer Science, Seite 139-159. Springer, (2012)Introducing the Open Energy Ontology: Enhancing Data Interpretation and Interfacing in Energy Systems Analysis, , , , , , , , , und 12 andere Autor(en). Energy and AI, (September 2021)Substitute Selection for a Missing Tool Using Robot-Centric Conceptual Knowledge Of Objects, , , , , , und . 35th ACM/SIGAPP Symposium On Applied Computing, Seite 972-979. (2020)Interpretable Ontology Extension in Chemistry, , , , und . Semantic Web journal, (2023)Special Issue on The Role of Ontologies and Knowledge in Explainable AI, to appear.Using the diagrammatic image schema language for joint human-machine cognition, , , , und . Engineering for a Changing World: Proceedings; 60th ISC, Ilmenau Scientific Colloquium, Technische Universität Ilmenau, September 04-08, 2023., (2023)Blending in the Hub. Towards a collaborative concept invention platform, , , und . Fifth International Conference on Computational Creativity, (2014)The datatypes REAL and COMPLEX in CASL, und . (1999)CoFI note M-7.Intuitive and Natural Interfaces for Geospatial Data Classification, , , , , und . Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012, (2012)Qualitative Reasoning about Relative Direction of Oriented Points, und . Artificial Intelligence Journal, (2012)CASL Logic, , , und . CASL Reference Manual, Volume 2960 von Lecture Notes in Computer Science, Kapitel ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)