Artificial Intelligence Review · 2006 · 42 citations · 23 references
ComputingComputer ScienceFormal MethodsKnowledge RepresentationSemanticsConsistency ModelsDescription LogicsVersion ControlBelief RevisionDescription Logic ReasoningLogic Model RevisionLogic RevisionVersioning Semantics
23
Tim Berners‐Lee, James Hendler, Ora Lassila · Scientific American · 2001 · 8.5K citations
Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations
A theory of diagnosis from first principles
Raymond Reiter · Artificial Intelligence · 1987 · 2.9K citations
Attributive concept descriptions with complements
Manfred Schmidt-Schauß, Gert Smolka · Artificial Intelligence · 1991 · 964 citations