Regelbasierte Programmierung

Die Vorlesung gibt einen Überblick über Regelbasierte Programmierung in der Informatik. Die Vorlesung wird als 4V+2Ü für Studenten im Diplomstudiengang und als 3V+1Ü für Studenten in den Bachelor- und Masterstudiengängen angeboten.

• Rewriting
  • Term-Ersetzung-Systeme
  • Rewriting Logic
  • Multiset Rewriting / Chemical Abstract Machine
• Logic
  • Constraint Handling Rules / (C)CLP
  • Deductive Databases
• Rules
  • Event-Condition-Action (ECA) Rules / XML-Abfragesprachen
  • Production Rules / Expertensysteme / Decision Support (OPS5)
• Graphs
  • Petri Netze
  • Graph-Transformation-Systeme

Die Themen überlappen sich zum Teil und werden nicht alle behandelt werden können.

Vorlesung in Venedig

Es besteht die Möglichkeit, einen Teil dieser Vorlesung in Venedig zu absolvieren.

Nach der Teilnahme an diesem einwöchigen Kurs im Mai in Venedig kann man sich den weiteren Besuch der Vorlesung hier in Ulm sparen.