Mena Leemhuis

Photo of Mena  Leemhuis

- Research Assistant -


Ratzeburger Allee 160
23562 Lübeck
Gebäude 64, 2. OG, Raum 64

Email: m.leemhuis(at)uni-luebeck.de
Phone: +49 451 3101 5717

Curriculum Vitae

  • September 2021 - now: Research assistant at the Institute of Information Systems at the University of Lübeck within the framework of the BMBF-project SmaDi.
  • October 2020 - August 2021: Research Assistant at the Institute of Information Systems at the University of Lübeck within the framework of the project KI-Lab.

Publications

2024

Mena Leemhuis, Diedrich Wolter, and Özgür Lütfü Özçep,
Decomposing Analogy: A Logic Characterization, in Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FOIKS 2024) , 2024.
Bibtex: BibTeX
@inproceedings{leOeWo24analogical, 
author = {Mena Leemhuis and Diedrich Wolter and Özgür Lütfü Öz\c{c}ep},
title = {Decomposing Analogy: A Logic Characterization},
year = 2024,
booktitle = {Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FOIKS 2024)},
comment = {accepted for publication}}

2023

Mena Leemhuis, and Özgür Lütfü Özçep,
Analogical Proportions and Betweenness, in Proceedings of the 9th Workshop on Formal and Cognitive Reasoning, September 26, 2023, Berlin, Germany co-located with the 46th German Conference on Artificial Intelligence (KI 2023) , 2023.
File: paper0.pdf
Bibtex: BibTeX
@inproceedings{leOe23analogical,
	author = {Mena Leemhuis and {\"{O}}zg{\"{u}}r L{\"{u}}tf{\"{u}} {\"{O}}z{\c{c}}ep},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/conf/ki/LeemhuisO22.bib},
	booktitle = {Proceedings of the 9th Workshop on Formal and Cognitive Reasoning, September 26, 2023, Berlin, Germany co-located with the 46th German Conference on Artificial Intelligence (KI 2023)},
volume= 3500, 
	date-added = {2023-09-06 14:45:20 +0200},
	date-modified = {2023-09-06 14:47:02 +0200},
	timestamp = {Mon, 17 Oct 2022 17:08:45 +0200},
	title = {Analogical Proportions and Betweenness},
	url = {https://ceur-ws.org/Vol-3500/paper0.pdf},
	year = {2023}}
Hedda Rahel Schmidtke, Mena Leemhuis, Jana Mertens, Robert Courant, Jürgen Maas, and Özgür Lütfü Özçep,
Bridging the Gap: Intelligent Environments with Smart Materials, 2023 19th International Conference on Intelligent Environments (IE) , pp. 1-8, 2023.
Bibtex: BibTeX
@article{Schmidtke2023BridgingTG,
  title={Bridging the Gap: Intelligent Environments with Smart Materials},
  author={Hedda Rahel Schmidtke and Mena Leemhuis and Jana Mertens and Robert Courant and J{\"u}rgen Maas and {\"O}zg{\"u}r L. {\"O}zçep},
  journal={2023 19th International Conference on Intelligent Environments (IE)},
  year={2023},
  pages={1-8}
}
Mena Leemhuis, and Özgür Lütfü Özçep,
Conceptual orthospaces---Convexity meets negation, International Journal of Approximate Reasoning , vol. 162, pp. 109013, 2023.
DOI:https://doi.org/10.1016/j.ijar.2023.109013
Bibtex: BibTeX
@article{leOe23conceptual,
	author = {Mena Leemhuis and {\"O}zg{\"u}r L. {\"O}zcep},
	date-added = {2023-09-01 10:58:36 +0200},
	date-modified = {2023-09-06 15:35:15 +0200},
	doi = {https://doi.org/10.1016/j.ijar.2023.109013},
	issn = {0888-613X},
	journal = {International Journal of Approximate Reasoning},
	keywords = {Conceptual space, Orthonegation, Similarity, Betweenness, Knowledge representation and reasoning},
	pages = {--},
	title = {Conceptual orthospaces---Convexity meets negation},
	year = {2023},
	bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0888613X23001445},
	bdsk-url-2 = {https://doi.org/10.1016/j.ijar.2023.109013}}
Jana Mertens, Mena Leemhuis, Özgür Lütfü Özcep, Hedda Schmidtke, and Jürgen Maas,
Digitalized data access of DE material models and their parameters using an OBD(M)A approach, in Electroactive Polymer Actuators and Devices (EAPAD) XXV , Herbert R. Shea and Iain A. Anderson and John D. W. Madden, Eds. SPIE, 2023. pp. 124820Z.
DOI:10.1117/12.2661222
File: 12.2661222
Bibtex: BibTeX
@inproceedings{leOe23digitalized,
	author = {Jana Mertens and Mena Leemhuis and {\"O}zg{\"u}r {\"O}z{\c{c}}ep and Hedda Schmidtke and J{\"u}rgen Maas},
	booktitle = {Electroactive Polymer Actuators and Devices (EAPAD) XXV},
	date-added = {2023-05-26 09:32:53 +0200},
	date-modified = {2023-05-26 09:33:13 +0200},
	doi = {10.1117/12.2661222},
	editor = {Herbert R. Shea and Iain A. Anderson and John D. W. Madden},
	keywords = {dielectric elastomer materials, ontology, digital data access, material models and parameters, obdma},
	organization = {International Society for Optics and Photonics},
	pages = {124820Z},
	publisher = {SPIE},
	title = {{Digitalized data access of DE material models and their parameters using an OBD(M)A approach}},
	url = {https://doi.org/10.1117/12.2661222},
	volume = {12482},
	year = {2023},
	bdsk-url-1 = {https://doi.org/10.1117/12.2661222}}
Özgür Lütfü Özçep, Mena Leemhuis, and Diedrich Wolter,
Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones, J. Artif. Intell. Res. , vol. 78, pp. 217--267, 2023.
DOI:10.1613/jair.1.13939
File: Dateilink
Simon Schiff, Mena Leemhuis, Özgür L. Özçep, and Ralf Möller,
Query Transformation for Processing Streams in Decision-making Agents, in The International FLAIRS Conference Proceedings , 2023.
DOI:10.32473/flairs.36.133104
Bibtex: BibTeX
@InProceedings{schiff2023transformation,
  author       = {Simon Schiff and Mena Leemhuis and {\"{O}}zg{\"{u}}r L{\"{u}}tf{\"{u}} {\"{O}}z{\c{c}}ep and Ralf Möller},
 title        = {Query Transformation for Processing Streams in Decision-making Agents},
  booktitle    = {The International FLAIRS Conference Proceedings},
  date         = {2023-05-15},
  language     = {en},
  pubstate     = {to appear},
  journaltitle = {The Thirty-Six International Flairs Conference}
}

2022

Mena Leemhuis, and Özgür L. Özçep,
A Goodman-style Betweenness Relation on Orthoframes, in Proceedings of the 8th Workshop on Formal and Cognitive Reasoning, co-located with the 45th German Conference on Artificial Intelligence (KI 2022) , 2022.
File: paper3.pdf
Bibtex: BibTeX
@InProceedings{leemhuis22betweenness,
  author    = {Mena Leemhuis and {\"O}zg{\"u}r L. {\"O}zçep},
  booktitle = {Proceedings of the 8th Workshop on Formal and Cognitive Reasoning, co-located with the 45th German Conference on Artificial Intelligence (KI 2022)},
  title     = {A Goodman-style Betweenness Relation on Orthoframes},
  year      = {2022}
}
Mena Leemhuis, Özgür L. Özçep, and Diedrich Wolter,
Knowledge Graph Embeddings with Ontologies: Reification for Representing Arbitrary Relations, in German Conference on Artificial Intelligence (Künstliche Intelligenz) , 2022. pp. 146--159.
DOI:10.1007/978-3-031-15791-2_13
Bibtex: BibTeX
@inproceedings{leemhuis2022knowledge,
  title={Knowledge Graph Embeddings with Ontologies: Reification for Representing Arbitrary Relations},
  author={Mena Leemhuis and {\"{O}}zg{\"{u}}r L{\"{u}}tf{\"{u}} {\"{O}}z{\c{c}}ep and Diedrich Wolter},
  booktitle={German Conference on Artificial Intelligence (K{\"u}nstliche Intelligenz)},
  pages={146--159},
  year={2022},
  organization={Springer}
}
Mena Leemhuis, Özgür L. Özçep, and Diedrich Wolter,
Learning with cone-based geometric models and orthologics, Annals of Mathematics and Artificial Intelligence , pp. 1--37, 2022. Springer.
DOI:https://doi.org/10.1007/s10472-022-09806-1
Bibtex: BibTeX
@article{leemhuis2022learning,
  title={Learning with cone-based geometric models and orthologics},
  author={Mena Leemhuis and Özgür L. Özçep and  Diedrich Wolter},
  journal={Annals of Mathematics and Artificial Intelligence},
  pages={1--37},
  year={2022},
  publisher={Springer}
}

2020

Özgür Lütfü Özçep, Mena Leemhuis, and Diedrich Wolter,
Cone semantics for logics with negation, in Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, (IJCAI-20) , ijcai.org, 2020. pp. 1820--1826.
DOI:10.24963/ijcai.2020/252
File: 252
Bibtex: BibTeX
@inproceedings{oezcep20Cone,
	Author = {{\"O}z{\c{c}}ep, {\"O}zg{\"u}r L{\"u}tf{\"u} and Leemhuis, Mena and Wolter, Diedrich},
	Booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI-20}},
	Date-Modified = {2020-05-05 17:51:59 +0200},
	Keywords = {own,acceptedForPublication},
	Title = {Cone semantics for logics with negation},
	Year = {2020}}
Özgür Lütfü Özçep, Mena Leemhuis, and Diedrich Wolter,
Cones, Negation, And All That, in Proceedings of the 43rd German Conference on Artificial Intelligence, (KI 2020) , Springer International Publishing, 2020. pp. 235--239.
DOI:https://doi.org/10.1007/978-3-030-58285-2_17
Bibtex: BibTeX
@inproceedings{oezcep20conesNegation,
	Author = {{\"{O}}zg{\"{u}}r L{\"{u}}tf{\"{u}} {\"{O}}z{\c{c}}ep and Mena Leemhuis and Diedrich Wolter},
	Booktitle = {Proceedings of the 43rd German Conference on Artificial Intelligence, {KI 2020}},
	Date-Added = {2020-07-30 13:16:05 +0200},
	Date-Modified = {2020-08-27 12:09:11 +0200},
	Note = {In press},
	Title = {Cones, Negation, And All That},
	Year = {2020},
	Bdsk-Url-1 = {https://doi.org/10.24963/ijcai.2020/252}}
Mena Leemhuis, Özgür L. Özçep, and Diedrich Wolter,
Multi-Label Learning with a Cone-Based Geometric Model, in Proceedings of the 25th International Conference on Conceptual Structures (ICCS 2020) , 2020.
DOI:10.1007/978-3-030-57855-8_13
Bibtex: BibTeX
@inproceedings{leemhuis20multi-label,
	Author = {Mena Leemhuis and \"Ozg\"ur L. {\"O}z\c{c}ep and Diedrich Wolter},
	Booktitle = {Proceedings of the 25th International Conference on Conceptual Structures (ICCS 2020)},
	Keywords = {own,acceptedForPublication},
	Title = {Multi-Label Learning with a Cone-Based Geometric Model},
	Year = {2020}}
Mena Leemhuis, Özgür L. Özçep, and Diedrich Wolter,
Orthologics for Cones, arXiv e-prints , pp. arXiv:2008.03172, 2020.
Bibtex: BibTeX
@article{leemhuis20OrthologicsArxiv,
	Author = {Mena Leemhuis and  {\"O}zg{\"u}r L. {\"O}z{\c{c}}ep and  Diedirich Wolter},
	Eid = {arXiv:2008.03172},
	Eprint = {2008.03172},
	Journal = {arXiv e-prints},
	Keywords = {Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science},
	Month = aug,
	Pages = {arXiv:2008.03172},
	Primaryclass = {cs.AI},
	Title = {{Orthologics for Cones}},
	Year = 2020}