A l e s s a n d r o · M o s c a
Assistant Professor
(temporary contract)

KRDB Research Centre
Faculty of Computer Science
Free University of Bozen-Bolzano (FUB)

Colombo, G., Mosca, A., Training and computation: artificial environments for learning. In Proceedings of the 6th International TICE Méditerranee Conference (TICEMED 2009), ISDM Journal, ISSN 1265-499X.

Cavani, V., Mosca, A., Rondelli, B., Knowledge Representation and artefact classification. Ipotesi di Preistoria (Online Journal), CIB Centro Inter-Bibliotecario, Università di Bologna, ISSN 1974-7985.

Mosca, A., Palmonari, M., Sartori, F., An upper-level functional ontology to support Knowledge Management in SMEs-based E-Manufactoring. The Knowledge Engineering Review (KER), Cambridge University Press (Forthcoming September 2009).

Bonomi, A., Mosca, A., Palmonari, M., Vizzari, G., Integrating a Wiki in an ontology driven Web site: approach, architecture and application in the archaeological domain. In Proceedings of the 3rd Semantic Wiki Workshop, co-located with the 5th European Semantic Web Conference (ESWC). CEUR Workshop Proceedings, ISSN 1613-0073, http://ceur-ws.org/.

Bonomi, A., Mantegari, G., Mosca, A., Palmonari, M., Vizzari, G., A system supporting users of cultural resource management semantic portals. In AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, Lecture Notes in Computer Science, Springer-Verlag, Vol. 4733, pp. 757-764, 2007.

Mosca, A., Palmonari, M., Action based abox update: an example from the chemical compound formulation. In Proc. of the 20th Description Logic Workshop (DL 2007). CEUR Workshop Proceedings, ISSN 1613-0073, http://ceur-ws.org/, 2007.

Bonomi, A., Mosca, A., Palmonari, M., Vizzari, G., NavEditOW – A system for navigating, editing and querying ontologies through the web. In Knowledge-Based Intelligent Information and Engineering Systems, Lecture Notes in Artificial Intelligence, Springer-Verlag, Vol. 4694, pp. 686-694, 2007.

Colombo, G., Mosca, A., Sartori, F., Towards the design of intelligent CAD systems: an ontological approach. Special issue on Ontology and Epistemology of Systems and Software Engineering, ADVANCED ENGINEERING INFORMATICS Journal (AEI), Elsevier, Vol. 21-2, pp. 153-168, 2007.

Bandini, S., Mosca, A., Palmonari, M., Commonsense spatial reasoning for information correlation in pervasive computing. Applied Artificial Intelligence, Taylor&Francis, Vol. 21/4-5, April 2007.

Bandini, S., Mosca, A., Palmonari, M., Model-based chemical compound formulation. In L. Magnani and Ping Li (Eds.), Model-Based Reasoning in Science, Technology, and Medicine. Series: Studies in Computational Intelligence, Vol. 64, pp. 413-430, Springer, 2007, ISBN 978-3-540-71985-4.

Bandini, S., Mosca, A., Palmonari, M., Intelligent alarm correlation and abductive reasoning. In L. Magnani (guest editor), Logic Journal of IGPL, Oxford University Press, Vol. 14, pp. 347-362, March 2006.

Bandini, S., Mosca, A., Palmonari, M., Vizzari, G., Integrating MMASS with a hybrid commonsense spatial logic. In L. Magnani (ed.), Model-Based Reasoning in Science and Engineering, pp. 311-331, King’s College, London. 2006.

Bandini, S., Mosca, A., Palmonari, M., A hybrid logic for commonsense spatial reasoning. AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings. Lecture Notes in Artificial Intelligence, Springer-Verlag, Vol. 3673, Pages 25-37, 2005.

Bandini, S., Bogni, D., Manzoni, S., Mosca, A., ST modal logic approach to alarm correlation in monitoring and control of Italian highways traffic. In Moonis Ali, Floriana Esposito (Eds.): Innovations in Applied Artificial Intelligence, 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings. ISBN 3-540-26551-1, Lecture Notes in Computer Science, Springer-Verlag, Vol. 3533, 2005.

