Keyphrases
- lecture notes in artificial intelligence
- lecture notes
- international conference
- formal theory
- advances in artificial intelligence
- computer science
- theoretical framework
- international workshop
- natural language
- theoretical basis
- knowledge discovery and data mining
- working conference
- specification language
- programming language
- object oriented
- human problem solving
- information retrieval
- proof theory
- formal languages
- advances in information retrieval
- conference on artificial intelligence
- cognitive development
- speech acts
- artificial intelligence