A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
EPiC Series in Computing Propagators and Solvers for the Algebra of Modular Systems
2017
Pages 227-248 LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
unpublished
Solving complex problems can involve non-trivial combinations of distinct knowledge bases and problem solvers. The Algebra of Modular Systems is a knowledge representation framework that provides a method for formally specifying such systems in purely semantic terms. Many practical systems based on expressive formalisms solve the model expansion task. In this paper, we construct a solver for the model expansion task for a complex modular system from an expression in the algebra and black-box
fatcat:5jevuenyj5afrpd2dd66ygkeku