Massimo Vanocchi

Learn More
A prototype assistant, NL2ACTL, is presented for the formalization of behavioural requirements for the design of reactive systems. NL2ACTL is a tool for the automatic translation of Natural Language sentences, into formulae of the actionbased temporal logic ACTL. The Natural Language sentences are used to express informal requirements of reactive systems.(More)
E-democracy, the design and development of new techniques for improving communication between public administration and citizens, is a major application field for natural language processing and language engineering. Helping citizens access information in a friendly, intuitive way is the primary objective of a global e-democracy framework. The E-democracy(More)
  • 1