Fachbereich Informatik
Gliederung
Fachbereich Informatik
Forschungsfelder
- (Non-classical) algebraic (modal) logic
- Vagueness by residual constructions
- Relation Algebra
- Logic knowledge discovery aka (explainable) machine learning
Standort
Sankt Augustin
Raum
C.214 oder A.033
Adresse
Grantham-Allee 20
53757 Sankt Augustin
Contact hours
Thursday by appointment only. Enlist at office door.
Mitgliedschaften
I am member of several academic associations and act as a reviewer for journals and conferences.
Auszeichnungen
Seepferdchen, 1975.
Projekte
Projects/external funding is listed on ORCID. It's a short list.
Non-funded research projects and (student) working groups:
- PARIA, 2004-2008.
A long-term student project (eventually leading to the PACME architecture of concurrent processes). - Rela-X, 2010-2019.
Implementing libraries for efficient relation calculus. With a programminglanguage R-Lang, visualisation components for sorted matrices and graphs (bipartite, planar, Hasse) and an education interface. - COMPARE, 2024-.
Instead of statistic evaluation of surveys, we collect pairwise multidimensional comparisons. The goal is to compile this into a nominal set of data from which we induce lattice like evaluations of surveys. We intend to use rough set theory, formal concept analysis and inductive logic programming for elicitation of further knowledge hidden in survey answers. - "Sets, Structures, Semantics", 2018-.
A book on discrete mathematics and logics.
Publikationen
This list only contains relevant publications (not necessarily top-rated ones). For more references, see ORCID, RID, RG, dnb, and dblp. I've never been keen on writing a great number of papers and I don't know my h-index.
Logics, Relation Algebra
- Books, Chapters
- ed. with P. Höfner, P. Jipsen, W. Kahl, Relational and Algebraic Methods in Computer Science, 2014.
- Journals
- ed. with P. Höfner, P. Jipsen, W. Kahl, Relational and Algebraic Methods in Computer Science JLAMP 85(4), 2016
- Conferences
- Workshops, Reports
- Other
- Algebras of vagueness, cumulative Habilitation.
Unified theories of programming
- Books, Chapters
- n/a
- Journals
- n/a
- Conferences
- with T. Hoare, B. Möller, G. Struth, A Discrete Geometric Model of Concurrent Program Execution, 2016.
- Workshops, Reports
- with B. Möller and T. Hoare, Tracelets and Specifications, 2017.
- with T. Hoare, B. Möller, G. Struth, A Discrete Geometric Model of Concurrent Program Execution, 2017. Extended version of the 2016 paper.
Machine Learning, ILP
- Books, Chapters
- Relational Knowledge Discovery, CUP, 2012.
- Chapter "Learning Adaptive Behavior" in: Adaptable and Adaptive Hypermedia Systems, 2005
- Journals
- Conferences
- Workshops, Reports
- with L Koine, Y Youssef. Poster Inducing Rules about Distributed Robots for fault detection & diagnosis, DX workshop, 2019.
- with M Thosar, Learning to Understand by Evolving Theories, 2013.
- Inducing content based user models with inductive logic programming techniques, Proceedings of the UM 2001 Workshop ML4UM, 2001.
- Learning Comprehensible Conceptual User Models for User Adaptive Meta Web Search, AAAI TR SS-00-01, 2001.
Other
- Books, Chapters
- with K.-U. Witt, Algorithmische Informationstheorie, 2020.
- Inducing Conceptual User Models, Dissertation, 2001.
- Journals
- On nothing, JLAMP 83(2), 2014
- Being aware: where we think the action is CognTechWork, 9, 2007
- Conferences
- n/a
- Workshops, Reports
Weitere Infos
Supervisors, reviewers, co-authors:
- Elisabeth André,
- Ivo Düntsch,
- Tony Hoare,
- Peter Höfner,
- Peter Jipsen,
- Bernhard Möller,
- Simon Parsons,
- Ute Schmid,
- Harrie de Swart,
- Claus-Rainer Rollinger,
- Kurt-Ulrich Witt.