Fausto Giunchiglia

1987: PhD in Computer Engineering, University of Genoa, Faculty of Engineering
1983: Master in Computer Engineering, University of Genoa, Faculty of Engineering
1981: Laurea in Electronic Engineering (specialization in Computer Engineering), University of Genoa, Faculty of Engineering

Most Relevant Research Work (until 2002; some of this work is joint)
I defined a theory of abstract reasoning which captured and formalized the previous work in abstraction in Artificial Intelligence. The most relevant paper in this area is :
1. F. Giunchiglia and T. Walsh, “A Theory of Abstraction”, Artificial Intelligence, 56(2-3):323-390, October 1992.
I provided a theory of contexts and contextual reasoning. The most relevant papers in this area are:
2. F. Giunchiglia: “Contextual reasoning”, Epistemologia - Special Issue on "I Linguaggi e le Macchine", XVI:345-364, 1993. This paper provides the main intuitions underlying the use of contexts in reasoning
3. F. Giunchiglia, L. Serafini: “Multilanguage Hierarchical Logics (or: How we can do without modal logics)”, Artificial Intelligence, 65:29-70, 1994. This paper provides (a first part of) the proof theory of reasoning with contexts and shows how very special kinds of multicontext systems (also called Multilanguage systems) can be proved equivalent to the various modal logics)
4. F. Giunchiglia and C. Ghidini: “Local Model Semantics, or Contextual Reasoning = Locality + Compatibility”, Artificial Intelligence, 127(2):221-259, 2001. This paper introduces a new semantic framework, called Local Models Semantics, and shows how it formalizes the two main principles underlying reasoning with contexts. This paper gives also various correctness and completeness results with the proof theoretic systems introduced in the previous papers
5. F. Giunchiglia and P. Bouquet, “Introduction to Contextual Reasoning, an Artificial Intelligence Perspective”, in B. Kokinov Perspectives on Cognitive Science, pages 138-159, New Bulgarian University, 1997. Though largely incomplete and preliminary, this paper is a first attempt at relating my work with that done in the philosophy of language and cognitive science literature.
I provided a foundation to metatheoretic reasoning. The most relevant papers in this area are:
6. G. Criscuolo, F. Giunchiglia and L. Serafini, “A Foundation for Metareasoning, Part I: The proof theory”, accepted for publication in: Journal of Logic and Computation
7. G. Criscuolo, F. Giunchiglia and L. Serafini, “A Foundation for Metareasoning, Part II: The model theory”, accepted for publication in: Journal of Logic and Computation.
I showed how SAT decision procedures could be very efficiently used for reasoning in propositional modal logics. I also came up with a statistical method for testing the efficiency of modal logics decision procedures. The maybe most influential paper on this topic (but various others followed) is:
8. E. Giunchiglia, F. Giunchiglia, R. Sebastiani and A. Tacchella, “More evaluation of decision procedures for modal logics”, in A.G. Cohn, L. Schubert and S.C. Shapiro Proceedings KR'98, Sixth International Conference on Principles of Knowledge Representation and Reasoning, pages 626-635, Morgan Kaufmann, 1998
I came up with the idea that planning could be seen as reasoning in an appropriate (Kripke) model and implemented using BDD model checking technology. The paper surveying this approach is (this idea was taken up and substantially developed by various colleagues of mine, most noticeably Paolo Traverso and Alessandro Cimatti):
9. F. Giunchiglia, P. Traverso, “Planning as Model Checking”, invited talk. In Proceedings ECP'99, Fifth European Conference on Planning, Durham, UK, September 1999. This paper provides an introduction to the theory underlying the planning as model checking paradigm.
I developed a specification formalism and a practical approach, called Open Mechanized Reasoning Systems (OMRS), for the integration of very diverse reasoning systems. The most relevant paper on this topis is:
10. F. Giunchiglia, P. Pecchiari, C. Talcott, “Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems”, Journal of Automated Reasoning, 26:291-331, Kluwer, 2001.

