You are here

Publications

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