You are here

Publications

Primary tabs

  1. Fausto Giunchiglia; Luciano Serafini,
    Multilanguage hierarchical logics (or: how we can do without modal logics),
    CNKBS`92, Proceedings of the First Compulog Net Meeting on Knowledge Bases,
    , pp. 44-
    45
    , (CNKBS`92, Proceedings of the First Compulog Net Meeting on Knowledge Bases,
    Munich, Germany,
    1992)
  2. 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,
    , pp. 620-
    633
    , (Automation 1992, 36th ANIPLA Conference,
    Genova,
    1992)
  3. Fausto Giunchiglia; Alessandro Cimatti; Sandro Dalbosco; Paolo Traverso; Luca Spalazzi,
    MRG: un sistema di ragionamento distribuito per applicazioni complesse,
    Atti seconda giornata di lavoro del gruppo Intelligenza Artificiale Distribuita (DAI) dell`AI*IA,
    , (Atti seconda giornata di lavoro del gruppo Intelligenza Artificiale Distribuita (DAI) dell`AI*IA,
    Roma,
    1992)
  4. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi,
    Tactics: extending the notion of plan,
    ECAI-92 Workshop `Beyond Sequential Planning`,
    , (ECAI-92 Workshop `Beyond Sequential Planning`,
    Vienna, Austria,
    1992)
  5. Paolo Traverso; Alessandro Cimatti; Luca Spalazzi,
    Beyond the single planning paradigm: introspective planning,
    10th European Conference on Artificial Intelligence (ECAI 1992),
    Wiley,
    , pp. 643-
    647
    , (10th European Conference on Artificial Intelligence (ECAI 1992),
    Vienna, Austria,
    1992)
  6. 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,
    , pp. 80-
    85
    , (3rd Annual Conference on Artificial Intelligence, Simulation & Planning in High Autonomy Systems (AIS`92),
    Perth, Western Australia,
    1992)
  7. 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,
    , 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)
  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,
    , pp. 195-
    202
    , (2nd International Symposium on Artificial Intelligence and Mathematics (ISAI 1992),
    Cancun, Mexico,
    1992)
  9. 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,
    , pp. 295-
    298
    , (AI and Cognitive Science `92,
    Limerick, Ireland,
    1992)
  10. Alessandro Cimatti; Paolo Traverso; Luca Spalazzi,
    Programming Planners with Flexible Architectures,
    AI and Cognitive Science `92,
    Springer Verlag,
    , pp. 311-
    314
    , (AI and Cognitive Science `92,
    Limerick, Ireland,
    1992)