Picat: A Scalable Logic-based Language and System (Invited talk).
Neng-Fa ZhouPublished in: SLATE (2013)
Keyphrases
- invited talk
- selected papers
- knowledge discovery and data mining
- programming language
- language learning
- carefully reviewed and selected from submissions
- natural language
- web scale
- program committee
- data mining
- artificial intelligence
- expert systems
- knowledge representation
- first order logic
- modeling language
- highly scalable