Problem solving by searching for models with a theorem prover

&
Artificial Intelligence 69 (1-2):205-233 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)90082-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

A circumscriptive theorem prover.Matthew L. Ginsberg - 1989 - Artificial Intelligence 39 (2):209-230.
Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
Computer models solving intelligence test problems: Progress and implications.José Hernández-Orallo, Fernando Martínez-Plumed, Ute Schmid, Michael Siebers & David L. Dowe - 2016 - Artificial Intelligence 230 (C):74-107.
The tableau prover generator mettel2.Dmitry Tishkovsky, Renate A. Schmidt & Mohammad Khodadadi - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 492--495.
Problem solving with the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):197-224.
Searching in a Maze, in search of knowledge: Issues in early artificial intelligence.Roberto Cordeschi - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer Verlag. pp. 1-23.
Insightful artificial intelligence.Marta Halina - 2021 - Mind and Language 36 (2):315-329.
Search and Reasoning in problem solving.Herbert A. Simon - 1983 - Artificial Intelligence 21 (1-2):7-29.
Problem-solving with diagrammatic representations.Brian V. Funt - 1980 - Artificial Intelligence 13 (3):201-230.
Modelling student's problem solving.D. H. Sleeman & M. J. Smith - 1981 - Artificial Intelligence 16 (2):171-187.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,560,632)

6 months
2 (#1,446,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Consistency in networks of relations.Alan K. Mackworth - 1977 - Artificial Intelligence 8 (1):99-118.
An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
Problem solving with the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):197-224.

Add more references