Currently I am interested in developing a methodology for Agent Oriented Software Engineering. The most relevant paper in this topic is:
- A. Perini, F. Giunchiglia, J. Mylopoulos, P. Bresciani, P. Giorgini, “A Knowledge Level Software Engineering Methodology for Agent Oriented Programming”, in Proceedings of the Fifth International Conference on Autonomous Agents - (Agents 2001).

Projects (started after 2002)

2006-09: Research project “Intelligent technologies for cultural visits and mobile education” FIRB ISRAELE, financed by MIUR;
2006-09: Research project “OpenKnowledge”, EC project (STREP), financed by European Community;
2006-08: Research project “EASTWEB: building an integrated leading Euro-Asian higher education and research community in the field of the Semantic WEB”, EU IRG, financed by European Community;
2006-08: Industrial project “A distributed multi-institution file system for eWelfare”, HIT-DIT, Italy;
2006-07: Industrial project “IBM Shared University Research (SUR) program 2006”;
2006: Industrial project, Creation of the “Trentino as Lab”, TASLAB I-II;
2004-08: “Knowledge Web”, Network of Excellence, financed by European Community;
2004-07: Research project “Software Methodology and Technology for Peer-to-Peer Systems”, STAMPS , PAT;
2003-05: Research project, “Artificial Intelligence Techniques for the Retrieval of High Quality Information on the Web”, COFIN 2003, PRIN program, financed by MIUR;
2003-05: Education and Mobility Project, ITPAR03-SWENG
2003-04: Industrial projects “Problematiche di Knowledge Management, I – III”, TeleSistemi
Ferroviari SPA (TSF) and TrenItalia;
2002-05: Research project “Knowledge-level Automated Software Engineering”, FIRB program, financed by MIUR;
Industrial Project “Logicost”, financed by Research Centre FIAT (CRF);
Industrial Project “IJCAI Trustees”, financed by IJCAI Inc.;
Research project “Enabling On-Board Autonomy: a Platform for the Development of Verified Software (DOVES)”, financed by ASI (Agenzia Spaziale Italiana);
2002-03: Research project “Safety Critical Software for Planning in Space (SACSO)”, financed by ASI (Agenzia Spaziale Italiana);

Management Positions:

2007-Present: Vice President (Internationalization) of STi2 (Semantic Technology Institutes International),
Vienna;
2003-2004 Member of the Steering Committee of the Trentino Agency for the Development (Representing the University of Trento);
2001-2004 Vice-rector of the University of Trento in charge of the: “University Computer Science Project” and of “Reengineering and development of the University of Trento organization”;
2001-2003 Member of the Steering Committee of the “Tecnofin Servizi Center” (Representing the University of Trento);
2000-2003 President of the committee in charge of interaction with the unions with the University of Trento (from October 1st);
Member of the Scientific Committee of the project on “Advanced Biology” of the San Michele all’Adige Institute;
1999-2000 Delegate of the Rector for “ Organizational Innovation” at the University of Trento;
1998-2000 Manager for the project of reorganisation and automation of the system of accounting and management control of the University of Trento;
1997-2000 Manager for the project of reorganisation and automation of the didactics and of the services to the students (students’ secretarial) of the University of Trento;
President of “Polo GARR”, Trento;
1996-2002 Delegate of the Rector and President of the Information Services Committee “CASITM”;
1995-1998: Manager of the Computer Science Laboratory (DISALAB) of the Department of Computer Science and Business Studies (DISA).

