![Automated theorem proving / Logic programming / Inductive logic programming / PROGOL / Unit propagation / Clause / Macro / Rule induction / Time complexity / Theoretical computer science / Computer programming / Applied mathematics Automated theorem proving / Logic programming / Inductive logic programming / PROGOL / Unit propagation / Clause / Macro / Rule induction / Time complexity / Theoretical computer science / Computer programming / Applied mathematics](https://www.pdfsearch.io/img/ded80c1a7dbbd4852206ef17d249d047.jpg)
| Document Date: 2008-12-01 11:19:41 Open Document File Size: 638,30 KBShare Result on Facebook
City Banff / / Company ACE / / Country Canada / / / Facility A square / University Magdeburg / University Bonn / / IndustryTerm search strategies / mining / hill-climbing search algorithm / search resources / greedy search / greedy search strategy / search space / exhaustive search / search algorithm / hill-climbing search / beam-search and determinate literals / / MarketIndex ILP / / Person Oscar Meruvia / Stefan Wrobel Fraunhofer / Van Laer / / Position author / King / / ProgrammingLanguage C / Prolog / Java / / ProvinceOrState W. V. / / PublishedMedium Machine Learning / / Technology data mining / machine learning / hill-climbing search algorithm / search algorithm / Java / hill-climbing using Algorithm / /
SocialTag |