You are here

Publications

  1. Armando A.;Jabelean T. (eds.),
    Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction",
    Electronic Notes in Theoretical Computer Science - Elsevier,
    1999
  2. Enrico Giunchiglia; Alessandro Armando; Paolo Traverso; Alessandro Cimatti,
    Visual Representation of Natural Language Scene Descriptions,
    in «IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS»,
    vol. 26,
    n. 8,
    1996
    , pp. 279 -
    293
  3. A. Armando; Alessandro Cimatti; E. Giunchiglia; P. Pecchiari; L. Spalazzi; Paolo Traverso,
    Flexible Planning by Integrating Multilevel Reasoning,
    in «ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE»,
    vol. 4,
    1995
    , pp. 401 -
    412
  4. GIUNCHIGLIA E.; ARMANDO A.; PECCHIARI P.,
    Structured Proof Procedures,
    in «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE»,
    vol. 15,
    1995
  5. 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
  6. 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)
  7. 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
  8. 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
  9. 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)
  10. 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)

Pages