| |||||||
Technical Stream
The TECHNICAL STREAM aims to present the best of recent developments in AI, covering a wide range of technical areas. The papers will present new and innovative developments in the field. Areas of interest include (but are not restricted to): knowledge based systems; knowledge engineering; constraint satisfaction; intelligent agents; machine learning; model based reasoning; verification and validation of AI systems; natural language understanding; case based reasoning; neural networks; genetic algorithms; data mining and knowledge discovery in databases. From model checking to equilibrium checking Professor Michael Wooldridge, University of Oxford Papers Accepted for the Technical Stream Technical Stream Programme Committee and Executive Programme Committee
|