EntityQ996052· pop 11· linked from 30 articlesSTRIPSSign in to saveartificial intelligence system for automated planningConnectionsInternational Standard Book NumberEntitydigital object identifierEntitypropositional calculusEntityformal languageEntityreinforcement learningEntityQ22908627EntityNP-completeEntityPEntitypredicateEntitySRI InternationalEntityStuart J. RussellEntityCiteSeerXEntityPeter NorvigEntitycomputational complexityEntityPSPACEEntitygenetic programmingEntityautomated planning and schedulingEntitypropositional variableEntityfree and bound variablesEntityNils John NilssonEntityCategories1971 softwareAutomated planning and schedulingHistory of artificial intelligenceSRI International software