Stephen Beale. 1997. Using Branch-and-Bound with Constraint Satisfaction in Optimization Problems. In Proc. Fourteenth National Conference on Artificial Intelligence (AAAI97), Providence.
Stephen Beale. 1994. Dependency-Directed Text Generation. Technical Report, MCCS-94-272, Computing Research Lab, New Mexico State Univ.
Stephen Beale and Sergei Nirenburg. 1995. Dependency-Directed Text Planning. In Proc. of the 1995 International Joint Conference on Artificial Intelligence, Workshop on Multilingual Text Generation, 13-21. Montreal, Quebec.
Stephen Beale, Sergei Nirenburg and Kavi Mahesh. 1996. HUNTER-GATHERER: Three Search Techniques Integrated for Natural Language Semantics. In Proc. Thirteenth National Conference on Artificial Intelligence (AAAI96), Portland, Oregon.
Stephen Beale, Sergei Nirenburg and Kavi Mahesh. 1995. Semantic Analysis in the Mikrokosmos Machine Translation Project. In Proc. of the 2nd Symposium on Natural Language Processing, 297-307. Bangkok, Thailand.
U. Bertelé and F. Brioschi. 1972. Nonserial Dynamic Programming. Academic Press, New York.
Christian Bessiere and Marie-Odile Cordier. 1993. Arc-Consistency and Arc-Consistency Again. In Proc. Tenth National Conference on Artificial Intelligence (AAAI93), Washington, D.C.
J. Bosák 1990. Decomposition of Graphs. Kluwer, Norwell, MA.
B.G. Buchanan and E.H. Shortliffe, eds. 1984. Rule-based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading, MA.
D. Chapman. 1987. Planning for Conjunctive Goals. Artificial Intelligence 32.
E. Charniak, C.K. Riesbeck, D.V McDermott and J.R. Meehan. 1987. Artificial Intelligence Programming. Erlbaum, Hillsdale, NJ.
V. Chvatal 1983. Linear Programming. W.H. Freeman and Company, New York.
Michael Elhadad. 1990. Constraint-based Text Generation. Technical Report, CUCS-003-90, Dept. of Computer Science, Columbia Univ.
David Farwell, S. Helmreich, W. Jin, M. Casper, J. Hargrave, H. Molina, F. Weng. 1994. PANGLYZER: Spanish Language Analysis System. In Proc. First Conference of the Association for Machine Translation in the Americas. Columbia, Maryland.
Robert Frederking, S. Nirenburg, D. Farwell, S. Helmreich, E. Hovy, K. Knight, S. Beale, C. Domashnev, D. Attardo, D. Grannes and R. Brown. 1994. Integrating Translations from Multiple Sources within the Pangloss Mark III Machine Translation System. In Proc. First Conference of the Association for Machine Translation in the Americas. Columbia, Maryland.
E.C. Freuder. 1978. Synthesizing Constraint Expressions. Communications ACM 21(11): 958-966.
Barbara J. Grosz and Candace L. Sidner. 1986. Attentions, Intentions, and the Structure of Discourse. Computational Linguistics 12(3): 175-204.
Liliane Haegeman. 1991. An Introduction to Government and Binding Theory. Blackwell Publishers, Oxford, U.K.
K. Inui, T. Tokunaga and H. Tanaka. 1992. Text Revision: a Model and its Implementation. In Aspects of Automated Natural Language Generation, R. Dale, E. Hovy, D. Roesner and O. Stock, editors. Springler-Verlag.
E.W. Lawler and D.E. Wood. 1966. Branch-and-Bound Methods: a Survey. Operations Research 14: 699-719.
A.K. Mackworth. 1977. Consistency in Networks of Relations. Artificial Intelligence 8(1): 99-118.
A.K. Mackworth and E.C. Freuder. 1985. The Complexity of Some Polynomial Consistency Algorithms for Constraint Satisfaction Problems. Artificial Intelligence 25: 65-74.
Kavi Mahesh and Sergei Nirenburg. 1995. A situated ontology for practical NLP. In Proceedings of the Workshop on Basic Ontological Issues in Knowledge Sharing, International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Canada.
S. Minton, M. Johnston, A. Philips and P. Laird. 1990. Solving Large-scale Constraint Satisfaction and Scheduling Problems Using a Heuristic Repair Method. In Proc. Seventh National Conference on Artificial Intelligence (AAAI90), Boston.
Boyan Onyshkevych and Sergei Nirenburg. 1994. The Lexicon in the Scheme of KBMT Things. Technical Report MCCS-94-277, Computing Research Lab, New Mexico State University.
R. Mohr and T.C. Henderson. 1986. Arc and Path Consistency Revisited. Artificial Intelligence 28: 225-233.
Allen Newell and Herbert Simon. 1972. Human Problem Solving. Prentice-Hall, Englewood Cliffs, N.J.
B. Onyshkevych. (1995). A Generalized Lexical-Semantics-Driven Approach to Semantic Analysis. Dissertation Proposal, Carnegie Mellon University, Program in Computational Linguistics.
Jacques Robin. 1994. Revision-Based Generation of Natural Language Summaries Providing Historical Background. Technical Report CUCS-034-94, Columbia University.
Josh D. Tenenberg. 1991. Abstraction in Planning. In Reasoning about Plans. James A. Allen, Henry A. Kautz, Richard N. Pelavin and Josh D. Tenenberg, eds. Morgan Kaufmann Publishers, San Mateo, Ca.
Edward Tsang. 1993. Foundations of Constraint Satisfaction. Academic Press, London.
Edward Tsang and Nigel Foster. 1990. Solution Synthesis in the Constraint Satisfaction Problem. Technical Report, CSM-142, Dept. of Computer Science, Univ. of Essex.
Evelyne Viegas and Stephen Beale. 1996. Multilinguality and Reversibility in Computational Semantic Lexicons. In Proc. to the 8th International Workshop on Natural Language Generation, Poster Session, Sussex, UK.
E. Viegas and S. Nirenburg. 1995. The Semantic Recovery of Event Ellipsis: its Computational Treatment. In Proc. IJCAI-95 Workshop on Context in NLP. Montreal, Canada.
P.H. Winston. 1984. Artificial Intelligence Addison-Wesley, Readig, MA.
R. Michael Young and Johanna D. Moore. 1994. DPOCL: A Principled Approach to Discourse Planning. In Proceedings of the Seventh International Workshop on Natural Language Generation, Kennebunkport, ME.