David C. Littman

Publication Activity (10 Years)

Years Active: 1986-1993
Publications (10 Years): 0

Publications

James Bret Michael, Edgar H. Sibley, David C. Littman
Integration of formal and heuristic reasoning as a basis for testing and debugging computer security policy. NSPW (1993)
Edgar H. Sibley, Richard L. Wexelblat, J. Bret Michael, Michael C. Tanner, David C. Littman
The role of policy in requirements definition. RE (1993)
David C. Littman, Jeannine Pinto, Elliot Soloway
The Knowledge Required for Tutorial Planning: An Empirical Analysis. Interact. Learn. Environ. 1 (2) (1990)
David C. Littman
1987 International Workshop on Knowledge Representation and Organization in Machine Learning. Künstliche Intell. 2 (1) (1988)
Elliot Soloway, Jeannine Pinto, Stanley Letovsky, David C. Littman, Robin Lampert
Designing Documentation to Compensate for Delocalized Plans. Commun. ACM 31 (11) (1988)
David C. Littman
Constructing Expert Systems as Building Mental Models or Toward a Cognitive Ontology for Expert Systems. Knowledge Representation and Organization in Machine Learning (1987)
David C. Littman
Modelling Human Expertise in Knowledge Engineering: Some Preliminary Observations. Int. J. Man Mach. Stud. 26 (1) (1987)
David C. Littman, Jeannine Pinto, Stanley Letovsky, Elliot Soloway
Mental models and software maintenance. J. Syst. Softw. 7 (4) (1987)
David C. Littman, Jeannine Pinto, Elliot Soloway
An Analysis of Tutorial Reasoning about Programming Bugs. AAAI (1986)