Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach

Studienarbeit von Andreas Witzel

•   Betreuer Steffen Hölldobler, Sebastian Bader, Pascal Hitzler
•   Wissensverarbeitung
•   Beginn 01. April 2005
•   Download