You are here

Publications

  1. 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
  2. A. ARMANDO; E. GIUNCHIGLIA,
    Embedding complex decision procedures inside an interactive theorem prover,
    in «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE»,
    vol. 8,
    1993
    , pp. 475 -
    502
  3. Paolo Traverso; Alessandro Armando; Enrico Giunchiglia,
    A knowledge based system for automatic 3D scene generation,
    Artificial Intelligence V, Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA `92),
    North-Holland,
    1992
    , pp. 255-
    264
    , (Artificial Intelligence V, Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA `92),
    Sofia, Bulgaria,
    1992)
  4. Alessandro Armando; Enrico Giunchiglia; Paolo Traverso,
    From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem,
    AI and Cognitive Science `92,
    Springer Verlag,
    1992
    , pp. 295-
    298
    , (AI and Cognitive Science `92,
    Limerick, Ireland,
    1992)
  5. Alessandro Cimatti; Paolo Traverso; Sandro Dalbosco; Alessandro Armando,
    Navigation by Combining Reactivity and Planning,
    Intelligent Vechicles `92 Symposium,
    IEEE Industrial Electronics,
    1992
    , pp. 265-
    270
    , (Intelligent Vechicles `92 Symposium,
    Detroit, USA,
    1992)
  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)

Pages