Mena Leemhuis

According to our database, Mena Leemhuis authored at least 16 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Rules of Partial Orthomodularity.

Mena Leemhuis, Diedrich Wolter, Özgür L. Özçep

Proceedings of the Logic, Language, Information, and Computation, 2024

Embedding Temporal Description Logic Ontologies by Cone-based Geometric Models.

Mena Leemhuis

Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence (KI 2024), 2024

The Boat, the House and the In-Between: Conceptual Blending as Betweenness Relation.

Mena Leemhuis, Oliver Kutz

Proceedings of The Eighth Image Schema Day co-located with The 23rd International Conference of the Italian Association for Artificial Intelligence(AI*IA 2024), 2024

Decomposing Analogy: A Logic Characterization.

Mena Leemhuis, Diedrich Wolter, Özgür L. Özçep

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Conceptual orthospaces - Convexity meets negation.

Mena Leemhuis, Özgür L. Özçep

Int. J. Approx. Reason., November, 2023

Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones.

Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter

J. Artif. Intell. Res., 2023

Analogical Proportions and Betweenness.

Mena Leemhuis, Özgür Lütfü Özçep

Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), 2023

Bridging the Gap: Intelligent Environments with Smart Materials.

Hedda R. Schmidtke, Mena Leemhuis, Jana Mertens, Robert Courant, Jürgen Maas, Özgür L. Özçep

Proceedings of the 19th International Conference on Intelligent Environments, 2023

Query Transformation for Processing Streams in Decision-making Agents.

Simon Schiff, Mena Leemhuis, Özgür L. Özçep, Ralf Möller

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

2022

Learning with cone-based geometric models and orthologics.

Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter

Ann. Math. Artif. Intell., 2022

Knowledge Graph Embeddings with Ontologies: Reification for Representing Arbitrary Relations.

Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter

Proceedings of the KI 2022: Advances in Artificial Intelligence, 2022

A Goodman-style Betweenness Relation on Orthoframes.

Mena Leemhuis, Özgür Lütfü Özçep

Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), 2022

2020

Orthologics for Cones.

Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter

CoRR, 2020

Cones, Negation, and All That.

Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter

Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

Cone Semantics for Logics with Negation.

Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Multi-label Learning with a Cone-Based Geometric Model.

Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter

Proceedings of the Ontologies and Concepts in Mind and Machine, 2020