MUNCH - Automated Reasoner for Sets and Multisets.

Ruzica Piskac Viktor Kuncak

Published in: IJCAR (2010)

Keyphrases

semi automated
rough approximations
knowledge base
meta reasoning
consistency checking
description logics
data driven
neural network
computer aided
set theoretic
fully automated
real valued
computer assisted
database systems
website
image processing
social networks