Course Catalog
« Fakultät Informatik / Computational Logic (PO von 2004)
Subjects
No course found
Automata and Logic
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Complexity Theory
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Description Logic
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Foundations of Constraint Programming
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Foundations of Logic Programming
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Fuzzy Description Logic
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Hauptseminar Theoretical Computer Science
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Human Reasoning and Computational Logic
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Introduction to Formal Concept Analysis
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Introduction to Non-monotonic Reasoning
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Knowledge Graphs
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Knowledge Representation and Reasoning
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Lab Course Modeling and Automated Verification
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Logic
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Logic Programming Engineering
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Model Checking
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Problem Solving and Search in AI
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Project Group Computational Logic
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Project Group Knowledge Representation and Reasoning
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Project Group Model Checking
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Project Group Theoretical Computer Science
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Science of Computational Logic
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Security and Cryptography I
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Selected Topics in Database Theory
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Semantic Computing
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Seminar Practical Planning for Angry Birds
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Seminar Selected Topics in Logic and Verification
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Software as a Business
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Transactional Information Systems
No information available.
Check your network connection.
Content of the lecture:
Details for enrollment:
Requirements for passing:
Target group:
Literature:
Hint:
Contract Teachers:
Tutorial Logic Programming Engineering
No information available.
Check your network connection.