Information and Control · 1980 · 750 citations · 13 references
ComputingComputer ScienceFormal MethodsKnowledge RepresentationNatural Language ProcessingDeductive VerificationFormal Language FoundationsFormal LanguagesLanguage ModelsModel TheoryPredicate LogicInductive Inference
13
Language identification in the limit
Eric Gold · Information and Control · 1967 · 3.6K citations
Theory of Recursive Functions and Effective Computability
D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text
A formal theory of inductive inference. Part II
Ray J. Solomonoff · Information and Control · 1964 · 1.8K citations
A formal theory of inductive inference. Part I
Ray J. Solomonoff · Information and Control · 1964 · 1.2K citations