Vorlesungsverzeichnis
« Fakultät Informatik / Computational Logic (PO von 2004)
Lehrfächer
Keine Veranstaltung gefunden
Automata and Logic
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Complexity Theory
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Description Logic
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Fuzzy Description Logic
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Knowledge Graphs
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Logic
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Logic Programming Engineering
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Model Checking
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Semantic Computing
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Transactional Information Systems
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
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
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=665DF7B6A47F6FD856188377469884E7)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.