Document Mentions (3 shared documents)

EFTA00624128_sub_006 - EFTA00624128_555

2 mentions1 same-page

Page ?Same page

1994. Coe06. Ben Coertzel. The Hidden Pattern. Brown Walker, 2006. Coe08a. B. Coertzel. The pleasure

nt and/or interesting sub-hypergraphs in the Atom.space. • First-Order Inference (FOI): The subset of PLN that handles Logical Links not in- volving VariableAtoms or higher-order functions. The other aspect of PLN, Higher-Order Inference, uses Truth Value formulas derived from First-Order Inference. EFTA00624

EFTA00623759_sub_004 - EFTA00623759_369

2 mentions1 same-page

Page ?Same page

2001. Coe06a. Ben Goertzel. The Hidden Pattern. Brown Walker, 2006. Coe06b. Ben Coertzel. The Hidden

ent and/or interesting sub-hypergraphs in the Atomspace. • First-Order Inference (FOI): The subset of PLN that handles Logical Links not in- volving VariableAtoms or higher-order function.s. The other aspect of PLN, Higher-Order Inference, uses Truth Value formulas derived from First-Order Inference. EFTA0062

HOUSE_OVERSIGHT_012899_sub_004 - HOUSE_OVERSIGHT_013267

2 mentions1 same-page

Page ?Same page

2001. Goe(6a. Ben Goertzel. The Hidden Pattern. Brown Walker, 2006. Goe06b. Ben Goertzel. The Hidden P

equent and/or interesting sub-hypergraphs in the Atomspace. First-Order Inference (FOI): The subset of PLN that handles Logical Links not in- volving VariableAtoms or higher-order functions. The other aspect of PLN, Higher-Order Inference, uses Truth Value formulas derived from First-Order Inference. HOUSE_OVER