You are here

Publications

  1. ARMANDO A.; COGLIO A.; GIUNCHIGLIA F.,
    The Control Component of Open Mechanized Reasoning Systems,
    in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
    vol. 23,
    1999
    , pp. 1 -
    18
  2. ARMANDO A.; SMAILL A.; GREEN I.,
    Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm,
    in «AUTOMATED SOFTWARE ENGINEERING»,
    vol. 6,
    1999
    , pp. 329 -
    356
  3. A. Armando; A. Coglio; Fausto Giunchiglia,
    The Control Component of Open Mechanized Reasoning Systems,
    Proceedings of CALCULEMUS 99, Systems for Integrated Computation and Deduction, in Electronic Notes in Theoretical Computer Science,
    1999
  4. Armando A.;Jabelean T. (eds.),
    Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction",
    Electronic Notes in Theoretical Computer Science - Elsevier,
    1999
  5. 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
  6. 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
  7. GIUNCHIGLIA E.; ARMANDO A.; PECCHIARI P.,
    Structured Proof Procedures,
    in «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE»,
    vol. 15,
    1995
  8. 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
  9. 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)
  10. 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

Pages