Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP).
David S. WarrenPeter Van RoyYanhong A. LiuPublished in: CoRR (2022)
Keyphrases
- acm sigkdd
- naacl hlt
- international conference
- international workshop
- cyber security and information intelligence
- programming language
- workshop on artificial intelligence
- knowledge discovery and data mining
- international symposium
- natural language processing
- human computation
- conference on artificial intelligence
- logic programming
- acm sigmod
- advances in artificial intelligence
- student research workshop
- working conference
- classical logic
- artificial intelligence
- asynchronous circuits
- academic researchers
- invited talk
- computer programming
- lecture notes in artificial intelligence
- concurrent programming
- australasian database conference
- international conference on machine learning
- modal logic
- source code
- software engineering practices
- information technology