-
- |
- Service / Hilfe
- |
- Kontakt
- |
- B2B
- Mein PONS
Übersetzungen für „automated reasoning“ im Englisch » Deutsch-Wörterbuch
(Springe zu Deutsch » Englisch)Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)
In his Ph.D. thesis, Fabian developed inter alia the YAGO-Ontology, earning him a honorable mention of the SIGMOD dissertation award.
His interests include information extraction , automated reasoning , and ontologies in general .
Contact: suchanek (at) mpi-inf.mpg.de http://webdam.inria.fr/paris
domino.mpi-inf.mpg.deIn seiner Doktorandenzeit entwickelte er zusammen mit anderen die YAGO-Ontologie, die mit dem SIGMOD Dissertation Award ausgezeichnet wurde.
Seine wissenschaftlichen Interessen umfassen Informationsextraktion, automatischens Beweisen und allgemein Ontologien.
Kontakt: suchanek (at) mpi-inf.mpg.de http://webdam.inria.fr/paris
domino.mpi-inf.mpg.deKnowledge of logics, e.g., first-order logic, description or modal logics or Semantic Web technologies such as OWL, RDFS or SPARQL
Experience with automated reasoning methods for OWL / description logics is an advantage
We offer:
www.uni-ulm.deKenntnisse in der Logik z.B. in der Prädikatenlogik erster Stufe, in Beschreibungs- oder Modallogiken oder Erfahrung mit Semantic Web Technologien wie OWL, RDFS oder SPARQL
Kenntnisse von Schlussfolgerungsalgorithmen für OWL bzw. Beschreibungslogiken sind von Vorteil
Wir bieten:
www.uni-ulm.deTopics
The course provides an in-depth introduction into the techniques that underly advanced systems for knowledge representation and automated reasoning .
The following topics are covered:
www.informatik.uni-freiburg.deVorlesungsinhalt
Die Vorlesung bietet eine detaillierte Einführung in die Techniken, die die Grundlage fortgeschrittener Systeme zur Wissensrepräsentation und zum automatischen Schlussfolgern bilden.
Im Einzelnen behandeln wir:
www.informatik.uni-freiburg.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.