You are here

Publications

  1. 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)
  2. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
    MRG: sistema di ragionamento,
    in «AUTOMAZIONE E STRUMENTAZIONE»,
    vol. 9,
    1993
    , pp. 97 -
    103
  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. Paolo Traverso; Luca Spalazzi; Alessandro Cimatti,
    A planning language and a semantics for real world autonomous agents,
    1993 Italian Planning Workshop,
    1993
    , (1993 Italian Planning Workshop,
    Roma, Italy,
    1993)
  5. Alessandro Cimatti; Fausto Giunchiglia; G. Mongardi; D. Romano; F. Torielli; Paolo Traverso,
    Valutazione del CBR-tool orientato all`help desk `Case Advisor`,
    In questo documento ci prefiggiamo di riportare gli esiti della valutazione di CaseAdvisor, strumento sviluppato dalla ICue Technology Inc., per il supporto del problem solving interattivo basato sul Case-Based Reasoning (CBR). Il gruppo fa capo a Qiang Yang, direttore dell`Information Service Agents Lab (ISA Lab) presso la Simon Fraser University (Burnaby, BC, Canada). Il prodotto in oggetto è stato inizialmente sviluppato per l`ambiente Windows, mentre una seconda versione in Java è attualmente in fase di sviluppo. A fini di valutazione, ci sono state fornite una versione `demo` per Windows ed un prototipo dell`applicazione in Java. La suite di tool per WIndows conmprende tre moduli: uno per la memorizzazione dei case-base su database relazionali, uno per l`authoring ed il mantenimento dei casi, ed un terzo per l`impiego della conoscenza presente nel CB e mirato alle applicazioni `Help Desk`. Nel presente documento ci occuperemo in dettaglio dei tre moduli, e passeremo rapidamente in rassegna le caratteristiche del prototipo in Java,
    1993
  6. Paolo Traverso; Alessandro Cimatti; Luca Spalazzi,
    Beyond the single planning paradigm: introspective planning,
    10th European Conference on Artificial Intelligence (ECAI 1992),
    Wiley,
    1992
    , pp. 643-
    647
    , (10th European Conference on Artificial Intelligence (ECAI 1992),
    Vienna, Austria,
    1992)
  7. Luca Spalazzi; Alessandro Cimatti; Paolo Traverso,
    Implementing planning as tactical reasoning,
    3rd Annual Conference on Artificial Intelligence, Simulation & Planning in High Autonomy Systems (AIS`92),
    IEEE Computer Society,
    1992
    , pp. 80-
    85
    , (3rd Annual Conference on Artificial Intelligence, Simulation & Planning in High Autonomy Systems (AIS`92),
    Perth, Western Australia,
    1992)
  8. Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Enrico Giunchiglia,
    Building planners with explicit control mechanism,
    2nd International Symposium on Artificial Intelligence and Mathematics (ISAI 1992),
    AAAI Press,
    1992
    , pp. 195-
    202
    , (2nd International Symposium on Artificial Intelligence and Mathematics (ISAI 1992),
    Cancun, Mexico,
    1992)
  9. Alessandro Cimatti; Paolo Traverso; Luca Spalazzi,
    Programming Planners with Flexible Architectures,
    AI and Cognitive Science `92,
    Springer Verlag,
    1992
    , pp. 311-
    314
    , (AI and Cognitive Science `92,
    Limerick, Ireland,
    1992)
  10. 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)

Pages