M.E.Mueller

Professor for mathematical and theoretical foundations of computer science at H-BRS.
Adjunct professor at the University Augsburg.

Contact Official staff web site at HBRS.
Mails to my official address martin.e.mueller@h-brs.de are processed only during office time.
CV: See ORCID, WoS/RId, RG, dblp or dnb.
Research interests: (Non-classical) algebraic (modal) logic and semantics, residuated structures, abstract/universal algebra, knowledge discovery, ... (here's why).
Publications:
This list only contains relevant publications (not necessarily top-rated ones). For more, 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
    - Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations, 2015.
    - Towards Finding Maximal Subrelations with Desired Properties, 2014.
  - Workshops, Reports
    - Towards Algebraic descriptions of Formal Concept and Rough Set Analysis, 2015
    - ATPPortal: a user-friendly webbased interface for automated theorem provers and for automatically generated proofs, 2010.
  - Other
    - Algebras of vagueness, cumulative Habilitation.
- Unified theories of programming
  - 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
    - Can user models be learned at all? Inherent problems in machine learning for user modelling, KER 19(1), 2004.
    - Learning Scrutable User Models: Inducing Conceptual Descriptions, KI 16(3), 2002.
  - Conferences
    - with Y. Youssef, A Review of Inductive Logic Programming Applications for Robotic Systems, 2023.
    - Modalities, Relations, and Learning, 2009.
    - Why Some Emotional States Are Easier to be Recognized Than Others, 2006.
- Other
  - Books, Chapters
    - with K.-U. Witt, Algorithmische Informationstheorie, 2020.
  - Journals
    - On nothing, JLAMP 83(2), 2014
    - Being aware: where we think the action is CognTechWork, 9, 2007
  - Workshops, Reports
    - On the needs for specification and verification of cullaborative and concurrent robots, agents and processes, 2015.
Teaching
- Courses: Discrete Mathematics, (Advanced) Algebraic Methods/Logic on undergrad and graduate levels. Lecture material can be accessed through the HBRS learning platform.
- Theses: Interested in a thesis or R&D project? - Please send an email!