You are here

Publications

Primary tabs

  1. Paolo Bresciani; E. Franconi; Sergio Tessaris,
    Implementing and Testing Expressive Description Logics,
    Proceedings of the 1995 International workshop on Description Logics,
  2. I. Gent; T. Walsh,
    Phase Transitions: Helping Bridge the Gap between Theory and Practice,
    Proceedings of the Second Workshop on Automated Reasoning Workshop: Bridging the Gap between Theopry and Practice,
    , pp. 39-
    40
  3. A. Gerevini; L. Schubert,
    Accelerating Partial Order Planners by Emphasizing Deductive Choices,
    Proceedings of the 7th IEEE International Conference on Tools with Artificial Intelligence,
  4. P. Lee; A. Sartori; Gian Pietro Tecchiolli; A. Zorat,
    A Parallel Processor for Neural Networks,
    Proceedings of the 1995 Symposium on VLSI Circuits - Digest of Technical Papers,
  5. R. Battiti; A. Sartori; Gian Pietro Tecchiolli; Paolo Tonella; A. Zorat,
    Neural Compression: an Integrated Application to EEG Signals,
    Proceedings of the International Workshop on Application of Neural Networks to Telecommunications,,
  6. A. Gerevini; M. Cristiani,
    Reasoning with Inequations in Temporal Constraint Networks,
    Proceedings of IJCAI-95: Workshop on Spatial and Temporal Reasoning,
    , pp. 13-
    23
  7. Giuliano Antoniol; Bruno Caprile; Alessandro Cimatti; Roberto Fiutem,
    Experiencing Real-Life Interactions with the Mobile Platform of MAIA,
    The Biology and Technology of Intelligent Autonomous Agents: Proceedings of the NATO Advanced Study on the Biology and Technology of Intelligent Autonomous Agents,
    Springer,
    , pp. 296-
    311
    , (The Biology and Technology of Intelligent Autonomous Agents: Proceedings of the NATO Advanced Study on the Biology and Technology of Intelligent Autonomous Agents,
    1993)
  8. Paolo Traverso; Luca Spalazzi,
    Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1995),
    Morgan Kaufmann,
    , pp. 1941-
    1947
    , (Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1995),
    Montreal, Canada,
    1995)
  9. J. Bateman; Bernardo Magnini; G. Fabris,
    The Generalized Upper Model Knowledge Base: Organization and Use,
    Towards Very Large Knowledge Bases: Knowledge Building & Knowledge Sharing 1995,
    , pp. 60-
    72
  10. P. Bonatti; A.C. Varzi,
    On the Meaning of Complementary Systems,
    Proceedings of the 10th International Congress of Logic, Methodology and Philosophy of Science,