AUTOMATED REASONING UNDER IRREDUCIBLE UNCERTAINTY

| Funding period: 2016 - 2016

Completed