Keywords
STRIPSFirst-order logicAutomated theorem provingProblem solverMathematicsCalculus (dental)SolverResolution (logic)Sequence (biology)Boolean satisfiability problemComputer scienceAlgebra over a fieldAlgorithmDiscrete mathematicsMathematical optimizationArtificial intelligencePure mathematics
Affiliated Institutions
Related Publications
A Formalization of Knowledge‐Level Models for Knowledge Acquisition
This article defines second‐generation knowledge acquisition as a modeling activity that is knowledge‐level oriented. Knowledge‐level models of expert reasoning represent an imp...
On bandwidth
It is easy to argue that real signals must be bandlimited. It is also easy to argue that they cannot be so. This paper presents one possible resolution of this seeming paradox. ...
Global Optimization with Polynomials and the Problem of Moments
We consider the problem of finding the unconstrained global minimum of a real-valued polynomial p(x): {\mathbb{R}}^n\to {\mathbb{R}}$, as well as the global minimum of p(x), in ...
Contexts: a formalization and some applications
Traditionally, logical formulas (and other structures) used in representation are supposed to be objective, decontextualized truths. In reality, however, they have many contextu...
Publication Info
- Year
- 1971
- Type
- article
- Volume
- 2
- Issue
- 3-4
- Pages
- 189-208
- Citations
- 4025
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
4025
OpenAlex
Cite This
Richard Fikes,
Nils J. Nilsson
(1971).
Strips: A new approach to the application of theorem proving to problem solving.
Artificial Intelligence
, 2
(3-4)
, 189-208.
https://doi.org/10.1016/0004-3702(71)90010-5
Identifiers
- DOI
- 10.1016/0004-3702(71)90010-5