Lossy Counter Machines Decidability Cheat Sheet.

Philippe Schnoebelen

Published in: RP (2010)

Keyphrases

data compression
query answering
description logics
artificial intelligence
decision procedures
computer vision
decision trees
natural language
learning machines