Prolog for Verification, Analysis and Transformation Tools.

Michael Leuschel

Published in: VPT/HCVS@ETAPS (2020)

Keyphrases

end users
computer vision
high level
knowledge representation
real world
genetic algorithm
learning algorithm
knowledge base
image sequences
data model
logic programming
statistical analysis