Proving Total Correctness of Refinement Based on Tableau.

Xiaolei Gao Huaikou Miao

Published in: ISPA (2009)

Keyphrases

description logics
website
real world
learning algorithm
computer vision
decision making
high level
single machine