Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018.
Published in: SC-Square@FLOC (2018)
Keyphrases
- acm sigkdd
- international conference
- international workshop
- advances in artificial intelligence
- selected papers
- annual conference
- knowledge discovery and data mining
- naacl hlt
- lecture notes
- acm sigmod
- student research workshop
- human computation
- invited paper
- hong kong
- conference on artificial intelligence
- centre for advanced studies
- association for artificial intelligence
- conference proceedings
- logic programming
- computer science
- natural language processing
- learning analytics and knowledge
- poster session
- association for computational linguistics
- invited talk
- databases and information systems
- program committee
- koli calling
- modal logic
- atlantic web intelligence
- progress in artificial intelligence
- workshop on artificial intelligence
- cyber security and information intelligence
- north american
- panel discussion
- short papers
- international symposium
- lecture notes in artificial intelligence
- workshop proceedings
- annual computer personnel research conference
- digital libraries
- intelligent web
- computational linguistics
- web intelligence
- learning analytics
- computational intelligence
- knowledge discovery