We propose to reconsider abductive reasonning in the context of empirical reasonning, and to investigate its deep relations with constraint-based reasonning, a currently very success-full approach used in the problem-solving community. Abduction has been proposed in the rst years of this century by the logician and philosopher C. S. Peirce as a new inference mechanism for logical system along i...

This draft report organizes our work on this topic to date. The work will continue. Hence, the bulk of this report is an unfinished appendix. We have organized this work on the impact that software complexity has for aircraft safety by looking in two directions. Backward tracing asks the question, “What aspects of safety, V&V, and certification can be complicated by complexity?” Forward tracing...

We attempt a structured view at the ontological query answering problem by distinguishing between two antagonistic perspectives: The knowledge representation perspective considers the ontology as a part of the specified knowledge whereas the database perspective assumes it to be part of the query. These two perspectives give rise to two computation strategies: (data-driven) forward chaining and...

Exporting higher-quality and complex products are deemed pathways to economic growth development. However, producing such knowledge-intensive require quality intermediate inputs advanced technologies. Integration into global trade networks is increasingly argued be amongst the obtain technologies, although not all countries may benefit equally from integration. This paper builds on these argume...

This paper introduces the generalized forward-backward splitting algorithm for minimizing convex functions of the form F + ∑i=1Gi, where F has a Lipschitzcontinuous gradient and the Gi’s are simple in the sense that their Moreau proximity operators are easy to compute. While the forward-backward algorithm cannot deal with more than n = 1 non-smooth function, our method generalizes it to the cas...

The theoretical and empirical studies argue ambiguous effects of GVCs participation developing countries on productivity. By using panel data 15 Chinese manufacturing industries over the 2005-2014 period, we find that China’s backward forward linkages contributed to labor productivity growth 6.41% 1.97% per year average respectively, via drawing out from low value added cost sectors, optimizing...