Decorated proofs for computational effects: Exceptions

Jean-Guillaume Dumas Dominique Duval Laurent Fousse Jean-Claude Reynaud

Published in: CoRR (2012)

Keyphrases

mathematical programming
artificial intelligence
knowledge base
computational power
databases
machine learning
bayesian networks
negative effects
natural deduction