Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice.
Florian RabeClaudio Sacerdoti CoenPublished in: CoRR (2024)
Keyphrases
- international conference
- acm sigkdd
- naacl hlt
- logical theories
- workshop on artificial intelligence
- international symposium
- international workshop
- language independent
- cyber security and information intelligence
- expressive power
- human computation
- student research workshop
- acm sigmod
- knowledge discovery and data mining
- natural language processing
- theoretical insights
- databases
- relational query languages
- conference on artificial intelligence
- computer society
- advances in artificial intelligence
- logical framework
- selected papers
- lecture notes in artificial intelligence
- lecture notes
- theoretical framework