LFTOP : an LF-based approach to domain-specific reasoning
(2005)
Journal Article
Pang, J., Callaghan, P., & Luo, Z. (2005). LFTOP : an LF-based approach to domain-specific reasoning. Journal of Computer Science and Technology, 20(4), 526-535. https://doi.org/10.1007/s11390-005-0526-y
A new approach to domain-specific reasoning is presented that is based on a type-theoretic logical framework (LF) but does not require the user to be an expert in type theory. The concepts of the domain and its related reasoning systems are formalize... Read More about LFTOP : an LF-based approach to domain-specific reasoning.