Chiara Ghidini

2009

• Paolo Bouquet, Chiara Ghidini and Luciano Serafini. Querying The Web Of Data: A Formal Approach. To appear in 4th Asian Semantic Web Conference (ASWC 2009). 6-9 December, 2009, Shanghai, China.
• Chiara di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciani Serafini, and Paolo Tonella. Semantically-aided business process modeling. To appear at the 8th International Semantic Web Conference (ISWC 2009). 25-29 October 2009, Westfields Conference Center, Washington, DC. USA
• Chiara di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciani Serafini, and Paolo Tonella. Collaborative Specification of Semantically Annotated Business Processes. 3rd International Workshop on Collaborative Business Processes (CBP 2009). 7-10 September 2009, Ulm, Germany.
• Michael Fisher and Chiara Ghidini. Executable Specifications of Resource-Bounded Agents, To appear in the Journal of Autonomous Agents and Multi-Agent Systems.
• Peter Scheir, Chiara Ghidini, Roman Kern, Michael Granitzer, and Stefanie N. Lindstaedt. ARS/SD: An Associative Retrieval Service for the Semantic Desktop, In T. Pellegrini, S. Auer, K. Tochtermann, and S. Schaffert, editors, Networked Knowledge - Networked Media: Integrating Knowledge Management, New Media Technologies and Semantic Systems, volume 221/2009 of Studies in Computational Intelligence, chapter 3, pages 95–111. Springer, 2009.
• Michael Fisher and Chiara Ghidini. Exploring the future with resource-bounded agents. Journal of Logic, Language and Information, 18(1):3–21, January 2009.
• Chiara Ghidini, Barbara Kump, Stefanie Lindstaedt, Nahid Mahbub, Viktoria Pammer, Marco Rospocher, and Luciano Serafini. MoKi: The Enterprise Modelling Wiki. In The Semantic Web: Research and Applications. Proceedings of ESWC 2009, volume Volume 5554/2009 of Lecture Notes in Computer Science, pages 831–835. Springer, 2009. Demo Session.
• Marco Rospocher, Chiara Ghidini, Viktoria Pammer, Luciano Serafini, and Stefanie Lindstaedt. MoKi: the Modelling Wiki. Proceedings of the Fourth Workshop on Semantic Wikis (SemWiki2009), 2009. 
  
• Viktoria Pammer, Barbara Kump, Stefanie Lindstaedt, Chiara Ghidini, Marco Rospocher, Luciano Serafini. Revision support for modeling tasks, topics and skills. Proceedings of the 5th International Conference on Semantic Systems (I-Semantics 09).
  

2008

• M. Benerecetti, P. Bouquet, and C. Ghidini. The dimensions of context dependence. In P. Bouquet, L. Serafini, and R. H. Thomason, editors, Perspectives on Context, chapter 1, pages 1–18. CSLI Publications, 2008.
  
• C. Ghidini and F. Giunchiglia. What is local models semantics? In P. Bouquet, L. Serafini, and R. H. Thomason, editors, Perspectives on Context, chapter 2, pages 19–42. CSLI Publications, 2008.
• Peter Scheir, Stefanie Lindstaedt, and Chiara Ghidini. A network model approach to retrieval in the Semantic Web. International Journal on Semantic Web and Information Systems (IJSWIS). 4(4):56-84,2008
  
• Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciano Serafini, and Paolo Tonella. Reasoning on semantically annotated processes. In Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC'08) Sydney, Australia, December 1-5, 2008. Volume 5364/2008 of LNCS. Pages 132-146. Springer Berlin / Heidelberg.
  
• Conny Christl, Chiara Ghidini, Joanna Guss, Viktoria Pammer, Marco Rospocher, Stefanie Lindstaedt, Peter Scheir and Luciano Serafini. Deploying semantic web technologies for work integrated learning in industry. A comparison: SME vs. large sized company. In Proceedings of the 7th International Semantic Web Conference (ISWC 2008), Semantic Web In Use Track. Karlsruhe, Germany. 28-30 October 2008. Volume 318/-1/2008 of LNCS. Pages 709-722. Springer Berlin/Heidelberg
• Chiara Ghidini and Luciano Serafini. Mapping properties of heterogeneous ontologies. In D. Dochev, M. Pistore, and P. Traverso, editors, Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA’08). Volume 5253/2008 of LNCS. Pages 181-193. Springer Berlin/Heidelberg.
• Chiara Ghidini, Luciano Serafini, and Sergio Tessaris. Complexity of reasoning with expressive ontology mappings. In Proceedings of the 5th international conference on formal ontology in information systems (FOIS’08), pages 151–163, Saarbrucken, Germany, Oct 31st - Nov 3rd 2008. IOS press. Slides available here.
  
• Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, and Brian Logan. Bounded- resource reasoning as (strong or classical) planning. In Proceedings of the 9th International Work- shop on Computational Logic in Multi-Agent Systems (CLIMA 2008). Volume 5405/2009 of LNCS. Pages 77-96. volume. Springer Berlin/Heidelberg.

2007

• Chiara Ghidini, Luciano Serafini, and Sergio Tessaris, On relating heterogeneous elements from different ontologies. In proceedings of Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07). Roskilde University, Denmark, 20-24 August 2007. Volume 4635/2007 of LNCS. Pages 234-247. Springer. (© Springer).
• Peter Scheir, Chiara Ghidini, and Stefanie Lindstaedt, Improving Search on the Semantic Desktop using Associative Retrieval Techniques. In working notes of The Innovation Conference for Knowledge Management, New Media Technologies and Semantic Technologies (TRIPLE-I).
• Chiara Ghidini, Viktoria Pammer, Peter Scheir, Luciano Serafini, and Stefanie Lindstaedt, APOSDLE: learn@work with Semantic Web Technology. In working notes of The Innovation Conference for Knowledge Management, New Media Technologies and Semantic Technologies (TRIPLE-I).

2006

• Chiara Ghidini and Luciano Serafini, Mapping properties of heterogeneous ontologies. In working notes of the 1st International Workshop on Modular Ontologies (WoMO). Volume 232 of CEUR Workshop Proceedings. Athens, Georgia November 5, 2006.
• Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan and Luciano Serafini, Verifying space and time requirements for resource-bounded agents. In proceedings of Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-06). Riva del Garda, Italy, August 28th. Volume 4428/2007 of LNCS. Pages 19-34, Springer.
• Alex Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan and Luciano Serafini, Model-checking memory requirements of resource-bounded reasoners. In proceedings of Twenty-First National Conference on Artificial Intelligence (AAAI-06). Pages 213-218. July 16--20, 2006, Boston, Massachusetts.
• Chiara Ghidini and Luciano Serafini, Reconciling concepts and relations in heterogeneous ontologies. In proceedings of 3rd European Semantic Web Conference (ESWC 2006). Budva, Montenegro, 11th - 14th June, 2006. Volume 4011/2006 of LNCS. Pages 50-64, Springer. ISBN978-3-540-34544-2.(© Springer-Verlag)
• Chiara Ghidini, Paolo Giorgini and Wiebe van der Hoek (eds.), Autonomuos Agents and Multi-Agent Systems. EUMAS’04 Special Issue. Volume12, Number 2. March 2006. Springer. ISSN: 1387-2532 (Paper) 1573-7454 (Online).
• Michael Fisher, Chiara Ghidini and Antony Kakoudakis, Dynamic Team Formation in Executable Agent-Based Systems. In Rouff, C.; Hinchey, M.; Rash, J.; Truszkowski, W.; Gordon-Spears, D. (Eds.) Agent Technology from a Formal Perspective. Springer, 2006, Pages 139-158. Hardcover. ISBN: 1-85233-947-0 N. (© Springer-Verlag)

2005

• Michael Fisher, Benjamin Hirsch, Chiara Ghidini and Paolo Busetta, Organising Software in Active Environments. In Computational Logic in Multi-Agent Systems: 5th International Workshop, (CLIMA V). Lisbon, 29-30 September, 2004. Volume 3487/2005 of LNCS, Pages 265-280. Springer. (© Springer-Verlag)

2004

