Knowledge-Based Systems and Logic Programming
Prof. Dr. Dietmar Seipel
ResearchThe group has long experience in the areas of databases, knowledge-bases, and logic programming, especially using methods from artificial intelligence (AI) and declarative programming.
Concepts for representing and reasoning about hybrid knowledge formats have been investigated. Domain specific languages and declarative methods for querying rule bases have been used.
For intelligent information systems and decision support systems, graphical web interfaces have been described with declarative markup languages.
Special fields of interest are
- Knowledge-Based Systems (relational and deductive databases),
- Data and Knowledge Management and Engineering,
- Logic Programming (with Datalog and Prolog), and
- Semantic Web (semi-structured data, XML, ontologies, RDF, and linked open data).
TeachingThe bachelor (undergraduate) courses lay the foundations on databases and logic:
The master (graduate) courses deepen the basic knowledge with advanced concepts; databases can be extended with deduction, and it is possible to program with logic:
- Databases I (WS 2017/18)
- Logic for Computer Science (WS 2018/19)
We also offer seminars and topics for theses in bachelor and master.
- Advanced Databases (SS 2018)
- Deductive Databases (SS 2018)
- Logic Programming (WS 2018/19)