Document Mentions (3 shared documents)

EFTA00624128_sub_006 - EFTA00624128_555

2 mentions1 same-page

Page ?Same page

KSPC13. Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Putman, and Bob Coecke. Reasoning about meaning

ion if the collection of programs is operating within a region of program space where syntax-semantics correlation holds to a reasonable degree. The Reduct library, is used to place programs into ENF. EFTA00624663 A.2 Glossary of Specialized Terms 517 • Embodied Communication Prior: The class of pr

EFTA00623759_sub_004 - EFTA00623759_369

2 mentions1 same-page

Page ?Same page

t Systems Workshop (PerAfIS 2008), 2008. MW07. Stephen Morgan and Christopher Winship. Counterfactuals a

ion if the collection of programs is operating within a region of program space where syntax-semantics correlation holds to a reasonable degree. The Reduct library, is used to place programs into ENF. EFTA00624106 A.2 Glossary of Specialized Terms 331 • Embodied Communication Prior: The class of pr

HOUSE_OVERSIGHT_012899_sub_004 - HOUSE_OVERSIGHT_013267

2 mentions1 same-page

Page ?Same page

ligent Systems Workshop (PerMIS 2008), 2008. W07. Stephen Morgan and Christopher Winship. Counterfactuals a

tion if the collection of programs is operating within a region of program space where syntax-semantics correlation holds to a reasonable degree. The Reduct library is used to place programs into ENF. HOUSE_OVERSIGHT_013246 Glossary of Specialized Terms 331 Embodied Communication Prior: The class of pr