Sign in

Explicit Negation in Linear-Dynamic Equilibrium Logic.

Felicidad AguadoPedro CabalarJorge FandinnoGilberto PérezConcepción Vidal
Published in: ECAI (2020)
Keyphrases
  • data sets
  • bayesian networks
  • logic programs
  • logic programming
  • image processing
  • multiscale
  • optimal solution
  • hidden markov models