Massimo Vanocchi

Learn More
E-democracy—the design and development of new techniques for improving communication between public administrations (PAs) and citizens—is a major application field for natural language processing and language engineering. Helping citizens access information in a friendly, intuitive way (that is, using their own language) is the primary objective of a global(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 action-based temporal logic ACTL. The Natural Language sentences are used to express informal requirements of reactive systems.(More)
  • 1