Home /Research /Logic-axiomatical method of knowledge representation and recognition for robots
OTHER

Logic-axiomatical method of knowledge representation and recognition for robots

A.V. Timopheev, T.M. Kossovskaya

Year
1990
Citations
3

Keywords

AxiomKnowledge representation and reasoningComputer scienceRobotArtificial intelligenceInferenceRepresentation (politics)First-order logicPredicate (mathematical logic)Rule of inference

Related papers

Browse all OTHER papers