ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012
Published in: ATx/WInG@IJCAR (2013)
Keyphrases
- international conference
- knowledge discovery and data mining
- international workshop
- semi automated
- advances in artificial intelligence
- theoretical basis
- intelligence and security informatics
- conference on artificial intelligence
- advances in information retrieval
- neural network
- pacific rim
- theoretical framework
- general theory
- projective geometry
- working conference
- generation process
- lecture notes