Publications in ai-romatre-pubs.bib

Publications in ai-romatre-pubs.bib - Year: 2010

2010
[6]	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. [bibtex] [doi]
[5]	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. [bibtex] [doi]
[4]	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. [bibtex] [doi]
[3]	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. [bibtex] [doi]
[2]	Nominal substitution at work with the global and converse modalities (Cerrito, Serenella and Cialdea Mayer, Marta), In Advances in Modal Logic 2006, volume 8, 2010. [bibtex] [url]
[1]	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. [bibtex] [doi]