Journal Boards
- Scientific Committee member of the journal Networks - a journal in philosophy or artificial intelligence and cognitive sciences, 2002-present
- Member of the Advisory Board of the QPQ ("QED Pro Quo") online journal of peer-reviewed source code for deductive software components, 2002-Present
- Member of the Editorial Board of the Book series "Frontiers in AI and its applications", IOS Press, 2002-present.
- Co-editor Special Issue of the Artificial Intelligence Journal on “Abstraction“, Springer Verlag, 2004.
- Co-editor Special Issue of the Artificial Intelligence Journal on “Reformulation” (provisional title), Springer Verlag, 2002.
- Editorial Board Member of the Journal of Applied non Classical Logics, Hermes-Science Publication, 2001-present.
- Editorial Board Member of the Int. Journal of Autonomous Agents and Multi-Agent Systems, 2000-present.
- Editorial Board Member of AICOM - AI Communications, IOS Press, 2000-present.
- Co-editor Special Issue Int. Journal on Software Tools for Technology Transfer (STTT) (Springer). Title: "Mechanized Theorem Proving for Technology Transfer", 1999.
- Co-editor Special Issue Journal of Logic and Computation (JLC), Oxford University Press. Title: "Computational and Logical Aspects of Multi-Agent Systems", 1998.
- Editorial Board Member of the Int. Journal on Software Tools for Technology Transfer (STTT) (Springer), 1997-present.
- Advisory Board Member of the Journal of Artificial Intelligence Research (JAIR), 1997-2001.
- Associate Editor of the Journal of Artificial Intelligence Research (JAIR), 1994-1996.
- Editorial Board Member of the Journal of Artificial Intelligence Research (JAIR), 1993-1994.

Conference Boards
Chair
- General Chair of the 1st Asian Conference on the Semantic Web (ASWC), 2006
- Conference Chair of the International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland, 2005
- General Co-Chair of the Mobiquitous 2004 - The First Annual IEEE/ACM International Conference on Mobile and Ubiquitous Systems: Networking and Services, Boston, Massachusetts, USA, August 22-25, 2004
- Conference Chair of the International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT03), Stanford, California (USA), June 18-21, 2003
- Program Co-Chair workshop on Agent Oriented Software Engineering (AOSE 2002) Palazzo Re Enzo, Bologna, Italy, July 15, 2002
- General Chair of the Conference on Knowledge Representation and Reasoning (KR&R 2002), Toulouse, France, April 2002.
- Conference Chair of CoopIS’01, IFCIS International Conference on Cooperative Information Systems, Trento, Italy, September 2001.
- Program co-chair of the Conference on Knowledge Representation and Reasoning (KR&R 2000), Breckenridge, Colorado, USA, April 2000.
- Program Co-chair of the International Workshop on The Logic and Strategy of Distributed Agents, Trento (Italy), December 14-19, 2000.
- Conference chair of The 1999 Federated LOgic Conference (FLoC). Federated conferences: CAV, CADE, LICS, RTA. Trento, Italy, 1999.
- Conference and Program Chair of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA), 1998
- Program Co-chair of the Symposium on Abstraction, Reformulation and Approximation (SARA), 1998

