IntelliGineering Corp.
We Engineer Knowledge!
Publications by Dr. Bernard Nadel

Click on underlined text to follow hyperlink.


Chapters Published in Books

Nadel B. A., "Consistent-labeling problems and their algorithms: expected-complexities and theory-based heuristics", in Search and Heuristics, edited by J. Pearl, North-Holland, Amsterdam, 1983, pp. 135-178.

Utgoff P. E. and Nadel B. A., "A bibliography on machine learning" in Machine Learning, edited by Michalski R., Carbonell J. and Mitchell T., Tioga Press, 1983, pp 511-550.

Nadel B. A., "Tree search and arc consistency in constraint satisfaction algorithms", in Search in Artificial Intelligence, edited by L. Kanal and V. Kumar, Springer-Verlag, 1988, 287-342.

Nadel B. A. and Lin J., "Automobile transmission design as a constraint satisfaction problem: First results", in Artificial Intelligence in Engineering Design, vol. 1, edited by Tong C. and Sriram D., Academic Press, 1992, pp. 117-134.

Nadel B. A., invited 2,500-word entry "Algorithms" in the Macmillan Encyclopedia of Computers, edited by G. Bitter, Macmillan Publishing Co., New York, 1992, pp. 46-51.


Journal Articles Published

Fletcher G. C. and Nadel B. A., "Quantum mechanical band calculations for transition metals", International Journal of Quantum Chemistry — Symp. no 7., 1973, pp. 619-627.

Nadel B. A. and Utgoff P. E., "A bibliography on machine learning" in SIGART Newsletter of the ACM -Special issue on Machine Learning, April 1981.

Nadel B. A., "Consistent-labeling problems and their algorithms: expected-complexities and theory-based heuristics", Artificial Intelligence (Special Issue on Search and Heuristics), vol. 21, nos. 1 and 2, March 1983, pp. 135-178.

Nadel B. A., "Constraint satisfaction algorithms", Computational Intelligence, vol. 5(4), 1989, pp. 188-224.

Nadel B. A., "Representation selection for constraint satisfaction: a case study using n-queens", IEEE Expert, vol. 5(3), June 1990, pp. 16-23.

Nadel B. A. and Lin J., "Automobile transmission design as a constraint satisfaction problem: Modeling the kinematic level", Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AI EDAM), vol. 5(3), 1991, pp. 137-171.

Nadel B. A.,  "Precision complexity analysis: a case study using insertion sort", Information Sciences, An International Journal, vol. 73, nos. 1 and 2, Sept. 1993, pp. 139-189.

Nadel B. A., Wu X. and Kagan D., "Multiple abstraction levels in automobile transmission design: constraint satisfaction formulations and implementations", Int. J. Expert Systems: Research and Applications, vol. 6(4), 1993, pp. 489-559.

Nadel B. A., "Constraint satisfaction in Prolog: Complexity and theory-based heuristics", Information Sciences, An International Journal, vol. 83, numbers 3 and 4, 1995, pp. 113-131.

Nadel B. A., "Seats of Knowledge" (about Artificial Intelligence in Design and Manufacturing), Cutting Tool Engineering, August, 1997.


Papers Published in Conference Proceedings

Weiss S., Kulikowski C. and Nadel B., "Learning production rules for consultation systems", Proc. 6-th International Joint Conf. on Artificial Intelligence (IJCAI-79), Tokyo, August 1979, pp. 948-950.

Mitchell T., Utgoff P., Nadel B. A. and Banerji R. "Learning problem-solving heuristics through practice", Proc. 7-th International Joint Conf. on Artificial Intelligence (IJCAI-81), Vancouver, B. C., August 1981, pp. 127-134.

Nadel B. A., "Consistent labeling problems and their algorithms", Proc. Nat. Conf. on Artificial Intelligence (AAAI-82), Pittsburgh, PA, August 1982, pp. 128-132.

Nadel B. A., "Solving the general consistent labeling (or constraint satisfaction) problem: Two algorithms and their expected complexities", Proc. Nat. Conf. on Artificial Intelligence (AAAI-83), Washington D.C., August 1983, pp. 292-296.

Nadel B. A., "The complexity of constraint satisfaction in Prolog", Nat. Conf. on Artificial Intelligence (AAAI-90), Boston, Massachusetts, August 1990, pp. 33-39.

Nadel B. A. and Lin J., "Automobile transmission design as a constraint satisfaction problem: First results", Proc.7-th IEEE Conf. on Artificial Intelligence Applications (IEEE CAIA-91), Miami Beach, Florida, February 1991, pp. 248-256.


Other

• Nadel B. A., The Consistent Labeling Problem and its Algorithms: Towards Exact-Case Complexities and Theory-Based Heuristics, Computer Science Dept., Rutgers University, New Brunswick, N. J., May 1986, Ph. D. dissertation.