Knowledge-Based Systems · 2010 · 37 citations · 26 references
ComputingComputer ScienceVisualizationFormal MethodsKnowledge RepresentationLogicAutomated ReasoningDeductive ReasoningProof AssistantsProof TheorySemantic NetworksTheorem ProvingDefeasible ArgumentationDefeasible LogicFormal Proof SystemsProof SearchProof SystemsProof VisualizationSemantic Web
26
Tim Berners‐Lee, James Hendler, Ora Lassila · Scientific American · 2001 · 8.5K citations
Gary Stix · Scientific American · 2001 · 1.8K citations
Life Sciences, Biology, Zoology +4
Knowledge Interchange Format Version 3.0 Reference Manual
Michael Genesereth · 1992 · 793 citations