Computational Context Logic and Species of $ist$

Citation: Selene Makarios and Karl Heuer and Richard Fikes. (2006) Computational Context Logic and Species of $ist$. In KSL-06-07, 2006.

Publication techreport ( Edit )
type	Technical Report
bibtype	techreport
Bibtex basics
author	Selene Makarios and Karl Heuer and Richard Fikes
title	Computational Context Logic and Species of $ist$
number	KSL-06-07
institution	Knowledge Systems, AI Laboratory
year	2006
Bibtex more
Access Paper
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.

KSL Technical Report ID: KSL-06-07

Abstract	Mapping context-logical theories to equiva … 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. r the logical connectives and quantifiers.
Author	Selene Makarios and Karl Heuer and Richard Fikes +
Bibtype	techreport +
Has author	Selene Makarios and Karl Heuer and Richard Fikes +
Has identifier	KSL-06-07 +
Has publishing details	2006 +
Has title	Computational Context Logic and Species of $ist$ +
Has where published	KSL-06-07 +
Has year	2006 +
Institution	Knowledge Systems, AI Laboratory +
Ksl tr id	KSL-06-07 +
Number	KSL-06-07 +
Process note	YES +
Title	Computational Context Logic and Species of $ist$ +
Year	2006 +