Reasoning About Loops Using Vampire.

Laura Kovács Simon Robillard

Published in: Vampire Workshop (2015)

Keyphrases

formal theory
qualitative reasoning
spatial reasoning
computational complexity
causal reasoning
multiscale
data structure
cooperative
machine learning
object recognition
data analysis
artificial neural networks
logic programs
database systems
web services
decision making
information retrieval