A Systems for the Completion of Conditional Equational Specifications.
Hubert BertlingHarald GanzingerRenate SchäfersPublished in: CTRS (1987)
Keyphrases
- building blocks
- distributed systems
- management system
- knowledge based systems
- computer systems
- intelligent systems
- expert systems
- databases
- hidden markov models
- theorem proving
- learning systems
- description logics
- multi agent
- high level
- multimedia
- information systems
- computer vision
- genetic algorithm
- information retrieval