fausto.giunchiglia

Menu

Research

I  have done research in many different (but very related!) areas. Some keywords which could be used to describe my work are (in decreasing order of generality): Artificial Intelligence, Formal Methods, Software Engineering (to some extent), automated reasoning, theorem proving, model checking, planning, contexts and contextual reasoning (and logics for modeling it), abstract reasoning, meta-theoretic reasoning, reasoning about propositional attitudes (belief mainly), integration of reasoning systems, agents and agent oriented software engineering, Peer-to- Peer data bases, knowledge management, contextual ontologies, "diversity in knowledge management", ...

I have also contributed to the development of various software systems. In particular, I lead and developed in part the implementation of the GETFOL system, a complete reimplementation of Richard Weyhrauch FOL system (see GETFOL Manual for a description of the system). I have started and led in the first phase the implementation of the NuSMV model checker, now gone Open Source.

Finally, I have participated to many technology transfer or consulting projects with private companies and public bodies; a small part of this work is described in my publications.

My current interests go in two directions:

  • From a scientific point of view, I am still very much interested in the notion of context. My recent focus is the study of how its can be used to manage data, content and knowledge in the large in real world applications. My reference application domain is a peer-to-peer enabled (Semantic) Web, while I guess a good title for my current research is Managing diversity in knowledge. Some relevant material can be found in my group Web Site.
  • In the last few years, I have become very interested in the issue of the impact of Technology, and Computer Science in particular, on organizations, people and society. I got involved in this not so much as a research exercise but as a consequence of some managerial positions I have taken, mainly related to my Academic role at the University of Trento. Although I have never published any scientific paper on these issues, I have written various documents (mostly in Italian) which I believe are of some interest. In case you are interested, look at my web page on Information Technology and Innovation.

Honors and Awards

  • Member of the Academia Europaea

  • Most influential paper in 7 years at the Extended Semantic Web conference, Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: S-Match: an Algorithm and an Implementation of Semantic Matching

  • Author (joint with Uladzimir Kharkevich and Ilya Zaihrayeu) of the paper "Concept Search" published in the 2009 European Conference on the Semantic Web (ESWC 2009), which got a Special Mention from the Best Paper award evaluation committee

  • Author (joint with Alessandro Cimatti, Enrico Giunchiglia, Paolo Traverso) of the paper "Planning via Model Checking: A Decision Procedure for AR" published in the European Conference on Planning (ECP) in 1997, selected as the "International Conference on Automated Planning and Scheduling" (ICAPS) Influential paper 10 years later, in 2008, Sidney, September 2008

  • Honorary Professor at Jilin University, ChangChun, China, April 21 2008

  • Winner of the IBM Shared University Research Grant, 2006

  • Fellow of the European Coordinating Committee for Artificial Intelligence, (ECCAI). Nominated in 2002

  • Winner of the first edition of the Artificial Intelligence prize sposored by the Italian Association for Artificial Intelligence (AI*IA), as best Italia research scientist born after 1957 (1992)

  • Co-author of the article Abstraction in awarded as the best paper at the AISB (Association for Artificial Intelligence and Simulation of Behaviour) Postgraduate workshop (1990)

  • Winner of a CNR prize for outstanding research done in the period covered by the first CNR (National Research Council) scholarship (1986)

  • Winner of a CNR (National Research Council) scholarship (one year) (1986)

  • Winner of a CNR (National Research Council) scholarship (six months) (1985)

  • Winner of the Fullbright Scholarship. (1985) (Not accepted)

  • Co-author of the article "From Descriptions to Images: What reasoning in between?", awarded as the best paper on Cognitive Modeling at the European Conference on Artificial Intelligence (ECAI) (1984)

Talks

Publications

Here is the full list of publications 

Professional activities

Journal and Book Series Boards

• Advisory board member of the Transactions on Intelligent Systems and Technology (ACM TIST) , 2009-present

• Editorial Board member of the Book Series on Studies on the Semantic Web, 2009-present

• Editorial Board member of the Journal of Automated Sperimentation , 2009-2013

• Editorial Board member of the Journal of Data Semantics (JODS), 2008-present

• 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.

• 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-2010.

• Editorial Board Member of AICOM - AI Communications, IOS Press, 2000-2004.

• 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-2006.

• 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
• Program Chair of ODBASE 2008, Monterrey, Mexico, 2008

