U. Hedtstück is an author at IBM (United States) specializing in knowledge representation, knowledge compilation, and engineering.
Top concepts
SemanticsEngineeringOrder-sorted LogicAutomated ReasoningKnowledge CompilationKnowledge Representation
Publications per year
1992–1992
1
1
An order-sorted logic for knowledge representation systems
Christoph Beierle, U. Hedtstück, Udo Pletat et al. · Artificial Intelligence · 1992 · 71 citations
Rows per page
1–1 of 1