Concepedia

Tin A. Nguyen

TA

3

Publications

230

Citations

3

H-Index

1985

Active since

Affiliations

Lockheed Martin (United States)(Current)

Tin A. Nguyen is an author at Lockheed Martin (United States) specializing in automated reasoning, systems engineering, and verification.

Top concepts

Publications per year

1985–1987

3

Publications

3

Checking an expert systems knowledge base for consistency and completeness

Tin A. Nguyen, W. A. Perkins, Thomas J. Laffey et al. · International Joint Conference on Artificial Intelligence · 1985 · 183 citations

, , +21

Reasoning About Fault Diagnosis with LES

Thomas J. Laffey, Walton A. Perkins, Tin A. Nguyen · IEEE Expert · 1986 · 37 citations

, , +8

Checking a Knowledge-Based System for Consistency and Completeness

Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey et al. · AI Magazine · 1987 · 10 citations

, , +20

Rows per page

1–3 of 3