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

&
Artificial Intelligence 2 (3-4):189-208 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(71)90010-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Is Mathematics Problem Solving or Theorem Proving?Carlo Cellucci - 2017 - Foundations of Science 22 (1):183-199.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
What’s the Problem with Problem-Solving? Language, Skepticism, and Pragmatism.Naoko Saito & Paul Standish - 2009 - Contemporary Pragmatism 6 (1):153-167.
Knowledge integration in creative problem solving.Ron Sun - unknown
Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
Pragma-Dialectical Analysis and Evaluation of Problem-Solving Discussion.M. A. van Rees - 2003 - Argumentation 17 (4):465-479.
Pragma-Dialectical Analysis and Evaluation of Problem-Solving Discussion.M. A. Van Rees - 2003 - Argumentation 17 (4):465-479.
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.Michael J. C. Gordon & Tom F. Melham - 1993
Integrating interdisciplinary problem solving through process.Brian Hepburn & Henrik Thorén - unknown
First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
From the four-color theorem to a generalizing “four-letter theorem”: A sketch for “human proof” and the philosophical interpretation.Vasil Penchev - 2020 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 12 (21):1-10.
Theorem Proving in Higher Order Logics 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1998 : Proceedings'.Jim Grundy & Malcolm Newey - 1998 - Springer Verlag.
Los aspectos erotéticos de la ciencia: el caso de la genética.Pablo Lorenzano - 2013 - Revista de Filosofia Aurora 25 (36):13-41.
Virtuality as a basis for problem solving?Gianni Degli Antoni & Rita Pizzi - 1991 - AI and Society 5 (3):239-245.
Theorem Proving in Higher Order Logics : Emerging Trends 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 ; Supplementary Proceedings'.Jim Grundy & Malcolm Charles Newey - 1998

Analytics

Added to PP
2020-12-22

Downloads
23 (#664,515)

6 months
17 (#141,290)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
Planning in a hierarchy of abstraction spaces.Earl D. Sacerdoti - 1974 - Artificial Intelligence 5 (2):115-135.
Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.

View all 214 citations / Add more citations

References found in this work

No references found.

Add more references