Computational context logic and species of $ist$
From Semantic Portal Wiki
| Edit |
Reference:
- Selene Makarios, Karl Heuer, Richard Fikes. Computational Context Logic and Species of $ist$ , Knowledge Systems, AI Laboratory (KSL-06-07), 2006
bibtex
@techreport { KSL-06-07 ,
author = "Selene Makarios, Karl Heuer, Richard Fikes",
institution = "Knowledge Systems, AI Laboratory",
number = "KSL-06-07",
title = "Computational Context Logic and Species of $ist$",
year = "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.
download:
- paper:
- slides:
Facts about Computational context logic and species of $ist$RDF feed
| 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 +, Karl Heuer +, and Richard Fikes + |
| Bibtype | techreport + |
| Institution | Knowledge Systems, AI Laboratory + |
| Key | KSL-06-07 + |
| Number | KSL-06-07 + |
| Tag | Computer science + |
| Title | Computational Context Logic and Species of $ist$ + |
| Tr id | KSL-06-07 + |
| Year | 2006 + |
