Show simple item record

Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99

dc.contributor.authorColton, Simon
dc.contributor.authorBundy, Alan
dc.contributor.authorWalsh, Toby
dc.date.accessioned2010-12-22T14:40:41Z
dc.date.available2010-12-22T14:40:41Z
dc.date.issued1999
dc.identifier.isbn1-55860-613-0en
dc.identifier.urihttp://hdl.handle.net/1842/4570
dc.description.abstractThe HR program forms concepts and makes conjectures in domains of pure mathematics and uses theorem prover OTTER and model generator MACE to prove or disprove the conjectures. HR measures properties of concepts and assesses the theorems and proofs involving them to estimate the interestingness of each concept and employ a best first search. This approach has led HR to the discovery of interesting new mathematics and enables it to build theories from just the axioms of finite algebras.en
dc.language.isoenen
dc.titleAutomatic Concept Formation in Pure Mathematicsen
dc.typeConference Paperen
rps.titleProceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99en
dc.extent.noOfPages786-793en
dc.extent.pageNumbers786-791en
dc.date.updated2010-12-22T14:40:41Z
dc.date.openingDate1999-07-31
dc.date.closingDate1999-08-06


Files in this item

This item appears in the following Collection(s)

Show simple item record