Strips: A new approach to the application of theorem proving to problem solving

Richard E. Fikes, Nils J. Nilsson

Journal: Artificial Intelligence

Publisher: Elsevier BV

Citations are the number of DOI-registered works in Crossref that cite this paper; references are how many works it cites. Full text is on the publisher site via the DOI link.