David C. Littman

According to our database, David C. Littman authored at least 9 papers between 1986 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1993

The role of policy in requirements definition.

Edgar H. Sibley, Richard L. Wexelblat, J. Bret Michael, Michael C. Tanner, David C. Littman

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Integration of formal and heuristic reasoning as a basis for testing and debugging computer security policy.

James Bret Michael, Edgar H. Sibley, David C. Littman

Proceedings of the Proceedings on the 1992-1993 Workshop on New Security Paradigms, 1993

1990

The Knowledge Required for Tutorial Planning: An Empirical Analysis.

David C. Littman, Jeannine Pinto, Elliot Soloway

Interact. Learn. Environ., 1990

1988

1987 International Workshop on Knowledge Representation and Organization in Machine Learning.

David C. Littman

Künstliche Intell., 1988

Designing Documentation to Compensate for Delocalized Plans.

Elliot Soloway, Jeannine Pinto, Stanley Letovsky, David C. Littman, Robin Lampert

Commun. ACM, 1988

1987

Mental models and software maintenance.

David C. Littman, Jeannine Pinto, Stanley Letovsky, Elliot Soloway

J. Syst. Softw., 1987

Modelling Human Expertise in Knowledge Engineering: Some Preliminary Observations.

David C. Littman

Int. J. Man Mach. Stud., 1987

Constructing Expert Systems as Building Mental Models or Toward a Cognitive Ontology for Expert Systems.

David C. Littman

Proceedings of the Knowledge Representation and Organization in Machine Learning [Workshop, 1987

1986

An Analysis of Tutorial Reasoning about Programming Bugs.

David C. Littman, Jeannine Pinto, Elliot Soloway

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986