There is no lecture/exercises on Thursday, 2016-10-20.
The first lecture is on Tuesday, 2016-10-25 at 10:15 in O27-121. It is still possible to join the course!
If you are interested in the lecture but have problems with the schedule, please write an e-mail to Daniel Gall.
Today, rule-based systems are used in various areas, e.g. business rules and workflow systems, semantic web, UML, software verification, security systems, medical diagnosis, computational biology or computational psychology.
The lecture gives an overview of rule-based programming and formalisms based on the programming language Constraint Handling Rules (CHR). For instance, the following rule-based formalisms or systems are covered by the lecture:
The lecture covers both formal and practical aspects. The different approaches are represented in a uniform way to make them comparable.
The lecture provides mature and permanently updated teaching materials as well as free software both online and in book form and addresses students who rejoice in abstraction and problem solving.
Daniel Gall
Tuesday 10-12 in O27-121
Thursday 14-16 in O27-121
The first meeting is on Tuesday, October 18 at 10:00 in O27-121.
