Knowledge-Based Systems and Logic Programming
The 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 language
- 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).