COVER: Change-based Goal Verifier and Reasoner.

Claudio Menghi Paola Spoletini Carlo Ghezzi

Published in: REFSQ Workshops (2017)

Keyphrases

evolutionary algorithm
query answering
genetic algorithm
high level
search algorithm
consistency checking