A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language.
André Luiz GaldinoMauricio Ayala-RincónPublished in: J. Formaliz. Reason. (2008)
Keyphrases
- higher order
- operational semantics
- lambda calculus
- programming language
- logical language
- language learning
- natural language
- natural images
- high order
- pairwise
- complex networks
- theorem proving
- specification language
- formal logic
- machine learning
- multiscale
- language processing
- high level
- knowledge representation
- markov random field
- situation calculus
- context dependent
- information systems
- genetic algorithm