Axiomatizing GSOS with Predicates

Luca Aceto Georgiana Caltais Eugen-Ioan Goriac Anna Ingólfsdóttir

Published in: SOS (2011)

Keyphrases

e learning
probability distribution
user defined
horn clauses
semantic integrity constraints
artificial intelligence
three dimensional
multiresolution