PUBLICATIONS

  1. Mauro Dragoni; Andrea G.B. Tettamanzi,
    Evolutionary Algorithms for Reasoning in Fuzzy Description Logics with Fuzzy Quantifiers,
    2007
  2. 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
  3. 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
  4. C. Ghidini; P. Giorgini; W. van der Hoek,
    Autonomous Agents and Multi-Agent Systems, EUMAS´04 Special Issue,
    in «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS»,
    vol. 12,
    n. 2,
    2006
  5. 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
  6. M. Fisher; C. Ghidini; A. Kakoudakis,
    Dynamic Team Formation in Executable Agent-Based Systems,
    Agent Technology from a Formal Perspective,
    Springer,
    2006
    , pp. 139-
    158
  7. 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
  8. C. Ghidini; L. Serafini,
    Distributed First Order Logic – revised semantics,
    2005
  9. C. Ghidini; F. Giunchiglia,
    A semantics for abstraction,
    16th European conference on Artificial Intelligence (ECAI-04),
    IOS Press,
    2004
    , pp. 343-
    347
  10. T Finin; C. Ghidini; Porta Tom La; C. Petrioli,
    First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous`04),
    IEEE Computer Society,
    2004
  11. M. Fisher; C. Ghidini; B. J. Hirsch,
    Organising Computation Through Dynamic Grouping,
    Objects, Agents and Features. Structuring mechanis,
    Springer,
    vol. 2975,
    2004
    , pp. 117-
    136
  12. B. J. Hirsch; M. Fisher; C. Ghidini; P. Busetta,
    Organising Software in Active Environments,
    2004
  13. M. Fisher; C. Ghidini; B. J. Hirsch,
    Programming Groups of Rational Agents,
    Computational Logic in Multi-Agent Systems 4th International Workshop (CLIMA IV),
    Springer,
    vol. 3259,
    2004
    , pp. 16-
    33
  14. Paolo Bouquet; Chiara Ghidini; Fausto Giunchiglia; Enrico Blanzieri,
    Theories and uses of context in knowledge representation and reasoning,
    in «JOURNAL OF PRAGMATICS»,
    Elsevier,
    vol. 35,
    n. 3,
    2003
    , pp. 455-
    484
  15. P. Blackburn; Chiara Ghidini; Roy Turner; and Fausto Giunchiglia,
    Modeling and Using Context – 4th International and Interdisciplinary Conference CONTEXT 2003,
    Springer,
    vol. 2680,
    2003
  16. Benjamin Johannes Hirsch; Michael Fisher; Chiara Ghidini,
    Programming Group Computations,
    2003
  17. Chiara Ghidini; Fausto Giunchiglia,
    A semantics for abstraction,
    2003
  18. Michael Fisher; Chiara Ghidini; Benjamin Johannes Hirsch,
    Organising Logic-Based Agents,
    Formal Approaches to Agent-Based Systems. Revised,
    Springer,
    vol. 2699,
    2002
    , pp. 15-
    27
  19. Michael, Fisher; Ghidini, Chiara,
    The ABC of Rational Agent Modelling,
    Proceedings of the first international joint conference on Autonomous agents and multiagent systems,
    2002
    , pp. 849-
    856
  20. Massimo Benerecetti; Paolo Bouquet; Chiara Ghidini,
    Dimensioni di dipendenza contestuale e teoria del ragionamento,
    La svolta contestuale,
    McGraw-Hill,
    2002
    , pp. 195-
    220