Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014
Published in: CSL-LICS (2014)
Keyphrases
- computer science
- selected papers
- annual conference
- lecture notes
- international workshop
- artificial intelligence
- classical logic
- social sciences
- logic programming
- modal logic
- machine learning
- computer scientists
- researchers and practitioners
- data mining
- web intelligence
- cognitive science
- predicate logic
- international symposium
- automated reasoning
- multi valued
- invited talk
- management science
- review process