Recherche - Machine Learning and Knowledge Extraction Accéder directement au contenu

Filtrer vos résultats

1 résultat
Mots-clés : Theorem proving
Image document

Commonsense Reasoning Using Theorem Proving and Machine Learning

Sophie Siebert , Claudia Schon , Frieder Stolzenburg
3rd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2019, Canterbury, United Kingdom. pp.395-413, ⟨10.1007/978-3-030-29726-8_25⟩
Communication dans un congrès hal-02520044v1