Keyphrases
- highly relevant
- closely related
- database
- logic programming
- databases
- information retrieval
- website
- logic programs
- relevant content
- digital circuits
- relevance scores
- multi valued
- sound and complete axiomatization
- web snippets
- asynchronous circuits
- computational properties
- classical logic
- first order logic
- programming language
- data sets