A Finite Axiomatization for Fork Algebras.

Marcelo F. Frias Armando Martin Haeberer Paulo A. S. Veloso

Published in: Log. J. IGPL (1997)

Keyphrases

complete axiomatization
spatial reasoning
finite number
data structure
state space search
databases
data mining
web services
reinforcement learning
search algorithm
finite automata
unit length
distributive lattices