[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article

On the notion of interestingness in automated mathematical discovery

Published: 01 September 2000 Publication History

Abstract

No abstract available.

Cited By

View all
  • (2016)Object replacement and object composition in a creative cognitive system. Towards a computational solver of the Alternative Uses TestCognitive Systems Research10.1016/j.cogsys.2015.12.01139:C(15-32)Online publication date: 1-Sep-2016
  • (2016)Automated conjecturing IArtificial Intelligence10.1016/j.artint.2015.10.002231:C(17-38)Online publication date: 1-Feb-2016
  • (2015)Debugging a Crowdsourced Task with Low Inter-Rater AgreementProceedings of the 15th ACM/IEEE-CS Joint Conference on Digital Libraries10.1145/2756406.2757741(101-110)Online publication date: 21-Jun-2015
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image International Journal of Human-Computer Studies
International Journal of Human-Computer Studies  Volume 53, Issue 3
Special issue on Machine Discovery
Sept. 2000
100 pages
ISSN:1071-5819
  • Editor:
  • B. R. Gaines
Issue’s Table of Contents

Publisher

Academic Press, Inc.

United States

Publication History

Published: 01 September 2000

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2016)Object replacement and object composition in a creative cognitive system. Towards a computational solver of the Alternative Uses TestCognitive Systems Research10.1016/j.cogsys.2015.12.01139:C(15-32)Online publication date: 1-Sep-2016
  • (2016)Automated conjecturing IArtificial Intelligence10.1016/j.artint.2015.10.002231:C(17-38)Online publication date: 1-Feb-2016
  • (2015)Debugging a Crowdsourced Task with Low Inter-Rater AgreementProceedings of the 15th ACM/IEEE-CS Joint Conference on Digital Libraries10.1145/2756406.2757741(101-110)Online publication date: 21-Jun-2015
  • (2015)Situated interpretation in computational creativityKnowledge-Based Systems10.1016/j.knosys.2014.12.00580:C(48-57)Online publication date: 1-May-2015
  • (2012)Discovery of invariants through automated theory formationFormal Aspects of Computing10.1007/s00165-012-0264-126:2(203-249)Online publication date: 16-Oct-2012
  • (2012)A combinator language for theorem discoveryProceedings of the 11th international conference on Intelligent Computer Mathematics10.1007/978-3-642-31374-5_25(371-385)Online publication date: 8-Jul-2012
  • (2007)Computational Discovery in Pure MathematicsComputational Discovery of Scientific Knowledge10.1007/978-3-540-73920-3_9(175-201)Online publication date: 1-May-2007
  • (2006)The Crystallizing Substochastic Sequential Machine ExtractorNeural Computation10.1162/neco.2006.18.9.221118:9(2211-2255)Online publication date: 1-Sep-2006
  • (2006)Mathematical applications of inductive logic programmingMachine Language10.1007/s10994-006-8259-x64:1-3(25-64)Online publication date: 1-Sep-2006
  • (2006)Predictive and descriptive approaches to learning game rules from vision dataProceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence10.1007/11874850_39(349-359)Online publication date: 23-Oct-2006
  • Show More Cited By

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media