By Andrea Censi and others

In many engineering applications it is useful to reason about "negative information". For example, in planning problems, providing an optimal solution is the same as giving a feasible solution (the "positive" information) together with a proof of the fact that there cannot be feasible solutions better than the one given... Show more

September 19, 2022

Loading full text...

Similar articles

Loading recommendations...

x1

Categorification of Negative Information using Enrichment

Click on play to start listening