Cited By
View all- Cosler MHahn CMendoza DSchmitt FTrippel C(2023)nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language ModelsComputer Aided Verification10.1007/978-3-031-37703-7_18(383-396)Online publication date: 17-Jul-2023
- Fernández VVarela-Vaca ÁGómez-López M(2023)Revealing the Importance of Setting Parameters in Declarative Discovery Algorithms: An Evolutionary-Based MethodologyAdvanced Information Systems Engineering10.1007/978-3-031-34560-9_10(158-173)Online publication date: 12-Jun-2023
- de Carolis BFerilli SMacchiarulo NBellogin ABoratto LSantos OArdissono LKnijnenburg B(2022)Ambient Assisted Living and Social Robots: Towards Learning Relations between User’s Daily Routines and MoodAdjunct Proceedings of the 30th ACM Conference on User Modeling, Adaptation and Personalization10.1145/3511047.3537691(123-129)Online publication date: 4-Jul-2022
- Show More Cited By