Mena Leemhuis

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

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

[BibT_eX]

[DOI]

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

Decomposing Analogy: A Logic Characterization.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Conceptual orthospaces - Convexity meets negation.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

Analogical Proportions and Betweenness.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Query Transformation for Processing Streams in Decision-making Agents.

[BibT_eX]

[DOI]

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

2022

Learning with cone-based geometric models and orthologics.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2022

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

[BibT_eX]

[DOI]

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

A Goodman-style Betweenness Relation on Orthoframes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2020

Cones, Negation, and All That.

[BibT_eX]

[DOI]