Giorgio Tornielli

Learn More
The difficulties encountered in applying knowledge-based system technology to complex industrial environments have made the need for representing and using deep knowledge about physical systems increasingly clear to system designers. A rather large number of approaches to modeling and reasoning with deep knowledge have been experimented, but the impact of(More)
This paper reports on a quite large experience in implementing a procedurally introspective system (PIS), ALICE, in which a well known problem is faced: the integration between LISP and Horn clauses. This exercise is motivated by a recognized lack of experience in implementing PISs to deal with actual A.I. programming problems. ALICE is composed of two(More)
  • 1