Towards Parametrizing Logic Program Analysis: Two Examples.

Published in: Theory Pract. Log. Program. (2013)

Keyphrases

automated reasoning
computational properties
modal logic
multi valued
classical logic
data sets
computer vision
database systems
support vector
small number
training examples
deontic logic