You are here

Publications

  1. Alessandro Cimatti; Luciano Serafini,
    A Context-Based Mechanization of Multi-Agent Reasoning,
    Formal Aspects of Context,
    Drodecht,
    Kluwer,
    2000
    , pp. 65 -
    83
  2. Luciano Serafini; Chiara Ghidini,
    Context Based Semantics for Information Integration,
    Formal Aspects of Context,
    Drodecht,
    Kluwer,
    2000
    , pp. 175 -
    192
  3. Chiara Ghidini; Luciano Serafini,
    Distributed First Order Logics,
    Frontiers of Combining Systems, Second International Symposium (FroCos 1998),
    n. 7,
    2000
    , pp. 121-
    139
    , (Frontiers of Combining Systems, Second International Symposium (FroCos 1998),
    1998)
  4. A.F. Dragoni; Paolo Giorgini; Luciano Serafini,
    Updating Mental States from Informative Communication,
    AGENTS 2000, Proceedings of the fourth international conference on Autonomous agents,
    ACM,
    2000
    , pp. 231-
    232
    , (AGENTS 2000, Proceedings of the fourth international conference on Autonomous agents,
    Barcelona, Spain,
    2000)
  5. Luciano Serafini; Chiara Ghidini,
    Using wrapper agents to answer queries in distributed information systems,
    First International Conference on Advances in Information Systems (ADVIS`2000),
    Springer,
    vol.1909,
    2000
    , pp. 331-
    340
    , (First International Conference on Advances in Information Systems (ADVIS`2000),
    Izmir, Turkey,
    25/10/2000 - 27/10/2000)
  6. Luciano Serafini; Chiara Ghidini,
    Using Wrapper Agents to Answer Queries in Distributed Information Systems,
    4th International Conference on Multi-Agent Systems (ICMAS 2000),,
    IEEE Computer Society,
    2000
    , pp. 429-
    430
    , (4th International Conference on Multi-Agent Systems (ICMAS 2000),,
    Boston, USA,
    2000)
  7. Chiara Ghidini; Luciano Serafini,
    A Context-based Logic for Distribution Knowledge Representation and Reasoning,
    Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT`99),
    Springer,
    vol.1688,
    1999
    , pp. 159-
    172
    , (Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT`99),
    Trento, Italy,
    09/1999)
  8. Chiara Ghidini; Luciano Serafini,
    Model Theoretic Semantics for Information Integration,
    8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA`98),
    Springer,
    vol.1480,
    1998
    , pp. 267-
    280
    , (8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA`98),
    Sozopol, Bulgaria,
    21/09/1998 - 23/09/1998)
  9. Massimo Benerecetti; Fausto Giunchiglia; Luciano Serafini,
    1998 European Workshop on Validation and Verification of Knowledge-Based Systems [KR`98],
    1998
    , (1998 European Workshop on Validation and Verification of Knowledge-Based Systems [KR`98],
    Trento, Italy,
    06/06/1998 - 08/06/1998)
  10. Ghidini, Chiara; Serafini, Luciano,
    Proceedings of the First International Workshop on Agent Mediated Electronic Trading,
    Springer Verlag,
    vol.1571,
    1998
    , pp. 189-
    206
    , (First International Workshop on Agent Mediated Electronic Trading (AMET-98),
    Minneapolis, USA,
    1998-May, 10)

Pages