You are here

Publications

  1. Enrico Giunchiglia; Alessandro Armando; Paolo Traverso; Alessandro Cimatti,
    Visual Representation of Natural Language Scene Descriptions,
    in «IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS»,
    vol. 26,
    n. 8,
    1996
    , pp. 279 -
    293
  2. Fausto Giunchiglia; Marco Roveri; Roberto Sebastiani,
    A New Method for Testing Decision Procedures in Modal and Terminological Logics,
    1996 International Workshop on Description Logics - DL`96,
    AAAI,
    1996
    , (1996 International Workshop on Description Logics - DL`96,
    Cambridge, USA,
    02/11/1996 - 04/11/1996)
  3. Paolo Bouquet; Alessandro Cimatti,
    Mechanizing Local Reasoning with Contexts,
    Working notes of the IJCAI-95 Workshop on ``Modelling Context in Knowledge Representation and Reasoning``,
    1996
    , pp. 13-
    23
    , (Working notes of the IJCAI-95 Workshop on ``Modelling Context in Knowledge Representation and Reasoning``,
    Montreal, Canada,
    1995)
  4. 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)
  5. 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)
  6. A. Armando; Alessandro Cimatti; E. Giunchiglia; P. Pecchiari; L. Spalazzi; Paolo Traverso,
    Flexible Planning by Integrating Multilevel Reasoning,
    in «ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE»,
    vol. 4,
    1995
    , pp. 401 -
    412
  7. Giuliano Antoniol; Bruno Caprile; Alessandro Cimatti; Roberto Fiutem,
    Experiencing Real-Life Interactions with the Mobile Platform of MAIA,
    The Biology and Technology of Intelligent Autonomous Agents: Proceedings of the NATO Advanced Study on the Biology and Technology of Intelligent Autonomous Agents,
    Springer,
    1995
    , pp. 296-
    311
    , (The Biology and Technology of Intelligent Autonomous Agents: Proceedings of the NATO Advanced Study on the Biology and Technology of Intelligent Autonomous Agents,
    1993)
  8. 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)
  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