Computational Properties of Slime Trail.

Matthew Ferland Kyle Burke

Published in: CoRR (2017)

Keyphrases

computational properties
expressive power
logic programs
description logics
semantic properties
reasoning problems
bayesian network classifiers
propositional theories
query language
first order logic