Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited

&
Artificial Intelligence 231:17-38 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2015.10.002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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

Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
Conjecturing hidden entities by means of simplicity and conservation laws.Raúl E. Valdés-Pérez - 1994 - Artificial Intelligence 65 (2):247-280.
Heuristic search in artificial intelligence.Weixiong Zhang, Rina Dechter & Richard E. Korf - 2001 - Artificial Intelligence 129 (1-2):1-4.
Advanced study institute on artificial intelligence and heuristic programming.N. V. Findler & Bernard Meltzer - 1970 - Artificial Intelligence 1 (3-4):291-298.
Automated program recognition.Linda Mary Wills - 1990 - Artificial Intelligence 45 (1-2):113-171.
Automated space planning.Charles M. Eastman - 1973 - Artificial Intelligence 4 (1):41-64.
Automated analysis of instructional text.Lewis M. Norton - 1983 - Artificial Intelligence 20 (3):307-344.
Automated reasoning about machines.Andrew Gelsey - 1995 - Artificial Intelligence 74 (1):1-53.
Advances in automated plan generation.Maria Fox & Sylvie Thiébaux - 2009 - Artificial Intelligence 173 (5-6):501-502.
Automated design of specialized representations.Jeffrey Van Baalen - 1992 - Artificial Intelligence 54 (1-2):121-198.

Analytics

Added to PP
2020-12-22

Downloads
11 (#1,406,132)

6 months
6 (#809,985)

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

The nature of heuristics.Douglas B. Lenat - 1982 - Artificial Intelligence 19 (2):189-249.
The ubiquity of discovery.Douglas B. Lenat - 1977 - Artificial Intelligence 9 (3):257-285.

Add more references