Categorical abstract algebraic logic: skywatching in semilattice systems.

George Voutsadakis

Published in: Log. J. IGPL (2016)

Keyphrases

complex systems
data sets
computer systems
databases
machine learning
low level
management system
higher order
distributed systems
logic programming
building blocks
defeasible logic