UPDATED ON 1 JUNE 2009

This is a short text version of Stefano Borgo's website.
For the full information, please visit : www.loa-cnr/borgo.html



Research Interest
=================

- Formal languages (FOL and its extensions, modal logic)
- Comparison and evaluation of axiomatic theories
- Comparison of Ontologies
- Dependence theory
- Theory of Physical Objects
- Social interaction (formal aspects)
- Modeling of Enterprises, Production Processes
- Formalization of Engineering Design


Selected papers
===============

*Space Representation*

Euclidean and Mereological Qualitative Spaces: a Study of SCC and DCC.
Borgo, S.
21st International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California (USA) 11--16 July 2009

A Pointless Theory of Space based on Strong Connection and Congruence
Borgo, S., Guarino, N., and Masolo, C.
L. Carlucci Ailello, J. Doyle, S. C. Shapiro (eds.), KR '96, Morgan Kaufmann, pp. 220-229


*Modal Logic*

Coalitions in Action Logic. 
Borgo, S. 
20th International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad (India) 6--12 Gennaio 2007, pp 1822--1827

Quantificational modal logic with sequential Kripke semantics.
Borgo, S.
in Journal of Applied Non-Classical Logics. Volume 15 - No. 2/2005, pp. 137-188.


*Enterprise and Engineering*

A formal ontological perspective on the behaviors and functions of technical artifacts. 
Borgo, S.; Carrara, M.; Garbacz, P.; Vermaas, P.E.
Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), Cambridge University Press, 23, 2009, pp.3--21

From Data to Knowledge Objects, Ontological Considerations With Inputs From the Public Health Domain. 
Pozza G.; Borgo S.; Ravarotto L.
10th European Conference on Knowledge Management (ECKM), Vicenza, (Italy) 3--4 Sept. 2009 (to appear)

*Formal Ontology*

Artifacts in Formal Ontology.
Borgo, S.; Vieu, L.
A. Meijers (Editor in Chief), Handbook of the Philosophy of Science - Technology and Engineering Sciences, Vol. 9 (to appear)

Artifacts and Roles: Modeling Strategies in a Multiplicative Ontology. 
Vieu, L.; Borgo, S.; Masolo, C.
5th International Conference on Formal Ontology in Information Systems (FOIS08), C. Eschenbach and M. Gruninger (Eds.), IOS Press 2008, pp. 121-134

Ontological Modularity and Spatial Diversity. 
Bateman J.; Borgo S.; Luttich K.; Masolo C.; Mossakowski T.
Spatial Cognition and Computation, Vol. 7, No. 1: pages 97--128


*Ontology and Linguistics*

Interfacing Ontologies and Lexical Resources.
Prevot, L.; Borgo, S.; Oltramari, A.
In OntoLex 2005 - Ontologies and Lexical Resources: IJCNLP-05 Workshop, South Korea.




Professional Activities
=======================

Chair

Formal Ontologies Meet Industry, Torino 2008 (with L. Lesmo)
Core Ontologies in Ontology Engineering, co-located with EKAW 2004 (with A. Gangemi)

Program Committee (recent events only)

International Conference Formal Ontology in Information Systems, FOIS. (Toronto, 2010)
International Conference Geospatial Semantics , GeoS 2009 (Mexico City, 2009)
International Conference Spatial Cognition. (Freiburg, 2008)
Workshop Ontologies and Their Applications (Salvador, Brazil 2008)
International Conference Formal Ontology in Information Systems, FOIS. (Saarbrucken, 2008)
International Conference Geospatial Semantics , GeoS 2007 (Mexico City, 2007)
Workshop Building and Applying Ontologies for the Semantic Web (Guimaraes, 2007)
International Conference IRMA, Enterprise Information Systems track (Vancouver, 2007)

Other Info
==========

Member of the International Association for Ontologies and its Applications (IAOA)
http://www.iaoa.org

ESSLLI 2009
Ontologies: Structuring, Modularity and Heterogeneity - Stefano Borgo, Oliver Kutz, Till Mossakowsky (Advanced course, Logic and Computation)
http://esslli2009.labri.fr


---------------
END of the file