Aggregation, Formal Specification and Natural Language Generation.
Hercules DalianisPublished in: NLDB (1995)
Keyphrases
- general purpose
- formal specification
- natural language generation
- model checking
- specification languages
- object oriented design
- natural language
- specification language
- dialog systems
- reverse engineering
- text generation
- word order
- formal methods
- natural language processing
- process algebra
- aggregated search
- dialogue management
- machine translation
- concurrent systems
- dialogue system
- software components
- temporal logic
- domain independent
- multi agent
- data mining
- database systems
- case study
- multi agent systems