Module CS3055-KP04

Duration

1 Semester

Turnus of offer

each summer semester

Credit points

4

Course of studies, specific fields and terms:

• Bachelor IT-Security 2016, optional subject, specific
• Bachelor Computer Science 2016, optional subject, major subject informatics
• Bachelor Computer Science 2014, optional subject, major subject informatics
• Bachelor Computer Science 2019, optional subject, major subject informatics
• Bachelor Computer Science 2019, compulsory, Canonical Specialization Web and Data Science

Classes and lectures:

• Logic Programming (exercise, 1 SWS)
• Logic Programming (lecture, 2 SWS)

Workload:

• 55 hours private studies
• 45 hours in-classroom work
• 20 hours exam preparation

Contents of teaching:

• Logical foundations: First-order logic (syntax, semantics, resolution, ...), Datalog (syntax, semantics, evaluation strategies, magic-sets)
• Logic programming in Prolog: syntax, semantics, recursive data structures, difference lists, DCGs, Application: natural language processing (NLP)
• Answer Set Programming (ASP): syntax, semantics (sable models), applications
• Constraint programming: Theoretical foundations, Constraint Programming in Prolog and ASP
• Outlook: Probabilistic Logic programming, Prolog and ASP for Data Science: Generating relational annotations: Relational learning

Qualification-goals/Competencies:

• For each of the mentioned themes in the contents of teaching the students are able to explain the central ideas, are able to define the relevant concepts and are able to explain how the learned algorithms work in concrete application scenarios.

Grading through:

• Written or oral exam as announced by the examiner

Requires:

• Databases (CS2700-KP04, CS2700)
• Introduction to Logics (CS1002-KP04, CS1002)
• Algorithms and Data Structures (CS1001-KP08, CS1001)

Responsible for this module:

• Prof. Dr. Diedrich Wolter

Teacher:

• Institute of Software Technology and Programming Languages
• Prof. Dr. Diedrich Wolter

Literature:

• Bratko : Prolog programming for artificial intelligence Addison Wesley, 2011
• Clocksin, Mellish : Programming in Prolog Springer, 2003
• Baral : Knowledge representation reasoning and declarative problem solving CUP, 2003
• Gebser, Kaminski, Kaufmann, Schaub : Answer Set Solving in Practice Morgan/Claypool Publishers, 2012
• Apt : Principles of constraint programming Cambridge, 2003
• De Raedt : Logical relational learning Springer, 2008

Language:

• offered only in German

Notes:

Last Updated:

15.02.2024