2
Publications
76
Citations
2
H-Index
1991
Active since
Affiliations
K.-C. Liu is an author at AT&T (United States) specializing in automated reasoning, non-monotonic logic, and knowledge representation.
Top concepts
SemanticsEngineeringRelational QueriesAutomated ReasoningNon-monotonic LogicKnowledge CompilationKnowledge RepresentationSemantic WebFormal MethodsSocial Sciences
Publications per year
1991–2002
2
2
Rows per page
1–2 of 2