You are here

Publications

  1. 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)
  2. 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
  3. 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
  4. 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
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. Fausto Giunchiglia; Paolo Traverso; Luciano Serafini,
    La deduzione automatica,
    in «SISTEMI INTELLIGENTI»,
    vol. 1,
    1991
  10. Fausto Giunchiglia; Luciano Serafini,
    Multilanguage First Order Theories of Propositional Attitudes,
    Third Scandinavian Conference on Artificial Intelligence 1991,
    IOS Press,
    vol.12,
    1991
    , pp. 228-
    240
    , (Third Scandinavian Conference on Artificial Intelligence 1991,
    Roskilde, Denmark,
    1991)

Pages