Ralf Molitor

15 papers A* 3A 1Misc 2Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2005 J jnl
Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.
Stud Logica
Ralf Küsters, Ralf Molitor
2003 — ch.
Relationships with other Formalisms.
Description Logic Handbook
Ulrike Sattler, Diego Calvanese, Ralf Molitor
2002 J jnl
Approximating most specific concepts in description logics with existential restrictions.
AI Commun.
Ralf Küsters, Ralf Molitor
2001 — conf
Approximating Most Specific Concepts in Description Logics with Existential Restrictions.
KI/ÖGAI
Ralf Küsters, Ralf Molitor
2001 A* conf
Computing Least Common Subsumers in ALEN.
IJCAI
Ralf Küsters, Ralf Molitor
2001 — conf
Using Lazy Unfolding for the Computation of Least Common Subsumers.
Description Logics
Anni-Yasmin Turhan, Ralf Molitor
2000 Misc conf
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis.
ICCS
Franz Baader, Ralf Molitor
2000 A* conf
Rewriting Concepts Using Terminologies.
KR
Franz Baader, Ralf Küsters, Ralf Molitor
2000 — —
Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken.
Ralf Molitor
2000 — ch.
Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken.
Ausgezeichnete Informatikdissertationen
Ralf Molitor
1999 A* conf
Computing Least Common Subsumers in Description Logics with Existential Restrictions.
IJCAI
Franz Baader, Ralf Küsters, Ralf Molitor
1999 — conf
Rewriting in Description Logics Using Terminologies.
Description Logics
Franz Baader, Ralf Molitor
1999 Misc conf
Tractable and Decidable Fragments of Conceptual Graphs.
ICCS
Franz Baader, Ralf Molitor, Stephan Tobies
1998 A conf
A Description Logic for Vague Knowledge.
ECAI
Christopher Tresp, Ralf Molitor
1998 — conf
Structural Subsumption Considered from an Automata-Theoretic Point of View.
Description Logics
Franz Baader, Ralf Küsters, Ralf Molitor
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling