32 citations · 122 across the 26 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CL2025★ 1 cited
Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
Felix Vossel, Till Mossakowski, Björn Gehrke
Automating the translation of natural language to first-order logic (FOL) is crucial for knowledge representation and formal methods, yet remains challenging. We present a systemat…
cs.LO2025
ChemLog: Making MSOL Viable for Ontological Classification and Learning
Simon Flügel, Martin Glauer, Till Mossakowski +1
Despite its prevalence, in many domains, OWL is not expressive enough to define ontology classes. In this paper, we present an approach that allows to use monadic second-order form…