EntityQ1185775· pop 10· linked from 45 articlesframe problemSign in to savethe problem of finding adequate collections of axioms for a viable description of a robot environment using first-order logicConnectionsSituation calculusEntityphilosophyEntityArtificial intelligenceConceptGottfried Wilhelm LeibnizEntityInternational Standard Book NumberEntityaxiomEntityStanford UniversityEntitydigital object identifierEntityInternational Standard Serial NumberEntityLispEntitycognitive scienceEntityOCLC, Inc.Entitycommon senseEntityJohn McCarthyEntityRoyal Swedish Academy of SciencesEntitypropositionEntityformal languageEntityUniversity of Texas at AustinEntityStanford Encyclopedia of PhilosophyEntitygarbage collectionEntityCategories1969 introductionsConcepts in epistemologyKnowledge representationLogic programmingPhilosophical problemsProblems in artificial intelligence