Temporally coarse representation of behavior for model-based troubleshooting of digital circuits

Authors:
Walter Hamscher
Affiliations:
Price Waterhouse Technology Centre, Menlo Park, CA
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Year:
1989

Citing 7
Cited 1

Towards a general theory of action and time

Artificial Intelligence
Diagnostic reasoning based on structure and behavior

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
An assumption-based TMS

Artificial Intelligence
Temporal data base management

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
Issues in Model Based Troubleshooting

Issues in Model Based Troubleshooting

Model-based reconfiguration: toward an integration with diagnosis

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...