Filippo De Bortoli wins Best Student Paper Award at FroCoS 2025
News from the research group Automata Theory of September 30, 2025
Filippo De Bortoli wins Best Student Paper Award at FroCoS 2025
In this paper, the authors perform a systematic study of the expressive power of two extensions of description logics with constructors for expressing numerical constraints. For the first extension, which adds cardinality constraints to sets of role successor, previous results by the same authors were generalized to account for possible restrictions on the class of interpretations used to define the semantics of the languages at hand. The second extension enables so-called "concrete domain reasoning", where formulae can now refer to numerical features of individual and constrain them using the predicates made available by the concrete domain. This setting, only partially explored by previous work by the authors, required additional work to show that first-order logics extended with concrete domain reasoning enjoy locality properties similar to those of standard first-order logic; this property has then been exploited to establish the sought results on expressive power, which also generalize to cases where the semantics is defined over restricted classes of models.
The International Symposium on Frontiers of Combining Systems (FroCoS) is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The 15th edition was part of FroCoS/ITP/TABLEAUX '25 and took place in Reykjavik, Iceland from September 29 to October 1st, 2025. It was hosted at Reykjavik University by the Icelandic Centre of Excellence in Theoretical Computer Science and additionally sponsored by Inria and the Artificial Intelligence Journal.
Congratulations!