• Chiara Ghidini, Paolo Giorgini and Wiebe van der Hoek (eds.), Proceedings of the Second European Workshop on Multi-Agent Systems. Barcelona, 16-17 December, 2004.
• Monique Calisti, Chiara Ghidini, Kaoru Hiramatsu, Terry Payne, and Valentina Tamma (eds.), Proceedings of the ISWC 2004 Workshop on Semantic Web Technology for Mobile and Ubiquitous Applications. Hiroshima, Japan, November 7th, 2004.
• Tim Finin, Chiara Ghidini, Tom La Porta, Chiara Petrioli (eds.), Mobile and Ubiquitous Systems: Networking and Services (MOBIQUITOUS 2004), First Annual International Conference on. IEEE Computer Society August 22 - 26, 2004 Boston, Massachussets, USA
• Paolo Busetta, Chiara Ghidini, Paolo Bouquet, and Matteo Bonifacio, K-Trek: P2P Knowledge Management in Wireless Mobile Networks. In working notes of the First International Workshop on Peer-to-Peer Knowledge Management (P2PKM). Boston, 23 August 2004.
• Chiara Ghidini and Fausto Giunchiglia, A semantics for abstraction. In Proceedings of the 16th European conference on Artificial Intelligence (ECAI-04). Valencia, 22-27 August 2004.
• Michael Fisher, Chiara Ghidini and Benjamin Hirsch, Organising Computation Through Dynamic Grouping. In H.-D. Ehrich, J.-J. Ch. Meyer and M. D. Ryan (eds.), Objects, Agents and Features. Structuring mechanisms for contemporary software. Volume 2975/2004 of LNCS, pages 117-136, Springer, 2004. (© Springer-Verlag)
• Michael Fisher, Chiara Ghidini, and Benjamin Hirsch, Programming Groups of Rational Agents. In J. Dix and J. Leite (eds.), Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV. Fort Lauderdale, FL, USA, January 6-7, 2004, Volume 3259/2005 of LNCS, Pages 16-33, Springer. (© Springer-Verlag)

2003

• Patrick Blackburn, Chiara Ghidini, Roy Turner and Fausto Giunchiglia (eds.), Proceedings of the Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03) Volume 2680/2003 of LNCS. Springer. (© Springer-Verlag).
• Paolo Bouquet, Chiara Ghidini, Pausto Giunchiglia and Enrico Blanzieri, Theories and uses of context in knowledge representation and reasoning. Akman V., Bazzanella C. (eds.), Journal of Pragmatics. 35(3):455-484. Elsevier Science. March 2003.
• Michael Fisher, Chiara Ghidini, and Benjamin Hirsch, Organising Logic-Based Agents. The Formal Approaches to Agent-Based Systems: Proceedings of the Second Goddard Workshop "FAABS II". Volume 2699/2002 of LNAI, pages 15-27, Springer. (© Springer-Verlag)

2002

• Chiara Ghidini and Fausto Giunchiglia, Logiche multi-contestuali: ragionamento contestuale = localita` + compatibilita` . In Penco, C. (ed.), La svolta contestuale. Pages 167-194, McGraw-Hill. (in italian).
• Massimo Benerecetti, Paolo Bouquet and Chiara Ghidini, Dimensioni di dipendenza contestuale e teoria del ragionamento. In Penco, C. (ed.), La svolta contestuale. Pages 195-220, McGraw-Hill. (in italian).
• Michael Fisher and Chiara Ghidini, Agents with Bounded Temporal Resources. In Foundations and Applications of Multi-Agent Systems. UKMAS workshops 1996-2000. Selected papers. Volume 2403/2002 of LNCS, Pages 594-611, Springer. (© Springer-Verlag)
• Michael Fisher and Chiara Ghidini, The ABC of Rational Agent Modelling. In Proceedings of the first international joint conference on autonomous agents and multiagent systems (AAMAS02). Bologna, Italy. July 2002. Pages 849-856.

2001

• Chiara Ghidini and Fausto Giunchiglia, Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence. 127(2):221-259,2001.
• Massimo Benerecetti, Paolo Bouquet and Chiara Ghidini, On the dimensions of context depencence: partiality, approximation, and perspective. In Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'01) Volume 2116/2001 of LNAI. Pages 59-72, Springer. (© Springer-Verlag)

2000

