Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
Electronic Proceedings in Theoretical Computer Science. Bd. 311. Open Publishing Association 2019 S. 19 - 24
Erscheinungsjahr: 2019
Publikationstyp: Zeitschriftenaufsatz (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.4204/eptcs.311.3
| Geprüft | Bibliothek |
Klassifikation
DDC Sachgruppe:
Informatik
