Mena Leemhuis

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Description Logic Alc

Top Venues

Ann. Math. Artif. Intell.

Int. J. Approx. Reason.

Publications

Mena Leemhuis, Diedrich Wolter, Özgür L. Özçep
Rules of Partial Orthomodularity. WoLLIC (2024)
Mena Leemhuis, Diedrich Wolter, Özgür L. Özçep
Decomposing Analogy: A Logic Characterization. FoIKS (2024)
Mena Leemhuis, Özgür Lütfü Özçep
Analogical Proportions and Betweenness. FCR@KI (2023)
Simon Schiff, Mena Leemhuis, Özgür L. Özçep, Ralf Möller
Query Transformation for Processing Streams in Decision-making Agents. FLAIRS (2023)
Mena Leemhuis, Özgür L. Özçep
Conceptual orthospaces - Convexity meets negation. Int. J. Approx. Reason. 162 (2023)
Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter
Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones. J. Artif. Intell. Res. 78 (2023)
Hedda R. Schmidtke, Mena Leemhuis, Jana Mertens, Robert Courant, Jürgen Maas, Özgür L. Özçep
Bridging the Gap: Intelligent Environments with Smart Materials. IE (2023)
Mena Leemhuis, Özgür Lütfü Özçep
A Goodman-style Betweenness Relation on Orthoframes. FCR@KI (2022)
Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter
Knowledge Graph Embeddings with Ontologies: Reification for Representing Arbitrary Relations. KI (2022)
Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter
Learning with cone-based geometric models and orthologics. Ann. Math. Artif. Intell. 90 (11-12) (2022)
Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter
Cones, Negation, and All That. KI (2020)
Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter
Cone Semantics for Logics with Negation. IJCAI (2020)
Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter
Orthologics for Cones. CoRR (2020)
Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter
Multi-label Learning with a Cone-Based Geometric Model. ICCS (2020)