You are here

2002

  1. G. Criscuolo; Fausto Giunchiglia; Luciano Serafini,
    A Foundation for Metareasoning Part I: The Proof Theory,
    in «JOURNAL OF LOGIC AND COMPUTATION»,
    vol. 12,
    n. 1,
    2002
    , pp. 167 -
    208
  2. Luciano Serafini; Fausto Giunchiglia,
    vol. 11,
    n. 4,
    2002
    , pp. 471 -
    518
  3. G. Criscuolo; Fausto Giunchiglia; Luciano Serafini,
    A Foundation for Metareasoning. Part II: The model theory,
    in «JOURNAL OF LOGIC AND COMPUTATION»,
    vol. 12,
    n. 3,
    2002
    , pp. 345 -
    370
  4. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
    Linguistic Based Matching of Local Ontologies,
    Workshop on Meaning Negotiation 2002,
    2002
    , pp. 42-
    50
    , (Workshop on Meaning Negotiation 2002,
    held in conjunction with AAAI-2002, Edmonton, Canada,
    2002)
  5. M. Aiello; Paolo Busetta; A. Donà; Luciano Serafini,
    Ontological Overhearing,
    Intelligent Agents VIII, 8th International Workshop, ATAL 2001,
    Springer,
    vol.2333,
    2002
    , pp. 175-
    189
    , (Intelligent Agents VIII, 8th International Workshop, ATAL 2001,
    Seattle, USA,
    2001)
  6. Antonia Donà; Luciano Serafini,
    Updating Contexts,
    KR2002: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning,
    Morgan Kaufmann,
    2002
    , pp. 251-
    264
    , (KR2002: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning,
    Toulouse, France,
    2002)
  7. Mark James Carman; Floriano Zini; Luciano Serafini; K. Stockinger,
    Towards an Economy-Based optimisation of File Access and Replication on a Data Grid,
    2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002),
    IEEE Computer Society,
    2002
    , pp. 340-
    345
    , (2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002),
    Berlin, Germany,
    2002)
  8. Rolf Nossum; Luciano Serafini,
    Multicontext logic for semigroups of contexts,
    Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002,
    Springer,
    2002
    , pp. 90-
    101
    , (Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002,
    Marseille, France,
    2002)
  9. Alex Borgida; Luciano Serafini,
    International Workshop on Description Logics [DL2002],
    CEUR-WS.org,
    2002
    , (International Workshop on Description Logics [DL2002],
    Toulouse, France,
    2002)
  10. Phil Bernstein; Fausto Giunchiglia; A. Kementsietsidis; John Mylopoulos; Luciano Serafini; Ilya Zaihrayeu,
    Fifth International Workshop on the Web and Databases [WebDB 2002],
    2002
    , (Fifth International Workshop on the Web and Databases [WebDB 2002],
    Madison, USA,
    2002)

Pages