Bandini, S., Mosca, A., Palmonari, M., Commonsense spatial reasoning for context-aware pervasive systems. Location- and Context-Awareness, First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings. Lecture Notes in Computer Science, Springer-Verlag, Vol. 3479, Pages 180-188, 2005.

Bandini, S., Mosca, A., Palmonari, M., Sartori, F., A conceptual framework for monitoring and control system development. In Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera (Eds.): Ubiquitous Mobile Information and Collaboration Systems, Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers. Lecture Notes in Computer Science, Springer-Verlag, Vol. 3272, Pages 111-124, 2005.

Mosca, A., Codecasa, D., Manzoni, L., HyLMoC – A model checker for Hybrid Logic. In Proceedings of the 24th Italian Congress on Computational Logic (CILC-09), June 24-25, 2009, Ferrara, Italy.

Mosca, A., Palmonari, M., Modeling spatial reasoning for context aware agents. In Proceedings of the 1st International Workshop on Logics for Agents and Mobility, part of the European Summer School on Logic, Language and Information (ESSLLI), Hamburg (Germany), August 4-8, 2008.

Mantegari, G., Mosca, A.,. Rondelli, B., Vizzari, G., A semantic based approach to GIS: the PO-BASyN project. In Proceedings of the 36th Annual Conference on Computer Applications and Quantitative Methods in Archaeology: On the Road to Reconstructing the Past (CAA 2008), 2-6 April 2008, Budapest, Hungary. To appear in 2010.

Bonomi, A., Colombo, G., Merico, D., Mosca, A., Palmonari, M., Vizzari, G., Sharing the NEUROWEB ontology through the Web: the NavEditOW approach. In G. Armano, M. Schaerf, and G. Semeraro, editors, Proceedings of the Workshop “MultiAgent Systems & Bioinformatics 2008”, 10th Symposium on Advances in Artificial Intelligence of the Italian Association for Artificial Intelligence, Cagliari, Italy. Italian Association for Artificial Intelligence.

Mosca, A., Rondelli, B., Mantegari, G., Integrating a knowledge-based system and a geographical information system for the study of the archaeological material culture. In G. Armano, M. Schaerf, and G. Semeraro, editors, Proceedings of the Workshop “Artificial Intelligence in Cultural Heritage”, 10th Symposium on Advances in Artificial Intelligence of the Italian Association for Artificial Intelligence, September 11-13, 2008, Cagliari, Italy, pages 84–91. Italian Association for Artificial Intelligence.

Soares Correa da Silva, F., Vizzari, G., Mosca, A., Coupled MMASS: A formal model for non-deterministic multi-agent simulations. In Proceedings of the AISB 08 Symposium on Logic and the Simulation of Interaction and Reasoning, Aberdeen, UK, 2008, ISBN 1-902956-68-0, Published by The Society for the Study of Artificial Intelligence and Simulation of Behaviour, pp. 11-15.

Bandini, S., Mosca, A., Palmonari, M., Vizzari, G., A perception oriented MAS model with hybrid commonsense spatial logic. In Proceedings of the AISB 08 Symposium on Logic and the Simulation of Interaction and Reasoning, Aberdeen, UK, 2008, ISBN 1-902956-68-0, Published by The Society for the Study of Artificial Intelligence and Simulation of Behaviour, pp. 32-40.

Mantegari, G., Mosca, A., Cattani, M., Formal knowledge representation and automated reasoning for the study of archaeological stratigraphy. In W. Borner, editor, Proceedings of the 12th International Congress “Cultural Heritage and New Technologies”, Vienna, Austria. Published on cd-rom, 2007. ISBN 978-3-85161-002-4.

Colombo, G., Mosca, A., Palmonari, M., Sartori, F.,  An upper-level functional ontology to support distributed design. In Proceedings of 2nd International Workshop on Ontology, Conceptualization and Epistemology for Software and System Engineering - ONTOSE, 2007.

Bandini, S., Mosca, A., Mereological knowledge representation for the chemical formulation. In R. Cuel and R. Ferrario (Eds.), Proceedings FOMI-06 Workshop Proceedings, Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy (Electronic Proceedings).

Colombo, G., Mosca, A., Palmonari, M., When ontology meets epistemology: the case of functional ontology in engineering design. In Proceedings of the First International Conference on Computing and Philosophy - I-C&P 2006, Laval, France.

