Marco Ziener - Artikel & Meinungen - alle Infos bei Yasni.de

(1 - 5 von 5

)

A framework for detecting inconsistencies in expressive …

www.mi.fu-berlin.de

WEBMarco Ziener Primary Reviewer and advisor: PD Dr. Christoph Benzmüller Secondary Reviewer: Prof. Dr. Marcel Kyas Berlin, June 23, …

A framework for inconsistency detection in expressive ontologies

www.mi.fu-berlin.de

WEBMarco Ziener: A framework for inconsistency detection in expressive ontologies Kurzbeschreibung. Expressive ontologies provide a useful tool for the precise and short …

MIXING AUTOMATED THEOREM PROVING AND …

www.mi.fu-berlin.de

WEBMarco Ziener: Mixing automated theorem proving and machine learning , Bridging the gap between numerical and symbolic reasoning with a potpourri of computer science , c …

Mixing Automated Theorem Proving and Machine Learning

www.mi.fu-berlin.de

WEBMarco Ziener: Mixing Automated Theorem Proving and Machine Learning Kurzbeschreibung. Artificial Intelligence suffers a dichotomy between symbolic and …