You are here

Publications

  1. Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Enrico Giunchiglia; Alessandro Armando,
    MRG: Building planners for real world complex applications,
    in «APPLIED ARTIFICIAL INTELLIGENCE»,
    1994
    , pp. 333 -
    357
  2. Fausto Giunchiglia; Alessandro Armando; Alessandro Cimatti; Paolo Traverso,
    First steps towards provably correct system synthesis of system code,
    CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems,
    1994
    , pp. 28-
    30
    , (CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems,
    Nancy, France,
    1994)
  3. 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
  4. 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
  5. 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)
  6. 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)
  7. 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)
  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)

Pages