Keyphrases
- lecture notes in artificial intelligence
- lecture notes
- lambda calculus
- computer science
- international conference
- advances in artificial intelligence
- international workshop
- international symposium
- book constitutes the refereed proceedings
- higher order
- conference on artificial intelligence
- fixed point
- working conference
- knowledge discovery and data mining
- artificial intelligence
- computational intelligence
- annual conference
- intelligence and security informatics
- artificial intelligence in medicine
- international conference on machine learning
- sequent calculi
- proceedings of the th international conference
- programming language
- knowledge discovery
- artificial neural networks
- intelligent agent technology
- fixed order
- pacific rim
- data mining