Nils J. Nilsson
- Strips: A new approach to the application of theorem proving to problem solving
1971/12/01 by Richard E. Fikes, Richard Fikes, Nils J. Nilsson · 4,082 citations
Computer Science · Mathematics · #Algebra over a field #Algorithm #Artificial intelligence #Automated theorem proving #Boolean satisfiability problem #Calculus (dental) #Computer science #Discrete mathematics #First-order logic #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical optimization #Mathematics #Problem solver #Pure mathematics #Resolution (logic) #STRIPS #Sequence (biology) #Solver