Eliciting Expertise without Verification.

Yuqing Kong Grant Schoenebeck

Published in: CoRR (2018)

Keyphrases

expert systems
data sets
expert search
model checking
genetic algorithm
functional verification
verification method
goal oriented
formal methods
multi attribute
temporal logic
digital libraries
search algorithm
data structure
knowledge base
feature selection
information retrieval
real world