Colombo, G., Mosca, A., Palmonari, M., Artefacts need functional ontology: Lessons from engineering design. Proceedings of the European Conference on Computing and Philosophy - E-CaP 2006, June 22-24, 2006, Trondheim, Norway, 2006.

Bandini, S., Colombo, G., Mosca, A., Palmonari, M., Commonsense spatial reasoning: an informational perspective from pervasive computing. European Computing And Philosophy (E-CaP 2005), MDH University, Sweden, 2-4 June 2005, TripleC Journal, ISSN 1726-670X.

Bandini, S., Mosca, A., L. Vanneschi, Towards the use of genetic algorithms for the chemical formulation problem. In Proceedings of the 9th Congress of the Italian Association for Artificial Intelligence (AI*IA 2005), Workshop on Evolutionary Computation (GSICE 2005). Edited by Sara Manzoni, Matteo Palmonari, Fabio Sartori, ISBN 88-900910-0-2. Centro Copie Bicocca, Milano, September 2005.

Frisoni, G., Colombo, G., Mosca, A., Sartori, F., Exploiting experiential knowledge for enhanced CAD design. In Proceedings of the International Conference on CAE and computational Technologies for Industry (TCN CAE 2005), October 5-8, Lecce, Italy.

Bandini, S., Manzoni, S., Mosca, A., Sartori, F., Intelligent alarm correlation. In Proceedings IEEE of International Conference on Systems, Man and Cybernetics (Invited Session on Modelling and control of transportation and traffic systems), Washington, 2003. Proceedings in the CD-ROM.

Maksudov, F., Mosca, A., Rondelli, B., Stride, S., Arqueologia en Àsia Central: Rescatar, accedir i compartir (Central Asian Archaeology: recover, access and sharing). Tribuna d’Arqueologia. Departament de Cultura de la Generalitat de Catalunya, Servei d’Arqueologia. Barcelona.

Colombo, G., Mosca, A., Formazione e computazione: ambienti artificiali di apprendimento. In Pieri M., Diamantini D. (Eds), Ubiquitous learning, Guerini e Associati Editore, Milano, 2010.

Mosca, A., Bernini, D., Ontology-driven Geographic Information System and dlvhex Reasoning for Material Culture Analysis. In R.i.C.e.R.c.A. 2008: RCRA Incontri E Confronti, online proceedings of the Italian Workshop RiCeRcA 2008, organized by the Working group of Knowledge Representation and Automated Reasoning of the Italian Association for Artificial Intelligence (AI*IA), co-located with the 24th International Conference on Logic Programming (ICLP 2008)., Udine, December 12-13, 2008.

Mosca, A., Gentile, I., Codecasa, D., Manzoni, L., Hybrid Modal Model Checking. In R.i.C.e.R.c.A. 2008: RCRA Incontri E Confronti, online proceedings of the Italian Workshop RiCeRcA 2008, organized by the Working group of Knowledge Representation and Automated Reasoning of  the Italian Association for Artificial Intelligence (AI*IA), co-located with the 24th International Conference on Logic Programming (ICLP 2008)., Udine, December 12-13, 2008.

Dopfer, K., Mosca, A., Rondelli, B., Stride, S., Bandini, S., The Samarqand’s cultural landscape: a rule based approach. Presented at the Regional Conference of the Central Eurasian Studies Society (CESS-2008), August 4-7, 2008, Issyk-Kul, Kyrgyzstan.

Ciborra, U., Hanseth, O.,  Da strumento a gestell. Programmi manageriali per la gestione dell'infrastruttura dell'informazione. Traduzione in lingua italiana a cura di Mosca, A., Studi Organizzativi, Aprile 2006, FrancoAngeli.

Colombo, G., Mosca, A., Conoscenze di valore. Come gestirle e come apprenderle. In Sistemi&Impresa, Spazio Knowledge Management, Luglio-Agosto 2003.

Bandini, S., Colombo, G., Mosca, A., Comunità di pratica: verso una metodologia per il knowledge management?. In Sistemi&Impresa, Spazio Knowledge Management, Luglio-Agosto 2002.