You are here

Publications

  1. 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)
  2. 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)
  3. Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
    Agents as Reasoners, Observers, or Arbitrary Believers,
    First International Conference on Multiagent Systems,
    MIT Press,
    1995
    , pp. 448-
    , (First International Conference on Multiagent Systems,
    San Francisco, California,
    1995)
  4. Fausto Giunchiglia; Luciano Serafini,
    Multilanguage Hierarchical Logics or: How we can do Without Modal Logics,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 65,
    n. 1,
    1994
    , pp. 29 -
    70
  5. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
    MRG: sistema di ragionamento,
    in «AUTOMAZIONE E STRUMENTAZIONE»,
    vol. 9,
    1993
    , pp. 97 -
    103
  6. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
    MRG: un nucleo di ragionamento per un sistema integrato multifunzionale,
    in «SISTEMI INTELLIGENTI»,
    vol. 3,
    1993
    , pp. 435 -
    460
  7. Fausto Giunchiglia; Luciano Serafini; Enrico Giunchiglia; Marcello Frixione,
    Non-Omniscient Belief as Context-Based Resoning,
    13th International Joint Conference on Artificial Intelligence,
    Morgan Kaufmann,
    1993
    , pp. 548-
    554
    , (13th International Joint Conference on Artificial Intelligence,
    Chambéry, France,
    1993)
  8. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
    Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento,
    Automation 1992, 36th ANIPLA Conference,
    Pirella,
    1992
    , pp. 620-
    633
    , (Automation 1992, 36th ANIPLA Conference,
    Genova,
    1992)
  9. Fausto Giunchiglia; Luciano Serafini,
    Multilanguage hierarchical logics (or: how we can do without modal logics),
    CNKBS`92, Proceedings of the First Compulog Net Meeting on Knowledge Bases,
    1992
    , pp. 44-
    45
    , (CNKBS`92, Proceedings of the First Compulog Net Meeting on Knowledge Bases,
    Munich, Germany,
    1992)
  10. Fausto Giunchiglia; Luciano Serafini; Alex K. Simpson,
    Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics,
    Meta-Programming in Logic, 3rd International Workshop, META-92,
    Springer,
    vol.649,
    1992
    , pp. 235-
    249
    , (Meta-Programming in Logic, 3rd International Workshop, META-92,
    Uppsala, Sweden,
    1992)

Pages