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: