You are here

Publications

Primary tabs

  1. A. Bundy; Fausto Giunchiglia; Roberto Sebastiani; T. Walsh,
    Computing Abstraction Hierarchies by Numerical Simulation,
    Proceedings of the 13th National Conference on Artificial Intelligence [AAAI96],
  2. Paolo Bresciani; Alberto Lavelli; Bernardo Magnini; D. Petrelli; Oliviero Stock; Carlo Strapparava; Massimo Zancanaro,
    Il prototipo di TAMIC: una interfaccia mediata per il cittadino basata su linguaggio naturale,
    Atti del Secondo Workshop del Gruppo di lavoro Interfacce Intelligenti [II'96],
  3. Massimo Benerecetti; Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
    Context-Based Formal Specification of Multi-Agent Systems,
    Working Notes of the Third International Workshop on Agent Theories, Architectures, and Languages [ATAL-96],
    , pp. 295-
    307
    , (Working Notes of the Third International Workshop on Agent Theories, Architectures, and Languages [ATAL-96],
    Budapest, Hungary,
    1996)
  4. Adolfo Villafiorita; Fausto Giunchiglia,
    Inductive Theorem Proving via Abstraction,
    Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics [AI/MATH96],
    , (Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics [AI/MATH96],
    Fort Lauderdale, USA,
    01/1996)
  5. A. Gerevini; Anna Perini; Francesco Ricci,
    Incremental Algorithms for Managing Temporal Constraints,
    Tools with Artificial Intelligence,
    IEEE,
    , (Tools with Artificial Intelligence,
    Toulouse, France,
    16/11/1996 - 1996)
  6. B. Crespi; Stefano Messelodi; N. Veneri,
    Memory-Based Coordination of Visual Perception and Motor Activity,
    Proceedings of 1997 Symposium on Real World Computing [RWC '97],
    , pp. 274-
    281
  7. Fausto Giunchiglia; Roberto Sebastiani,
    A SAT-based Decision Procedure for ALC,
    Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning [KR'96],
    , pp. 304-
    314
  8. Gianni Lazzari,
    Il riconoscimento del parlato in applicazioni di dettatura e data entry,
    XXIV Convegno Nazionale dell'Associazione Italiana di Acustica [AIA 96],
    , pp. 73-
    77
  9. Pierluigi Bellutti; Massimo Gottardi; A. Sartori; Gian Franco Dalla Betta; Giovanni Soncini,
    Integrated Optical Sensors in CCD/CMOS Technology,
    Proceedings of the 1st Conference on Sensors and Microsystems,
    , pp. 304-
    308
  10. A. Sartori; Massimo Gottardi; F. maloberti; Andrea Simoni; G. Torelli,
    Analog-to-Digital Conversion Architecture for Optical Sensors Arrays,
    Proceedings of Advanced Focal Plane Arrays and Electronic Cameras [AFPAEC'96],
    , pp. 254-
    264