Natural Language Syntax and First-Order Inference

[1]  David Poole,et al.  MULTIPLY SECTIONED BAYESIAN NETWORKS AND JUNCTION FORESTS FOR LARGE KNOWLEDGE‐BASED SYSTEMS , 1993, Comput. Intell..

[2]  Robert Givan,et al.  Taxonomic syntax for first order inference , 1989, JACM.

[3]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[4]  Robert Givan,et al.  Natural Language Based Inference Procedures Applied to Schubert's Steamroller , 1991, AAAI.

[5]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[6]  David A. McAllester.  Ontic: A Knowledge Representation System for Mathematics , 1989, CADE.

[7]  Bernhard Nebel,et al.  Computational Complexity of Terminological Reasoning in BACK , 1988, Artif. Intell..

[8]  Emmon Bach,et al.  Categorial Grammars as Theories of Language , 1988 .

[9]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[10]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[11]  Hector J. Levesque,et al.  Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.

[12]  Raymond C. Houghton,et al.  Software Development Tools: A Profile , 1983, Computer.

[13]  Robert L. Constable,et al.  An Introduction to the PL/CV2 Programming Logic , 1982, Lecture Notes in Computer Science.

[14]  Robert E. Tarjan,et al.  Variations on the Common Subexpression Problem , 1980, J. ACM.

[15]  Greg Nelson,et al.  Simplification by Cooperating Decision Procedures , 1979, TOPL.

[16]  Dexter Kozen,et al.  Complexity of finitely presented algebras , 1977, STOC '77.

[17]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[18]  Gérard P. Huet,et al.  A Unification Algorithm for Typed lambda-Calculus , 1975, Theor. Comput. Sci..

[19]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

[20]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[21]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .