Explicit Negation in Linear-Dynamic Equilibrium Logic.

Felicidad Aguado Pedro Cabalar Jorge Fandinno Gilberto Pérez Concepción Vidal

Published in: ECAI (2020)

Keyphrases

data sets
bayesian networks
logic programs
logic programming
image processing
multiscale
optimal solution
hidden markov models