From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group.
Michael R. GeneserethPublished in: Artif. Intell. (1993)
Keyphrases
- artificial intelligence
- neural network
- multi valued
- modal logic
- mechanical engineering
- engineering problems
- software engineering
- computer science
- expert systems
- materials science
- electrical engineering
- machine learning
- semi automated
- logic programming
- logic programs
- fully automated
- real time
- genetic algorithm
- logical framework
- systems engineering
- predicate logic
- data mining
- delay insensitive
- information systems