Towards a Simply Typed CALculus for Semantic Knowledge Bases

Michael Mendler, Stephan Scheele. Towards a Simply Typed CALculus for Semantic Knowledge Bases. In Berndt Müller, editor, 3rd International Workshop on Logics, Agents, and Mobility, LAM'10, Edinburgh, UK, July 14, 2010. Volume 7 of EPiC Series, pages 52-67, EasyChair, 2010. [doi]

Abstract

Abstract is missing.