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 To be announced
Prize Winners To be announced