Computational Context Logic and Species of $ist$.

Reference: Makarios, S.; Heuer, K.; Fikes, R. Computational Context Logic and Species of $ist$. 2006.

Abstract: Mapping context-logical theories to equivalent first-order theories allows them to be processed using existing first-order automated reasoners. Performing a ``context-shift transform'' of domain objects makes such mapping possible, at least for certain ``species of $ist$'', where speciation of $ist$ is defined by distributivity of $ist$ over the logical connectives and quantifiers.


Full paper available as pdf.

Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]
Send mail to: ksl-info@ksl.stanford.edu to send a message to the maintainer of the KSL Reports.