On Computing the Measures of First-Order Definable Sets of Trees.

Marcin Przybylko

Published in: GandALF (2018)

Keyphrases

first order logic
decision trees
horn clauses
higher order
machine learning
genetic algorithm
social networks
xml documents
knowledge representation
quality measures
approximation spaces
tree construction
action theories
definite clause