Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis.
Temur KutsiaDaniel VenturaDavid MonniauxJosé F. MoralesPublished in: CoRR (2024)
Keyphrases
- horn clauses
- selected papers
- international workshop
- lecture notes in artificial intelligence
- acm sigkdd
- international conference
- conference proceedings
- lecture notes
- logical representation
- naacl hlt
- cyber security and information intelligence
- first order logic
- knowledge discovery and data mining
- international symposium
- workshop on artificial intelligence
- acm sigmod
- trends in artificial intelligence
- advances in artificial intelligence
- pacific rim
- inference rules
- computer science
- inductive logic programming
- human computation
- logic programs
- expert systems
- natural language
- artificial intelligence
- student research workshop
- model checking
- natural language processing
- book constitutes the refereed proceedings
- high level
- function symbols
- database queries
- semantic information
- semantic features
- general purpose