KSL-06-07 + redirect page
Computational Context Logic and Species of $ist$ + Has identifier
Computational Context Logic and Species of $ist$ + Ksl tr id
Computational Context Logic and Species of $ist$ + Number
| Computational Context Logic and Species of $ist$ |
Bibtype
techreport
Has publishing details
2006
Has title
Computational Context Logic and Species of $ist$
Has where published
KSL-06-07
Has year
2006
Title
Computational Context Logic and Species of $ist$
Year
2006
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 +
Has author
Selene Makarios and Karl Heuer and Richard Fikes +
Has identifier
Computational Context Logic and Species of $ist$ +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Computational Context Logic and Species of $ist$ +
Number
Computational Context Logic and Species of $ist$ +
Process note
YES +
Categories KSL Technical Report +, Publication +, Technical Report +
|
