Consistency as a Branching Time Notion.

Astrid Kiehn Mohnish Pattathurajan

Published in: TAMC (2019)

Keyphrases

database
temporal reasoning
computer vision
temporal logic
information systems
real time
point algebra
global consistency
consistency checking
real world
data sets
search algorithm
constraint satisfaction problems
model checking
machine learning
path consistency
neural network
databases
correctness criterion