Sign in

Categorification of Negative Information using Enrichment

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
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
Categorification of Negative Information using Enrichment
Click on play to start listening