Mathematical applications of inductive logic programming-Reference-Cited by-同舟云学术

Mathematical applications of inductive logic programming

Published:2006-05-17 Issue:1-3 Volume:64 Page:25-64
ISSN:0885-6125
Container-title:Machine Learning
language:en
Short-container-title:Mach Learn

Author:

Colton Simon,Muggleton Stephen

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Software

Link

http://link.springer.com/content/pdf/10.1007/s10994-006-8259-x.pdf

Reference44 articles.

1. Abell, M., & Braselton, J. (1994). Maple V by example. Associated Press Professional.

2. Brachman, R., & Levesque, H. (Eds.), (1985). Readings in knowledge representation. Morgan Kaufmann.

3. Caporossi, G., & Hansen, P. (1999), Finding relations in polynomial time. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence.

4. Colton, S. (1999). Refactorable numbers—a machine invention. Journal of Integer Sequences, 2.

5. Colton, S. (2000). An application-based comparison of automated theory formation and inductive logic programming. Electronic Transactions in Artificial Intelligence, 4(B).

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reasoned Modelling: Harnessing the Synergies Between Reasoning and Modelling;Mathematical Reasoning: The History and Impact of the DReaM Group;2021

2. The Use of Automated Theory Formation in Support of Hazard Analysis;Lecture Notes in Computer Science;2018

3. Discovery of invariants through automated theory formation;Formal Aspects of Computing;2014-03

4. Mathematical Practice, Crowdsourcing, and Social Machines;Lecture Notes in Computer Science;2013

5. A proposal for augmenting biological model construction with a semi-intelligent computational modeling assistant;Computational and Mathematical Organization Theory;2011-11-05