Sound reasoning about unchecked exceptions.

Bart Jacobs Peter Müller Frank Piessens

Published in: SEFM (2007)

Keyphrases

spatial reasoning
database
multi agent
qualitative reasoning
complete axiomatization
databases
data mining
learning algorithm
artificial intelligence
computer vision
website
formal theory