You are here

Publications

  1. 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)
  2. 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)
  3. 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)
  4. 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)
  5. Fausto Giunchiglia; Paolo Traverso; Luciano Serafini,
    La deduzione automatica,
    in «SISTEMI INTELLIGENTI»,
    vol. 1,
    1991
  6. 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