Concepedia
WLP · 2000 · 10 citations · 0 references
ComputingComputer ScienceKnowledge RepresentationLogicMachine LearningAutomated ReasoningDeductive ReasoningMathematical LogicModal LogicModel TheoryNeural NetworksComputational Logic