1. I. Gent; T. Walsh,
    Phase Transitions and Annealed Theories: Number Partitioning as a Case Study,
    Proceedings of the 12th European Conference on Artificial Intelligence [ECAI-96],
    1996
    , pp. 170-
    174
  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],
    1996
  3. A. Bundy; Fausto Giunchiglia; Roberto Sebastiani; T. Walsh,
    Computing Abstraction Hierarchies by Numerical Simulation,
    Proceedings of the 13th National Conference on Artificial Intelligence [AAAI96],
    1996
  4. Alessandro Cimatti; Luciano Serafini,
    Mechanizing Multi-Agent Reasoning with Belief Contexts,
    Practical Reasoning, International Conference on Formal and Applied Practical Reasoning [FAPR`96],
    Springer,
    1996
    , pp. 694-
    696
    , (Practical Reasoning, International Conference on Formal and Applied Practical Reasoning [FAPR`96],
    1996)
  5. Paolo Bresciani,
    Some Research Trends in KR&DB (position paper),
    Working Notes of the ECAI-96 Workshop on Knowledge Representation Meets Databases [KRDB-96],
    1996
    , pp. 10-
    13
  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],
    1996
    , pp. 274-
    281
  7. A. Gerevini; Anna Perini; Francesco Ricci,
    Incremental Algorithms for Managing Temporal Constraints,
    Tools with Artificial Intelligence,
    IEEE,
    1996
    , (Tools with Artificial Intelligence,
    Toulouse, France,
    16/11/1996 - 1996)
  8. Adolfo Villafiorita; Fausto Giunchiglia,
    Inductive Theorem Proving via Abstraction,
    Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics [AI/MATH96],
    1996
    , (Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics [AI/MATH96],
    Fort Lauderdale, USA,
    01/1996)
  9. 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],
    1996
    , pp. 295-
    307
    , (Working Notes of the Third International Workshop on Agent Theories, Architectures, and Languages [ATAL-96],
    Budapest, Hungary,
    1996)
  10. Marcello Federico,
    Bayesian Estimation Methods for N-Gram Language Model Adaptation,
    Proceedings of Fourth International Conference on Spoken Language Processing [ICSLP 96],
    1996