Sign in

Finitary coalgebraic multisemilattices and multilattices.

Inma P. CabreraPablo CorderoGloria GutiérrezJavier MartínezManuel Ojeda-Aciego
Published in: Appl. Math. Comput. (2012)
Keyphrases
  • finite state
  • markov chain
  • artificial intelligence
  • markov decision processes
  • software engineering
  • optimal policy
  • answer set programming
  • theorem proving