Robert Crumley Moore
#153,375
Most Influential Person Now
Robert Crumley Moore's AcademicInfluence.com Rankings
Robert Crumley Moorephilosophy Degrees
Philosophy
#8570
World Rank
#11977
Historical Rank
Logic
#5602
World Rank
#7013
Historical Rank
Download Badge
Philosophy
Why Is Robert Crumley Moore Influential?
(Suggest an Edit or Addition)Robert Crumley Moore's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Semantical Considerations on Nonmonotonic Logic (1985) (1258)
- A Formal Theory of Knowledge and Action (1984) (705)
- An Improved Error Model for Noisy Channel Spelling Correction (2000) (607)
- Intelligent Selection of Language Model Training Data (2010) (579)
- Reasoning About Knowledge and Action (1977) (455)
- Making the transition to formal proof (1994) (453)
- Fast and accurate sentence alignment of bilingual corpora (2002) (333)
- Formal Theories of the Commonsense World (1985) (325)
- Gemini: A Natural Language System for Spoken-Language Understanding (1993) (258)
- Pronunciation Modeling for Improved Spelling Correction (2002) (229)
- Possible-World Semantics for Autoepistemic Logic (1987) (211)
- A Discriminative Framework for Bilingual Word Alignment (2005) (185)
- Semantic-Head-Driven Generation (1990) (176)
- The Role of Logic in Knowledge Representation and Commonsense Reasoning (1982) (145)
- Part-of-Speech Tagging in Context (2004) (132)
- A Semantic-Head-Driven Generation Algorithm for Unification-Based Formalisms (1989) (127)
- Improving IBM Word Alignment Model 1 (2004) (117)
- The CommandTalk Spoken Dialogue System (1999) (117)
- On Log-Likelihood-Ratios and the Significance of Rare Events (2004) (103)
- Computational Models of Belief and the Semantics of Belief Sentences (1982) (90)
- Indirect-HMM-based Hypothesis Alignment for Combining Outputs from Machine Translation Systems (2008) (90)
- Improved Discriminative Bilingual Word Alignment (2006) (81)
- Problems in Logical Form (1981) (77)
- Bayesian Learning of Non-Compositional Phrases with Synchronous Parsing (2008) (77)
- CommandTalk: A Spoken-Language Interface for Battlefield Simulations (1997) (72)
- Learning Translations of Named-Entity Phrases from Parallel Corpora (2003) (69)
- Interleaving Syntax and Semantics in an Effecient Bottom-Up Parser (1994) (57)
- An Overview of Amalgam: A Machine-learned Generation Module (2002) (57)
- Unification-Based Semantic Interpretation (1989) (55)
- A Template Matcher for Robust NL Interpretation (1991) (54)
- Improved Left-corner Chart Parsing for Large Context-free Grammars (2000) (51)
- Removing Left Recursion from Context-Free Grammars (2000) (50)
- Logic and Representation (1994) (47)
- Random Restarts in Minimum Error Rate Training for Statistical Machine Translation (2008) (45)
- Linguistically Informed Statistical Models of Constituent Structure for Ordering in Sentence Realization (2004) (45)
- Combining Linguistic and Statistical Knowledge Sources in Natural-Language Processing for ATIS (1995) (44)
- Using Natural-Language Knowledge Sources in Speech Recognition (1999) (40)
- Towards a Simple and Accurate Statistical Approach to Learning Translation Relationships among Words (2001) (39)
- Faster beam-search decoding for phrasal statistical machine translation (2007) (39)
- Reasoning from Incomplete Knowledge in a Procedural Deduction System (1980) (38)
- Association-Based Bilingual Word Alignment (2005) (38)
- Integrating natural language constraints into HMM-based speech recognition (1990) (32)
- Integrating Speech and Natural-Language Processing (1989) (29)
- Mathematics Professors’ Evaluation of Students’ Proofs: A Complex Teaching Practice (2016) (28)
- D-Script: A Computational Theory of Descriptions (1973) (28)
- The Capstone Course (2017) (25)
- On Hierarchical Re-ordering and Permutation Parsing for Phrase-based Decoding (2012) (25)
- Proceedings of the Human Language Technology Conference of the NAACL, Companion Volume: Short Papers (2006) (25)
- Proceedings of the main conference on Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics (2006) (23)
- DIALOGIC: A Core Natural-Language Processing System (1982) (22)
- Using the Penn Treebank to Evaluate Non-Treebank Parsers (2004) (20)
- Semantic Evaluation for Spoken-Language Systems (1994) (19)
- Efficient Bottom-Up Parsing (1991) (18)
- An Iteratively-Trained Segmentation-Free Phrase Translation Model for Statistical Machine Translation (2007) (17)
- Machine-learned contexts for linguistic operations in German sentence realization (2002) (17)
- Extraposition: A Case Study in German Sentence Realization (2002) (17)
- Gappy Phrasal Alignment By Agreement (2011) (15)
- Autoepistemic Logic Revisited (1993) (14)
- Selective Phrase Pair Extraction for Improved Statistical Machine Translation (2007) (14)
- Events, Situations, and Adverbs (1989) (14)
- Improved Smoothing for N-gram Language Models Based on Ordinary Counts (2009) (14)
- College students' difficulties in learning to do mathematical proofs (1990) (13)
- Propositional Attitudes and Russellian Propositions (1989) (13)
- A Complete, Efficient Sentence-Realization Algorithm for Unification Grammar (2002) (12)
- Handling Complex Queries in a Distributed Data Base (1979) (11)
- The role of logic in artificial intelligence (1985) (9)
- Less is More: Significance-Based N-gram Selection for Smaller, Better Language Models (2009) (8)
- Reasoning About Knowledge in Artificial Intelligence (1986) (8)
- HLT-NAACL 2006 : Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics : proceedings of the main conference : June 4-9, 2006, New York, New York, USA (2006) (8)
- Natural-Language Access to Databases-Theoretical/Technical Issues (1982) (7)
- Overview of the Core Language Engine (1988) (7)
- What Do Computational Linguists Need to Know about Linguistics? (2009) (6)
- A semantics for λ { } str : a calculus with overloading and late-binding (1996) (6)
- Time as a Measure of Parsing Efficiency (2000) (6)
- Student Interpretations of Written Comments on Graded Proofs (2018) (5)
- Improved Monolingual Hypothesis Alignment for Machine Translation System Combination (2009) (5)
- A Tool for Collecting Domain Dependent Sortal Constraints From Corpora (1994) (4)
- Is It Rational to be Logical? (1988) (3)
- SRI’s Experience with the ATIS Evaluation (1990) (3)
- The integration of speech and natural language in interactive spoken language systems (1989) (3)
- The challenge of domain-independent speech understanding (1998) (3)
- Mathematicians' Views on Transition-to-Proof and Advanced Mathematics Courses (2014) (3)
- Automatic Deduction for Commonsense Reasoning: An Overview (1981) (3)
- Practical Natural-Language Processing by Computer (1981) (3)
- Two Paradigms for Natural-Language Processing (2003) (2)
- Mechanical Intelligence: Research and Applications (1979) (2)
- Spoken language system integration and development (1990) (2)
- What Constitutes a Well-Written Proof? (2014) (1)
- Doubling: Real, Complex, Quaternion, and Beyond … Well, Maybe (1986) (1)
- When we Grade Students’ Proofs, Do They Understand our Feedback? (2016) (1)
- Indirectly Supervised English Sentence Break Prediction Using Paragraph Break Probability Estimates (2021) (1)
- Visualizing the Group Homomorphism Theorem (1995) (0)
- Student Interpretations of Written Comments on Graded Proofs (2017) (0)
- P-34 Transition to Proof and Beyond: What’s Needed for Success? (2013) (0)
- A cognitivist reply to behaviorism (1984) (0)
- A Real-Time Spoken-Language System for Interactive Problem Solving (1990) (0)
- HLT-NAACL 2006 : Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics : short papers, June 4-9, 2006, Boston, New York, New York, USA (2006) (0)
- Automatic translation using logical forms (2005) (0)
- Session 4: Natural Language (1993) (0)
- Challenges in natural language processing: Events, situations, and adverbs (1993) (0)
- Criteria of cognitive impenetrability (1980) (0)
- An Improved Cartesian Diver. (1973) (0)
- The MSR-MSRA MT System for NIST Open Machine Translation 2008 Evaluation (1996) (0)
- A Real-Time Spoken-Language System for Interactive Problem Solving (1993) (0)
- Measuring a Circle: A Math Lesson for Grades 5-10 (2013) (0)
- Organizing device in the set generation for a system for natural language generation based on a linguistic informed statistical models of constituent structure (2004) (0)
- Reviewers for Volume 31 (2010) (0)
- A Real-Time Spoken-Language System Interactive Problem-Solving (1990) (0)
- The MSR-NRC-SRI MT System for NIST Open Machine Translation 2008 Evaluation (2008) (0)
- SRI’s Real-Time Spoken Language System (1991) (0)
- P-37 When we grade proofs, do our students understand what we’re saying? (2015) (0)
- Combining Linguistic and Statistical Technology for Improved Spoken Language Understanding (1994) (0)
- Is Grading Papers an Effective Teaching Practice (2016) (0)
- Mathematics Professors’ Evaluation of Students’ Proofs: A Complex Teaching Practice (2016) (0)
- Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics, Proceedings, June 4-9, 2006, New York, New York, USA (2006) (0)
- P-33 When Mathematicians Grade Proofs, Why Don’t They Agree? (2014) (0)
- P-31 Mathematicians’ Evaluation of Students’ Proofs (2012) (0)
- Knowledge Representation and Natural-Language Semantics. (1983) (0)
This paper list is powered by the following services:
