Title :
Third International Conference on Tools for Artificial Intelligence TAI ´91 (Cat. No.91CH3054-4)
Abstract :
The following topics are dealt with: machine learning; knowledge acquisition and validation of software systems; parallel implementations; AI techniques for software development and maintenance; genetic algorithms; knowledge representation schemes; neural network learning; real-time intelligent systems; image understanding tools; development of expert systems; geometric constraint satisfaction; theoretical issues; constraint satisfaction algorithms; efficient reference techniques; support of knowledge-based applications, heuristic search algorithms; application of AI techniques; and matching algorithms
Keywords :
computerised picture processing; genetic algorithms; knowledge acquisition; knowledge based systems; knowledge representation; learning systems; neural nets; program verification; software maintenance; AI; artificial intelligence; constraint satisfaction algorithms; expert systems; genetic algorithms; geometric constraint satisfaction; heuristic search algorithms; image understanding tools; knowledge acquisition; knowledge representation schemes; knowledge-based applications; machine learning; matching algorithms; neural network learning; parallel processing; real-time intelligent systems; reference techniques; software development; software maintenance; software validation;
Conference_Titel :
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location :
San Jose, CA, USA
Print_ISBN :
0-8186-2300-4
DOI :
10.1109/TAI.1991.167063
