Formale Konzepte - Dissertationen

Laufende Arbeiten:

• Nguyen Thanh Hai: Ontologische Klassifikation von Universalien
• Frank Loebe: Modularization of Logical Theories
• Patryk Burek: Development of a Meta-Ontological System
• Hannes Michalek: Ontology of Causality

Abgeschlossene Arbeiten:

• Sibylle Schwarz: Selektor-erzeugte Modelle verallgemeinerter logischer Programme, 2004

• Ho Ngoc Duc: Handlungslogiken und ihre Anwendung in der Theorie der aktiven Wissenssysteme, 2000

• Gerd Wagner: Begriffliche Grundladen künstlicher Agenten (Habilitation), 1996

• Wilfried Neitz: Untersuchungen zum selektiven Backtracking in zielorientierten Kalkülen des automatischen Theorembeweisens, 1996

• Jens Dietrich: Inferenzframes-Untersuchungen zur Logik des nichtmonotonen Schließens, 1995