You are here

Publications

  1. 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)
  2. 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)
  3. Luciano Serafini; Chiara Ghidini,
    Context Based Semantics for Federated Databases,
    International and Interdisciplinary Conference on Modeling and Using Context [Context-97],
    1997
    , pp. 33-
    45
    , (International and Interdisciplinary Conference on Modeling and Using Context [Context-97],
    Rio de Janeiro, Brasil,
    1997)
  4. Luciano Serafini; Chiara Ghidini,
    Local Models Semantics for Information Integration,
    AAAI Fall symposium on Context in Knowledge Representation (KR) and Natural Language (NL),
    AAAI,
    1997
    , (AAAI Fall symposium on Context in Knowledge Representation (KR) and Natural Language (NL),
    Cambridge, Massachusetts,
    08/11/1997 - 10/11/1997)
  5. Alessandro Cimatti; Luciano Serafini,
    Mechanizing Multi-Agent Reasoning with Belief Contexts,
    Practical Reasoning, International Conference on Formal and Applied Practical Reasoning [FAPR`96],
    Springer,
    1996
    , pp. 694-
    696
    , (Practical Reasoning, International Conference on Formal and Applied Practical Reasoning [FAPR`96],
    1996)
  6. Massimo Benerecetti; Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
    Context-Based Formal Specification of Multi-Agent Systems,
    Working Notes of the Third International Workshop on Agent Theories, Architectures, and Languages [ATAL-96],
    1996
    , pp. 295-
    307
    , (Working Notes of the Third International Workshop on Agent Theories, Architectures, and Languages [ATAL-96],
    Budapest, Hungary,
    1996)
  7. Alessandro Cimatti; Luciano Serafini,
    Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization,
    IJCAI-95 Workshop on Modelling Context in Knowledge Representation and Reasoning,
    1995
    , pp. 35-
    45
    , (IJCAI-95 Workshop on Modelling Context in Knowledge Representation and Reasoning,
    Montreal, Canada,
    1995)
  8. Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
    Agents as Reasoners, Observers or Believers,
    Topics in Artificial Intelligence. Proceedings of the 4th Congresso AI*IA,
    Springer,
    vol.992,
    1995
    , pp. 414-
    425
    , (Topics in Artificial Intelligence. Proceedings of the 4th Congresso AI*IA,
    1995)
  9. Alessandro Cimatti; Luciano Serafini,
    Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study,
    Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages,
    Springer,
    vol.890,
    1995
    , pp. 71-
    85
    , (Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages,
    Amsterdam, The Netherlands,
    1994)
  10. Alessandro Cimatti; Luciano Serafini,
    Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance,
    First International Conference on Multiagent Systems,
    MIT Press,
    1995
    , pp. 57-
    64
    , (First International Conference on Multiagent Systems,
    San Francisco, California,
    1995)

Pages