Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation.
Randa AlmomenAlan P. SextonVolker SorgePublished in: Ann. Math. Artif. Intell. (2012)
Keyphrases
- special issue
- artificial intelligence
- applied intelligence
- international journal
- automated deduction
- ai edam
- ecml pkdd
- intelligent systems
- expert systems
- computer science
- imperative programs
- special section
- ai systems
- natural language processing
- high level
- intelligent agents
- computational intelligence
- software engineering
- ai technologies
- knowledge representation
- multimedia
- machine learning