Professor Dr. Hans Kleine Büning

Adresse Universität Paderborn
Institut für Informatik
Fachgebiet Wissensbasierte Systeme
Warburger Straße 100
33098 Paderborn

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Minimal unerfüllbare logische Formeln: Struktur und Algorithmen (Sachbeihilfen)
  - Automatisierung der Modellierung passiver physikalischer Systeme unter Verwendung der Theorie der Wellendigitalfilter (Sachbeihilfen)
  - Quantifizierte Boolesche Formeln: Komplexität und Modellierung (Sachbeihilfen)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Generierung und Aufbereitung von Konfigurierungswissen mit Hilfe paralleler Techniken (Sonderforschungsbereiche)
  - Konfiguration und Bewertung (Sonderforschungsbereiche)
Als Beteiligte Person
- abgeschlossene Projekte
  - Wissensbasierte Modellierung und Optimierung von Mischprozessen (Sachbeihilfen)