Vorlesungsverzeichnis
« Fakultät Informatik / Computational Logic (PO von 2004)
Lehrfächer
Keine Veranstaltung gefunden
Automata and Logic
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Complexity Theory
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Description Logic
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Foundations of Constraint Programming
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Foundations of Logic Programming
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Fuzzy Description Logic
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Hauptseminar Theoretical Computer Science
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Human Reasoning and Computational Logic
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Introduction to Formal Concept Analysis
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Introduction to Non-monotonic Reasoning
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Knowledge Graphs
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Knowledge Representation and Reasoning
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Lab Course Modeling and Automated Verification
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Logic
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Logic Programming Engineering
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Model Checking
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Problem Solving and Search in AI
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Project Group Computational Logic
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Project Group Knowledge Representation and Reasoning
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Project Group Model Checking
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Project Group Theoretical Computer Science
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Science of Computational Logic
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Security and Cryptography I
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Selected Topics in Database Theory
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Semantic Computing
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Seminar Practical Planning for Angry Birds
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Seminar Selected Topics in Logic and Verification
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Software as a Business
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Transactional Information Systems
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Tutorial Logic Programming Engineering
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.