• 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 Rapresentation and Reasoning (KR&R 2000), Breckenridge, Colorado, USA, April 2000

• Co-Chair of the International Workshop on The Logic and Strategy of Distributed Agents Trento (Italy), December 14-19, 2000

• Conference Chair The 1999 Federated LOgic Conference (FLoC). Federated conferences: CAV, CADE, LICS, RTA. Participants: 720. Place: Trento, Italy, 1999

• Conference and Program Chair of the "International Conference on Artificial Intelligence: Methodology, Systems, Applications" (AIMSA), 1998
Cometee Member
• 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"

• 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 in 2002 (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 FLOC99 Workshop on Run-Time Result Verification, 1999

• Program Committee Member of the International Symposium CALCULEMUS Systems for Integrated Computation and Deduction, 1998, 1999

• AgentLink and Compulog Joint Workshop on the Future of Logic-based Agents, 1999

• 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

• Conference chair of FLOC (Federated LOgic Conference - Federated Conferences: CAV, CADE, LICS, RTA), Trento, 1999

• Organizing Committee member of the Int. Workshop on Current Trends in Applied Formal Methods, 1998

• 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 Sybmolic 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 MultiAgent Systems" (ICMAS) 1998, 2000

• Program Co-chair of the Symposium on Abstraction, Reformulation and Approximation (SARA), 1998

• 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 1997 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 Rapresentation 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 Intelligenc (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)

Scientific Organizations

• Member of the Informatics Europe steering Committee in charge of the evaluation of Departments and Research Institutes in Europe, 2010 - presente

• Membro della Giunta del Gruppo di Ingegneria Informatica (GII), associazione dei docenti di Ingegneria Informatica delle Università Italiane, 2010 - presente

• President of the Board of Trustees of IJCAI, 2005-2007

• Steering Committee Member and Vice-President (Europe) of the Asian Semantic Web Conference Series (ASWC), 2005 - 2009

• Member of the European Coordinating Committee on Artificial Intelligence (ECCAI) Fellows Selection Committee, 2004-2006

• Fellow of the European Coordinating Committee on Artificial Intelligence (ECCAI), 2002-present

• IJCAI Board of Trustees member, 2001-2011.

• President of KR, Inc., 2002-2004.

• Board of Trustees member of the CALCULEMUS Interest Group, 1999-2001.

• Steering Committee member of the Symposium on Abstraction, Reformulation and Approximation (SARA), 1999-present.

• Organizing Committee member of the IEEE Conf. on Logic in Computer Science (LICS), 1997-2003.

• Advisory Board member of KR, Inc., 1997-2005.

• Steering Committee member of the Int. and Interdisciplinary onf. on Modeling and Using Context (CONTEXT), 1999-2011.

Science and Technology Transfer, Innovation

• Esperto Nazionale del MIUR nel Comitato Tecnologie per la Società dell'Informazione (ICT) del 7 PQ, 2012 - 2013

• Coordinatore Scientifico della Piattaforma nazionale per il Future Internet, coordinata da Confindustria Servizi Innovativi e Tecnologici, 2011 - Presente

• Chair of the evaluation panel of the 1st call of the ERA-Net CHIST-ERA, call on "Beyond Autonomic Systems - the Challenge of Consciousness (BASCC)

• Membro della Commissione nazionale di Valutazione per le domande di contributi di finanziamento degli enti privati di ricerca, 2011 - 2013

• Coordinatore del gruppo di lavoro per il coordinamento delle politiche pubbliche in materia di innovazione abilitata dall'ICT per la Provincia Autonoma di Trento, 2009 - Presente

• Componente della Commissione Scientifico Settoriale (CSS-PNR) a supporto della Direzione Generale del il Ministero dell'Istruzione, dell'Università e della Ricerca (MIUR), pe il coordinamento e lo sviluppo della Ricerca per l'attuazione del Programma Nazionale della Ricerca, Settore ICT, 2010 - Presente

• Coordinatore del tavolo tematico per l'ICT presso il Ministero dell'Istruzione, dell'Università e della Ricerca (MIUR), per la preparazione del Piano Nazionale della Ricerca (PNR), 2009 - 2010

• Membro del Comitato Scientifico e del Comitato Strategico per il coordinamento dei centri di ricerca nazionali e internazionali, degli Atenei e dei Parchi Scientifici e tecnologici della regione Friuli Venezia Giulia, 2009 - 2011

• Membro come esperto del Comitato per lo Sviluppo Provinciale della Provincia Autonoma di Trento (PAT) per la definizione, all'interno del Piano di Sviluppo Provinciale (PSP) di proposte e progetti operativi finalizzati ad accrescere la prodittività del Trentino tramire l'adozione di tecnologie digitali e la banda larga, da Luglio 2009 per la XIV Legislatura

• Chair of the "International Advisory Board of the Scottish Informatics and Computer Science Alliance (SICSA)", 2009 - present

• Member of the Panel "Computer Science and Informatics" of the European Research Council (ERC), "ERC Advanced Grants", 2008 - 2013

• Member of the "Beyond the Horizon working group (BTH)", in charge of the definition of a strategy of the Future and Emerging Technologies (FET) IST program, 2005-2006

• Member first of the "Interlink Working Group", in charge of the definition of a strategy of the Future and Emerging Technologies IST program , 3rd and 4th year, 2007-2008

• Member of the Scientific Committee of the Interdisciplinary Laboratory on Interacting Knowledge systems an "European Joint Laboratory", an initiative of the French Centre National de la Recherche Scientifique (CNRS), with Partners IRIT, ISTC and University of Trento, 2005 - present

• Scientific Board of the Eurotech Group, 2004 - 2009

• Componente del Comitato per la formulazione dei progetti e dei piani di intervento della Provincia Autonoma di Trento e referente per la Commissione e-society, 2003

• Membro del Consiglio di Amministrazione dell' Agenzia per lo Sviluppo S.p.A., novembre 2003 - 2004

• Membro del Consiglio di Amministrazione del Centro Tecnofin Servizi S.p.A. , aprile 2001 - dicembre 2003

• Membro, su delega del Rettore dell'Università di Trento, del Comitato di Indirizzo dell' Agenzia per lo Sviluppo S.p.A., marzo 2001 - 2002

• Membro del Consiglio di Amministrazione del Consorzio Innovazione d'Impresa S.Cons.a r.L.; aprile - luglio 2001

Management Position in Research Centers

• President of TrentoRise, 2010 - present

• President of GraphiTech, a member of the IniGraphicsNet foundation, 2002 - 2005

• Head of the Automated Reasoning Systems division, ITC-IRST (now IRST, a center of FBK), Trento, Italy, 1998 - 1999

University Management Positions

• Membro della commissione per le Modifiche di Statuto del consiglio di Amministrazione dell'Università degli Studi di di Trento, 2003

• Membro della Commissione di studio per la definizione di un progetto per lo sviluppo delle Biotecnologie presso l'Università di Trento, 2002

• Direttore del Dipartimento di Informatica e Telecomunicazioni dell'Università degli Studi di Trento; 2002 - 2007

• Vicerettore dell'Università degli Studi di Trento con delega all'esercizio delle funzioni strategiche in ordine a: "Progetto di Informatica di Ateneo" e "Reingegnerizzazione e definizione delle linee di sviluppo organizzativo della struttura amministrativa", 2001 - 2004

• Presidente della delegazione di parte pubblica per la contrattazione decentrata dell'Università di Trento (dall'1 ottobre), 2000 - 2003

• Delegato del Rettore per l'Innovazione Organizzativa dell'Università di Trento; 1999 - 2000

• Responsabile progetto di riorganizzazione e informatizzazione del sistema di contabilità e del controllo di gestione dell'Universita' di Trento; 1998 - 2000

• Responsabile progetto di riorganizzazione e informatizzazione del servizio di produzione statistiche dell'Università di Trento, 1998 - 2000

• Responsabile progetto di riorganizzazione e informatizzazione della didattica e dei servizi agli studenti (segreteria studenti) dell'Università di Trento, 1997 - 2000

• Presidente del Polo di Trento (Università di Trento, INFN, INFM, ITC, CNR) della rete GARR, 1997 - 1999

• Delegato dal Rettore come Presidente della Commissione di Ateneo per i Servizi Informatici Telematici e Multimediali (SITM), 1996 - 2002

• Responsabile del laboratorio di Informatica DISALAB del Dipartimento di Informatica e Studi Aziendali (DISA), 1995 - 1998