[92] | Discovering prerequisite relations from educational documents through word embeddings (Gasparetti, Fabio), In Future Generation Computer Systems, 2021. |
[91] | Community detection in social recommender systems: a survey (Gasparetti, Fabio and Sansonetti, Giuseppe and Micarelli, Alessandro), In Applied Intelligence, volume 51, 2021. |
[90] | An Empirical Review of Automated Machine Learning (Vaccaro, Lorenzo, Sansonetti, Giuseppe and Micarelli, Alessandro), In Computers, volume 10, 2021. |
[89] | Unreliable Users Detection in Social Media (Sansonetti, Giuseppe and Gasparetti, Fabio and D'Aniello, Giuseppe and Micarelli, Alessandro), In IEEE Access, volume 8, 2020. |
[88] | Knowledge-Based Smart City Service System (D’Aniello, Giuseppe, Gaeta, Matteo, Orciuoli, Francesco, Sansonetti, Giuseppe and Sorgente, Francesca), In Electronics, volume 9, 2020. |
[87] | On timeline-based games and their complexity (Nicola Gigante, Angelo Montanari, Orlandini, Andrea, Cialdea Mayer, Marta and Mark Reynolds), In Theor. Comput. Sci., volume 815, 2020. |
[86] | K-OpenAnswer: a simulation environment to analyze the dynamics of massive open online courses in smart cities (Sciarrone, Filippo and Marco Temperini), In Soft Comput., volume 24, 2020. |
[85] | A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies (Cialdea Mayer, Marta), In J. Autom. Reason., volume 64, 2020. |
[84] | A framework for modelling Molecular Interaction Maps (Jean-Marc Alliot, Cialdea Mayer, Marta, Robert Demolombe and Martín Diéguez), In CoRR, volume abs/2008.09546, 2020. |
[83] | MoodleREC: A recommendation system for creating courses using the moodle e-learning platform (De Medio, Carlo, Limongelli, Carla, Sciarrone, Filippo and Marco Temperini), In Comput. Hum. Behav., volume 104, 2020. |
[82] | Personalized weight loss strategies by mining activity tracker data (Gasparetti, Fabio, Aiello, Luca Maria and Quercia, Daniele), In User Modeling and User-Adapted Interaction, 2019. |
[81] | Exploiting semantics for context-aware itinerary recommendation (Fogli, Alessandro and Sansonetti, Giuseppe), In Personal and Ubiquitous Computing, volume 23, 2019. |
[80] | Point of interest recommendation based on social and linked open data (Sansonetti, Giuseppe), In Personal and Ubiquitous Computing, volume 23, 2019. |
[79] | Enhancing cultural recommendations through social and linked open data (Sansonetti, Giuseppe and Gasparetti, Fabio and Micarelli, Alessandro and Cena, Federica and Gena, Cristina), In User Modeling and User-Adapted Interaction, 2019. |
[78] | An Approach to Conversational Recommendation of Restaurants (Sardella, N., Biancalana, Claudio, Micarelli, Alessandro and Sansonetti, Giuseppe), In Communications in Computer and Information Science, volume 1034, 2019. |
[77] | Point of interest recommendation based on social and linked open data (Sansonetti, Giuseppe), In Personal and Ubiquitous Computing, volume 23, 2019. |
[76] | Exploiting semantics for context-aware itinerary recommendation (Fogli, Alessandro and Sansonetti, Giuseppe), In Personal and Ubiquitous Computing, volume 23, 2019. |
[75] | Advances in Personalized Mobile Services (Cena, Federica, Gasparetti, Fabio, Damianos Gavalas, Shuk Y. Ho, Bin Liu and Dingqi Yang), In Mobile Information Systems, Hindawi Limited, volume 2018, 2018. |
[74] | Temporal people-to-people recommendation on social networks with sentiment-based matrix factorization (Feltoni Gurini, Davide, Gasparetti, Fabio, Micarelli, Alessandro and Sansonetti, Giuseppe), In Future Generation Computer Systems, volume 78, 2018. |
[73] | Enhancing itinerary recommendation with linked open data (Fogli, Alessandro, Micarelli, Alessandro and Sansonetti, Giuseppe), In Communications in Computer and Information Science, volume 850, 2018. |
[72] | Prerequisites between Learning Objects: Automatic Extraction based on a Machine Learning Approach (Gasparetti, Fabio, De Medio, Carlo, Limongelli, Carla, Sciarrone, Filippo and Temperini, Marco), In Telematics and Informatics, volume 35, 2017. |
[71] | Personalization and context-awareness in social local search: State-of-the-art and future research challenges (Gasparetti, Fabio), In Pervasive and Mobile Computing, volume 38, 2017. |
[70] | Modeling user interests from web browsing activities (Gasparetti, Fabio), In Data Mining and Knowledge Discovery, volume 31, 2017. |
[69] | Steps in assessing a timeline-based planner (Umbrico, Alessandro, Cesta, Amedeo, Cialdea Mayer, Marta and Orlandini, Andrea), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 10037 LNAI, 2016. |
[68] | A recommendation module to help teachers build courses through the Moodle Learning Management System (Limongelli, Carla, Lombardi, Matteo, Marani, Alessandro, Sciarrone, Filippo and Temperini, Marco), In New Review of Hypermedia and Multimedia, volume 22, 2016. |
[67] | Towards the recommendation of resources in Coursera (Limongelli, Carla, Lombardi, Matteo and Marani, Alessandro), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9684, 2016. |
[66] | Concept maps similarity measures for educational applications (Limongelli, Carla, Lombardi, Matteo, Marani, Alessandro, Sciarrone, Filippo and Temperini, Marco), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9684, 2016. |
[65] | Mining prerequisite relationships among learning objects (De Medio, Carlo, Gasparetti, Fabio, Limongelli, Carla, Sciarrone, Filippo and Temperini, Marco), In Communications in Computer and Information Science, volume 618, 2016. |
[64] | Planning and execution with flexible timelines: a formal account (Cialdea Mayer, Marta, Orlandini, Andrea and Umbrico, Alessandro), In Acta Informatica, volume 53, 2016. |
[63] | Enriching a temporal planner with resources and a Hierarchy-based Heuristic (Umbrico, Alessandro, Orlandini, Andrea and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9336 LNCS, 2015. |
[62] | Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders [Journal of Automated Reasoning, DOI 10.1007/s10817-014-9307-z] (Cialdea Mayer, Marta), In Journal of Automated Reasoning, volume 55, 2015. |
[61] | A social network-based teacher model to support course construction (Limongelli, Carla, Sciarrone, Filippo and Temperini, Marco), In Computers in Human Behavior, volume 51, 2015. |
[60] | Social network analysis and evaluation of communities of practice of teachers: A case study (de Marsico, Maria, Limongelli, Carla, Sciarrone, Filippo, Sterbini, A. and Temperini, Marco), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 8699, 2014. |
[59] | Fuzzy student modeling for personalization of e-learning courses (Limongelli, Carla and Sciarrone, Filippo), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 8523 LNCS, 2014. |
[58] | iSCUR: Interest and sentiment-based community detection for user recommendation on twitter (Feltoni Gurini, Davide, Gasparetti, Fabio, Micarelli, Alessandro and Sansonetti, Giuseppe), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 8538, 2014. |
[57] | Mining Navigation Histories for User Need Recognition (Gasparetti, Fabio, Micarelli, Alessandro and Sansonetti, Giuseppe), In Communications in Computer and Information Science, volume 434 PART I, 2014. |
[56] | A data mining approach to the analysis of students' learning styles in an e-learning community: A case study (Efrati, V., Limongelli, Carla and Sciarrone, Filippo), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 8514 LNCS, 2014. |
[55] | Extended Decision Procedure for a Fragment of HL with Binders (Cialdea Mayer, Marta), In Journal of Automated Reasoning, volume 53, 2014. |
[54] | A proof procedure for hybrid logic with binders, transitivity and relation hierarchies (Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 7898 LNAI, 2013. |
[53] | A teaching-style based social network for didactic building and sharing (Limongelli, Carla, Lombardi, Matteo, Marani, Alessandro and Sciarrone, Filippo), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 7926 LNAI, 2013. |
[52] | A teacher model to speed up the process of building courses (Limongelli, Carla, Lombardi, Matteo, Marani, Alessandro and Sciarrone, Filippo), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 8005 LNCS, 2013. |
[51] | Filtering Learning Objects Repositories by a Didactic Search Engine (Limongelli, Carla, Sciarrone, Filippo and Temperini, Marco), In Communications in Computer and Information Science, volume 278, 2013. |
[50] | An approach to social recommendation for context-aware mobile services (Biancalana, Claudio, Gasparetti, Fabio, Micarelli, Alessandro and Sansonetti, Giuseppe), In ACM TIST, volume 4, 2013. |
[49] | A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (S. Cerrito and Cialdea Mayer, Marta), In Journal of Automated Reasoning, volume 51, 2013. |
[48] | Social semantic query expansion (Biancalana, Claudio, Gasparetti, Fabio, Micarelli, Alessandro and Sansonetti, Giuseppe), In ACM Transactions on Intelligent Systems and Technology, volume 4, 2013. |
[47] | Personalized e-learning in moodle: The moodle_LS system (Limongelli, Carla, Sciarrone, Filippo and Vaste, Giulia), In Journal of E-Learning and Knowledge Society, volume 7, 2011. |
[46] | The Lecomps5 framework for personalized web-based learning: A teacher's satisfaction perspective (Limongelli, Carla, Sciarrone, Filippo, Temperini, Marco and Vaste, Giulia), In Computers in Human Behavior, volume 27, 2011. |
[45] | A tableaux based decision procedure for a broad class of hybrid formulae with binders (S. Cerrito and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 6793 LNAI, 2011. |
[44] | Automated and flexible comparison of course sequencing algorithms in the LS-Lab framework (Limongelli, Carla, Sciarrone, Filippo, Temperini, Marco and Vaste, Giulia), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 6095 LNCS, 2010. |
[43] | A module for adaptive course configuration and assessment in moodle (Limongelli, Carla, Sciarrone, Filippo, Temperini, Marco and Vaste, Giulia), In Communications in Computer and Information Science, volume 111 CCIS, 2010. |
[42] | An ontology-driven OLAP system to help teachers in the analysis of web learning object repositories (Limongelli, Carla, Sciarrone, Filippo, Starace, P. and Temperini, Marco), In Information Systems Management, volume 27, 2010. |
[41] | Herod and pilate: Two tableau provers for basic hybrid logic (Cialdea Mayer, Marta and Cerrito, Serenella), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 6173 LNAI, 2010. |
[40] | An efficient approach to nominal equalities in hybrid logic tableaux (Cerrito, Serenella and Cialdea Mayer, Marta), In Journal of Applied Non-Classical Logics, volume 20, 2010. |
[39] | Towards Cognitive Modeling of User Needs in Web Browsing Activities (Gasparetti, Fabio, Micarelli, Alessandro and Sciarrone, Filippo), In Cognitive Systems (ESSCS), ESSCS, volume 7, 2009. |
[38] | Virtual cultural tour personalization by means of an adaptive e-learning system: A case study (Limongelli, Carla, Sciarrone, Filippo, Temperini, Marco and Vaste, Giulia), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 5736 LNAI, 2009. |
[37] | Adaptive learning with the LS-Plan system: A field evaluation (Limongelli, Carla, Sciarrone, Filippo, Temperini, Marco and Vaste, Giulia), In IEEE Transactions on Learning Technologies, volume 2, 2009. |
[36] | An application of the LS-Plan system to an educational hypermedia (Limongelli, Carla, Sciarrone, Filippo and Vaste, Giulia), In International Journal of Web-Based Learning and Teaching Technologies, volume 4, 2009. |
[35] | A web-based training system for business letter writing (Gasparetti, Fabio, Micarelli, Alessandro and Sciarrone, Filippo), In Knowl.-Based Syst., volume 22, 2009. |
[34] | Abduction and consequence generation in a support system for the design of logical multiple-choice questions (Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 5607 LNAI, 2009. |
[33] | Adaptive course generation through learning styles representation (Sangineto, Enver, Capuano, Nicola, Gaeta, Matteo and Micarelli, Alessandro), In Universal Access in the Information Society, Springer, volume 7, 2008. |
[32] | Lecomps5: A framework for the automatic building of personalized learning sequences (Limongelli, Carla, Sciarrone, Filippo, Temperini, Marco and Vaste, Giulia), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 5288 LNAI, 2008. |
[31] | LS-plan: An effective combination of dynamic courseware generation and learning styles in web-based education (Limongelli, Carla, Sciarrone, Filippo and Vaste, Giulia), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 5149 LNCS, 2008. |
[30] | A case-based approach to anomaly intrusion detection (Micarelli, Alessandro and Sansonetti, Giuseppe), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 4571 LNAI, 2007. |
[29] | Case-based reasoning in robot indoor navigation (Micarelli, Alessandro, Panzieri, S. and Sansonetti, Giuseppe), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 4626 LNAI, 2007. |
[28] | Case-based anomaly detection (Micarelli, Alessandro and Sansonetti, Giuseppe), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 4626 LNAI, 2007. |
[27] | Personalized Search Based on a Memory Retrieval Theory (Gasparetti, Fabio and Micarelli, Alessandro), In IJPRAI, volume 21, 2007. |
[26] | Linear temporal logic as an executable semantics for planning languages (Cialdea Mayer, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina), In Journal of Logic, Language and Information, volume 16, 2007. |
[25] | Pdk: The system and its language (Cialdea Mayer, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 3702 LNAI, 2005. |
[24] | Recognition of office-like environments through the extraction of the perspective structure (Iarusso, Marco, Micarelli, Alessandro and Sangineto, Enver), In IFAC Proceedings Volumes, Elsevier, volume 36, 2003. |
[23] | Planning under uncertainty in linear time logic (Cialdea Mayer, Marta, Limongelli, Carla, Orlandini, Andrea and Poggioni, Valentina), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2829, 2003. |
[22] | An integrated system for Automatic Face Recognition (De Rosa, Maria Paola, Micarelli, Alessandro and Sansonetti, Giuseppe), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2749, 2003. |
[21] | A general theorem prover for quantified modal logics (Thion, V., Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2381 LNAI, 2002. |
[20] | Ground and free-variable tableaux for variants of quantified modal logics (Cialdea Mayer, Marta and Cerrito, Serenella), In Studia Logica, volume 69, 2001. |
[19] | Free-variable tableaux for constant-domain quantified modal logics with rigid and non-rigid designation (Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2083 LNAI, 2001. |
[18] | A case-based approach to image recognition (Micarelli, Alessandro, Neri, A. and Sansonetti, Giuseppe), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1898, 2000. |
[17] | Variants of first-order modal logics (Cialdea Mayer, Marta and Cerrito, Serenella), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1847 LNAI, 2000. |
[16] | First order linear temporal logic over finite time structures (Cerrito, Serenella, Cialdea Mayer, Marta and Praud, S.), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1705 LNAI, 1999. |
[15] | Using linear temporal logic to model and solve planning problems (Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1480 LNAI, 1998. |
[14] | Bounded model search in linear temporal logic and its application to planning (Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1397 LNAI, 1998. |
[13] | Hintikka multiplicities in matrix decision methods for some propositional modal logics (Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1227, 1997. |
[12] | P-adic arithmetic and parallel symbolic computation: An implementation for solving linear systems over rationals (Limongelli, Carla and Pirastu, R.), In Computers and Artificial Intelligence, volume 15, 1996. |
[11] | Uniform representation of basic algebraic structures in computer algebra (Limongelli, Carla, Malerba, G. and Temperini, Marco), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1128, 1996. |
[10] | Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting (Gehrke, W. and Limongelli, Carla), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1128, 1996. |
[9] | Exact solution of linear systems over rational numbers by parallel p-adic arithmetic (Limongelli, Carla and Pirastu, R.), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 854 LNCS, 1994. |
[8] | Rational number arithmetic by parallel p-adic algorithms (Limongelli, Carla and Loidl, H.W.), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 734 LNCS, 1993. |
[7] | On the uniform representation of mathematical data structures (Limongelli, Carla and Temperini, Marco), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 722 LNCS, 1993. |
[6] | On an Efficient Algorithm for Big Rational Number Computations by Parallel p-adics (Limongelli, Carla), In Journal of Symbolic Computation, volume 15, 1993. |
[5] | Abstract specification of structures and methods in symbolic mathematical computation (Limongelli, Carla and Temperini, Marco), In Theoretical Computer Science, volume 104, 1992. |
[4] | Resolution for some first-order modal systems (Cialdea, Marta), In Theoretical Computer Science, volume 85, 1991. |
[3] | Abstract specification of mathematical structures and methods (Limongelli, Carla, Mele, M.B., Regio, M. and Temperini, Marco), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 429 LNCS, 1990. |
[2] | Big numbers p-adic arithmetic: A parallel approach (Colagrossi, Attilio and Limongelli, Carla), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 357 LNCS, 1989. |
[1] | Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic (Cialdea, Marta), In Information Processing Letters, volume 22, 1986. |