Reduction Patterns: A Practical Tool for Proving Undecidability.

Judith Gal-Ezer Mark B. Trakhtenbrot

Published in: ITiCSE (2016)

Keyphrases

tool kit
previously unknown
similar patterns
data mining techniques
pattern mining
real world
pattern discovery
interesting patterns
design patterns
complex patterns
analysis tool
pattern analysis
user friendly
description logics
metadata
knowledge base
information retrieval