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