You are here

Publications

  1. Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Mark Jago; Brian Logan; Luciano Serafini,
    Verifying space and time requirements for resource-bounded agents,
    Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-06),
    Springer,
    vol.4428,
    2007
    , pp. 19-
    34
    , (Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-06),
    28/08/2006)
  2. Peter Scheir; Chiara Ghidini; Stefanie Lindstaedt,
    Improving Search on the Semantic Desktop using Associative Retrieval Techniques,
    International Conference on Semantic Systems (I-Semantics 07),
    Know-Center,
    2007
    , pp. 221-
    228
    , (International Conference on Semantic Systems (I-Semantics 07),
    09/2007)
  3. Chiara Ghidini; Viktoria Pammer; Peter Scheir; Luciano Serafini; Stefanie Lindstaedt,
    International Conference on Semantic Systems (I-Semantics 07),
    Know-Center,
    2007
    , pp. 262-
    269
    , (International Conference on Semantic Systems (I-Semantics 07),
    09/2007)
  4. Mauro Dragoni; Andrea G.B. Tettamanzi,
    Evolutionary Algorithms for Reasoning in Fuzzy Description Logics with Fuzzy Quantifiers,
    2007
    , (Genetic and Evolutionary Computation Conference, GECCO 2007,
    London, United Kingdom,
    07/07/2007 - 07/11/2007)
  5. M. Fisher; C. Ghidini; A. Kakoudakis,
    Agent Technology from a Formal Perspective,
    Springer,
    2006
    , pp. 139 -
    158
  6. N. Alechina; P. Bertoli; C. Ghidini; M. Jago; B. Logan; L. Serafini,
    Verifying space and time requirements for resource-bounded agents,
    5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006),
    ACM,
    2006
    , pp. 217-
    219
    , (5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006),
    Hakodate, Japan,
    2006)
  7. A. Albore; N. Alechina; P. Bertoli; C. Ghidini; B. Logan; L. Serafini,
    Model-checking memory requirements of resource-bounded reasoners,
    Twenty-First National Conference on Artificial Intelligence (AAAI-06),
    AAAI Press,
    2006
    , pp. 213-
    218
    , (Twenty-First National Conference on Artificial Intelligence (AAAI-06),
    Boston, Massachusetts,
    16/07/2006 - 20/07/2006)
  8. C. Ghidini; L. Serafini,
    Reconciling Concepts and Relations in Heterogeneous Ontologies,
    The Semantic Web: Research and Applications. 3rd European Semantic Web Conference (ESWC 2006), Proceedings,
    Springer,
    vol.4011,
    2006
    , pp. 50-
    64
    , (The Semantic Web: Research and Applications. 3rd European Semantic Web Conference (ESWC 2006), Proceedings,
    Budva, Montenegro,
    2006)
  9. C. Ghidini; P. Giorgini; W. van der Hoek (eds.),
    2006
  10. B. J. Hirsch; M. Fisher; C. Ghidini; P. Busetta,
    Organising Software in Active Environments,
    5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V),
    Springer,
    vol.3487,
    2005
    , pp. 265-
    280
    , (5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V),
    Lisbon, Purtugal,
    29/09/2004 - 30/09/2004)

Pages