• Massimo Benerecetti, Paolo Bouquet and Chiara Ghidini, Contextual Reasoning Distilled. In Philosophical Foundations of Artificial Intelligence. A special issue of the Journal of Experimental and Theoretical AI (JETAI). 12(3):279-305, July 2000. ISSN 0952-813X.
• Fausto Giunchiglia and Chiara Ghidini, A Local Models Semantics for Propositional Attitudes. In M. Cavalanti, P. Bonzon, and R. Nossum (eds.), Formal Aspects of Context, volume 20 of Applied Logic Series. Pages 161-174, Kluwer Academic Publishers. July 2000. Hardbound, ISBN 0-7923-6350-7.
• Luciano Serafini and Chiara Ghidini, Context Based Semantics for Information Integration. In M. Cavalanti, P. Bonzon, and R. Nossum (eds.), Formal Aspects of Context, volume 20 of Applied Logic Series. Pages 175-192, Kluwer Academic Publishers. July 2000. Hardbound, ISBN 0-7923-6350-7.
• Luciano Serafini and Chiara Ghidini, Using Wrapper Agents to Answer Queries in Distributed Information Systems. In Advances in Information Systems -- Proceedings of the First International Conference, ADVIS'2000. Volume 1909/2000 of LNCS. Pages 331-340, Springer. (© Springer-Verlag)
• Chiara Ghidini and Luciano Serafini, Distributed First Order Logics. In Dov M. Gabbay and M. de Rijke (eds.), Frontiers of Combining Systems 2 (Papers presented at FroCoS'98). Pages 121-140, Research Studies Press/Wiley. ISBN 0863802524 (hardback).

1999

• Chiara Ghidini, Modelling (Un)Bounded Beliefs. In Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'99). Volume 1688/1999 of LNCS. Pages 145-158, Springer. (© Springer-Verlag)
• Chiara Ghidini and Luciano Serafini, A context-based logic for distributed knowledge representation and reasoning. In Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'99). Volume 1688/1999 of LNCS. Pages 159-172, Springer. (© Springer-Verlag)
• Michael Fisher and Chiara Ghidini, Programming Resource-Bounded Deliberative Agents. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99). Stockholm, 31 July - 6 August, 1999. Morgan-Kauffman. Pages 200-205.

1998

• Fausto Giunchiglia and Chiara Ghidini, Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proceedings of Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98). Trento, 1-5 June, 1998. Pages 282-289, Morgan-Kauffman.
• Massimo Benerecetti, Paolo Bouquet, and Chiara Ghidini, Formalizing Belief Reports - The approach and a Case Study. In Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98). Volume 1480/1998 of LNCS. Pages 62-75, Springer. Winner of AIMSA'98 Best Paper Award. (© Springer-Verlag)
• Chiara Ghidini and Luciano Serafini, Model Theoretic Semantics for Information Integration. In Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98). Volume 1480/1998 of LNCS. Pages 267-280, Springer. (© Springer-Verlag)
• Chiara Ghidini and Luciano Serafini, Information Integration for Electronic Commerce. In Agent Mediated Electronic Commerce. First International Workshop on Agent Mediated Electronic Trading, AMET-98. Volume 1571/1999 of LNCS. Pages 189-206, Springer. (© Springer-Verlag)

1997

• Luciano Serafini and Chiara Ghidini, A Context Based Semantics for Information Integration. In Working notes of AAAI FAll 1997 symposium on context in KR and NL. Boston (USA) 7-9 November, 1997.
• Massimo Benerecetti, Paolo Bouquet, and Chiara Ghidini, Formalizing Opacity and Transparency in Belief Contexts. In Working notes of the AISB Workshop on Practical reasoning and rationality. Manchester, 7-8 april 1997.
• Massimo Benerecetti, Paolo Bouquet, and Chiara Ghidini, A Multi Context Approach to Belief Report. In Working notes of AAAI FAll 1997 symposium on context in KR and NL. Boston (USA) 7-9 November, 1997.
  Short version in Working notes of Second European Conference on Cognitive Science (ECCS--97) Manchester, 9-11 april 1997.

1994

• Chiara Ghidini and Fausto Giunchiglia, Local World Semantics. In Working notes of the workshop on Aspetti Epistemologici e Gnoseologici dell'Intelligenza Artificiale, (IV Convegno AI*IA, Parma 26-28 settembre 1994).

Thesis

• Chiara Ghidini, A semantics for contextual reasoning: theory and two relevant applications. Department of Computer Science, University of Rome ``La Sapienza'', March 1998. PhD thesis. Also IRST-Technical Report #9803-02, IRST, Trento, Italy.
• Chiara Ghidini, Semantiche a modelli locali per logiche multicontestuali. IRST Technical Report #9404-02 - February 1994 - Master thesis (in Italian).