Committee Member (selected list)
- Program Committee Member of The 6th International Semantic Web Conference (ISWC 2007), November 11 (Sunday) - 15 (Thursday), 2007, Busan, Korea.
- Program Committee Member of 4th European Semantic Web Conference (ESWC 2007), 3-7th, June 2007, Innsbruck, Austria.
- Program Committee Member of AAAI 2007, "AI and the WEB (AIW) track", 2007.
- Program Committee Member of International Conference on the Semantic Web and Digital Libraries (ICSD-07), Bangalore, India, February 2007.
- Program Committee Member of Workshop on Semantics for Web Services (SemWS'06), in conjunction with Forth European Conference on Web Services (ECOWS 2006), Zurich, Switzerland, December 2006.
- Program Committee Member of the international workshop on Ontology Matching (OM-2006), 5th International Semantic Web Conference (ISWC'06), November 2006, Georgia, USA.
- Program Committee Member of Workshop on Ontology Content and Evaluation in Enterprise (OnToContent), in conjunction with OTM'06, Oct 29 - Nov 3, 2006 , Montpellier, France
- Program Committee Member of CoopIS 2006, the 14th International Conference on Cooperative Information System, Montpellier, France, October 29 - November 3 2006
- Program Committee Member of the Worskshop on Modeling and Retrieval of Context (MRC2006)
- Program Committee Member of the Workshop on Contexts and Ontologies: "Theory, Practice and Applications" 2006
- Program Committee Member of the 4th German Conference on Multiagent Systems Technologies (MATES 2006)
- Senior PC member of the 10th International Workshop on Cooperative Information Agents (CIA 2006)
- Program Committee Member of the 7th International Conference on Electronic Commerce and Web Technologies EC-WEB 2006, Krakow, Poland, September 2006
- Program Committee Member of IIWEB 2006, workshop on Information Integration on the Web, in conjunction with WWW2006, Edinburgh, 2006
- Program Committee Member for the 3rd Annual European Semantic Web Conference (ESWC2006) 11-14 June 2006, Budva, Montenegro
- Senior PC member, AAAI'06, Boston, MA, 2006
- First International Workshop on Mediation in Semantic Web Services, Amsterdam, December 2005 (MEDIATE 2005)
- PC member of the 3rd International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P 2005), Norway 2005
- PC member of the EEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI/IAT 2005), France
- Program Committee Member of the 4thInternational Semantic Web Conference (ISWC2005), 2004
- PC member of the International Conference on Ontologies, Databases and Applications of SEmantics (ODBASE'05), Cyprus, Nov 2005
- Program Committee of the 3rd German Conference on Multiagent Systems Technologies (MATES 2005), Koblenz, Germany 2005
- Program Committee member of the European Semantic Web Conference (ESWC 2005), 2005
- Program Committee member of the Fifth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'05), Paris, 2005
- Program Committee member of contextual Reasoning workshop at Context 2005, Paris, 2005
- Program Committee member of WWW 2005, Semantic Web track
- Distinguished Expert in the Program Committee Member of the 2nd International Workshop on Databases, Information Systems and Peer-to-Peer Computing at VLDB 2004 30 August - 3 September 2004, Toronto, Canada
- Program Committee Member of the Workshop on Semantic Intelligent Middleware for Interoperable Systems (SIMIS) at ECAI 2004 August 22-27, 2004, Valencia, Spain
- Program Committee Member of the The First International Workshop on Peer-to-Peer Knowledge Management (P2PKM) August 22, 2004, Boston, Massachusetts, USA
- Program Committee Member of the Workshop on Peer-to-Peer Information Retrieval (SIGIR 2004) July 29, 2004, Sheffield, Germany
- Program Committee Member of the Third International Semantic Web Conference (ISWC2004), Hiroshima, 2004
- Program Committee Member of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004
- Distinguished expert in the Program Committee of the 8th International Workshop on Cooperative Information Agents (CIA 2004), 2004
- Senior Program Committee member International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), New York, 2004
- Program Committee Member of the International Workshop on Databases, Information Systems and Peer-to-Peer Computing, Berlin, Germany, September 8, 2003. Collocated with VLDB 2003
- Organizing Committee and Program Committee of the Ontologies and Distributed systems Workshop (IJCAI'03), 2003
- Program Committee Member of the 7th International Workshop on Cooperative Information Agents (CIA), 2003
- Program Committee member of the AAAI 2002 Workshop on Meaning Negotiation, Edmonton, Alberta, Canada, 2002.
- Program Committee member of JELIA'02 (Journées Européennes sur la Logique en Intelligence Artificielle), European Conference on Logics in Artificial Intelligence, University of Calabria (Rende - Cosenza), Italy, September 18-20, 2002.
- Organizing Committee member of FLoC’02, The 2002 Federated Logic Conference, Copenhagen, Denmark, 2002.
- Program Committee member of CADE-18, Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002
- Program Committee member of the The First International Joint Conference on Autonomous Agents & Multi-Agent Systems - AAMAS 2002. Bologna, Italy, July 2002.
- Program Committee member of the Symposium on Abstraction, Reformulation and Approximation (SARA-2002), August 2002.
- Program Committee member of the 2nd Int. Symposium on Foundations of Information and Knowledge Systems (FoIKS 2002), Bad Salzau, Germany, February 19-23, 2002.
- Program Committee member of the Joint German/Austrian Conference on Artificial Intelligence (KI 2001), Vienna, September 19-21, 2001.
- Program Committee member of the First IEEE Workshop on Safety Critical Electronic Systems, Austin, Texas, 29-31 August, 2001.
- Program Committee member of the IJCAR Workshop on Future Directions in Automated Reasoning, Siena, Italy, June 2001.
- Program Committee member of the IJCAR Workshop on Issues in the Design and Experimental Evaluation of, Systems for Modal and Temporal Logics, Siena, Italy, June 2001.
- Program Committee member of the First Workshop on Contexts in Logics, Dundee (UK), July 30, 2001.
- Program Committee member of the AmEC 2000, Agent-mediated Electronic Commerce.
- Program Committee member of the AIPS 2000 Workshop on Model-Theoretic Approaches to Planning (Workshop co-organizer Program Committee member).
- Program Committee member of the FORTE/PSTV 2000, International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, Pisa, Italy, October 2000.
- Program Committee member of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS), 2000
- Program Committee member of the AgentLink and Compulog Joint Workshop on the Future of Logic-based Agents, 1999.
- Program Committee member of the 4th IFCIS Conference on Cooperative Information Systems (CoopIS), 1999
- Program Committee member of the International Workshop on Symbolic Model Checking, 1999
- Program Committee member of the FLoC’99 Workshop on Run-Time Result Verification, 1999
- Program Committee member of the International Symposium CALCULEMUS Systems for Integrated Computation and Deduction, 1998, 1999
- Organizer and Program Committee member of the FLoC99 Workshop on Automation of Proofs by Mathematical Induction, 1999
- Program Committee member of the 4th Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems, 1999.
- Program Committee member of the International Workshop on First Order Theorem Proving (FTP), 1998
- Program Committee member of the International Conference on Artificial Intelligence and Symbolic Computation (AISC), 1998, 2000
- Chair Local Organizing Committee Conference on Knowledge Representation and Reasoning (KR&R ‘98). Trento, Italy, June 1998.
- Member of the Organizing Committee of the International Workshop on Current Trends in Applied Formal Methods, 1998
- Program Committee member of the Tenth International IFIP Conference on "The Globalization of Manufacturing in the Digital Communications Era of the 21st Century: Innovation, Agility and the Virtual Enterprise" (PROLAMAT), 1998
- Program Committee member of the International Conference on Multi-Agent Systems (ICMAS) 1998, 2000
- Program Committee member of the International Workshop on Tools and Algorithms for the Constructions and Analysis of Systems (TACAS) 1998, 1999, 2000
- Organizing Committee member of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, 1997.
- Program Committee member of the Workshop of Context - European Conference on Cognitive Science (ECCS) 1997
- Program Committee member of the Conference of American Association for Artificial Intelligence (AAAI) 1996
- Program Committee member of the International Workshop on Agent Theories, Architectures, and Languages (ATAL) 1995, 1996, 1997, 1998, 1999
- Program Committee member of the Conference of the Italian Association for Artificial Intelligence (AI*IA) 1995, 1999
- Program Committee member of the International Joint Conference on Artificial Intelligence (IJCAI) 1995
- Program Committee member of the Conference on Knowledge Representation and Reasoning (KR&R) 1995
- Program Committee member of the Conference on Automated Deduction, (CADE) 1994, 1996, 1997, 1998
- Program Committee member of the European Conference on Artificial Intelligence (ECAI) 1994, 1998
- Program Committee member of the Symposium on Abstraction, Reformulation and Approximation (SARA) 1992, 1994,1995 (the 1992, 1994, editions had slightly different names)