Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
Lifted discriminative learning of probabilistic logic programsMachine learning, 2019-07, Vol.108 (7), p.1111-1135 [Peer Reviewed Journal]The Author(s) 2018 ;Machine Learning is a copyright of Springer, (2018). All Rights Reserved. ;ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-018-5750-0Full text available |
|
2 |
Material Type: Article
|
Logical reduction of metarulesMachine learning, 2020-07, Vol.109 (7), p.1323-1369 [Peer Reviewed Journal]The Author(s) 2019 ;The Author(s) 2019. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-019-05834-xFull text available |
|
3 |
Material Type: Article
|
Inductive general game playingMachine learning, 2020-07, Vol.109 (7), p.1393-1434 [Peer Reviewed Journal]The Author(s) 2019 ;The Author(s) 2019. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-019-05843-wFull text available |
|
4 |
Material Type: Article
|
Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic TouchElectronic proceedings in theoretical computer science, 2021-09, Vol.345, p.141-154ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.345.27Full text available |
|
5 |
Material Type: Article
|
Magnetic skyrmion logic gates: conversion, duplication and merging of skyrmionsScientific reports, 2015-03, Vol.5 (1), p.9400-9400, Article 9400 [Peer Reviewed Journal]Copyright Nature Publishing Group Mar 2015 ;Copyright © 2015, Macmillan Publishers Limited. All rights reserved 2015 Macmillan Publishers Limited. All rights reserved ;ISSN: 2045-2322 ;EISSN: 2045-2322 ;DOI: 10.1038/srep09400 ;PMID: 25802991Full text available |
|
6 |
Material Type: Article
|
Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)Bulletin of the Section of Logic, 2023, Vol.52 (2), p.101-108 [Peer Reviewed Journal]Copyright University of Łódź 2023 ;ISSN: 0138-0680 ;EISSN: 2449-836X ;DOI: 10.18778/0138-0680.2023.12Full text available |
|
7 |
Material Type: Article
|
Probabilistic (logic) programming conceptsMachine learning, 2015-07, Vol.100 (1), p.5-47 [Peer Reviewed Journal]The Author(s) 2015 ;ISSN: 0885-6125 ;ISSN: 1573-0565 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-015-5494-zFull text available |
|
8 |
Material Type: Article
|
Ultra-Strong Machine Learning: comprehensibility of programs learned with ILPMachine learning, 2018-07, Vol.107 (7), p.1119-1140 [Peer Reviewed Journal]The Author(s) 2018 ;Machine Learning is a copyright of Springer, (2018). All Rights Reserved. ;ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-018-5707-3Full text available |
|
9 |
Material Type: Article
|
Meta-Interpretive Learning from noisy imagesMachine learning, 2018-07, Vol.107 (7), p.1097-1118 [Peer Reviewed Journal]The Author(s) 2018 ;Machine Learning is a copyright of Springer, (2018). All Rights Reserved. ;ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-018-5710-8Full text available |
|
10 |
Material Type: Article
|
Neng-Fa Zhou. Constraint Solving and Planning with PicatTheory and practice of logic programming, 2017-01, Vol.17 (1), p.118-120 [Peer Reviewed Journal]ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068416000181Full text available |
|
11 |
Material Type: Article
|
Learning programs by learning from failuresMachine learning, 2021-04, Vol.110 (4), p.801-856 [Peer Reviewed Journal]The Author(s) 2021 ;The Author(s) 2021. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-020-05934-zFull text available |
|
12 |
Material Type: Article
|
Logic program invertibility in cryptography problemsJournal of physics. Conference series, 2021-05, Vol.1902 (1), p.12049 [Peer Reviewed Journal]Published under licence by IOP Publishing Ltd ;2021. This work is published under http://creativecommons.org/licenses/by/3.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/1902/1/012049Full text available |
|
13 |
Material Type: Article
|
Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approachAnnals of operations research, 2019-02, Vol.273 (1-2), p.257-277 [Peer Reviewed Journal]The Author(s) 2017 ;COPYRIGHT 2019 Springer ;Annals of Operations Research is a copyright of Springer, (2017). All Rights Reserved. © 2017. This work is published under http://creativecommons.org/licenses/by/4.0 (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 0254-5330 ;EISSN: 1572-9338 ;DOI: 10.1007/s10479-017-2722-xFull text available |
|
14 |
Material Type: Article
|
Induction and exploitation of subgoal automata for reinforcement learningAI Access Foundation. The original article was published in Journal of Artificial Intelligence Research and can be found at http://dx.doi.org/10.1613/jair.1.12372 info:eu-repo/semantics/openAccess ;ISSN: 1943-5037 ;EISSN: 1943-5037 ;DOI: 10.1613/jair.1.12372Full text available |
|
15 |
Material Type: Article
|
Meta-interpretive learning: application to grammatical inferenceMachine learning, 2014-01, Vol.94 (1), p.25-49 [Peer Reviewed Journal]The Author(s) 2013 ;The Author(s) 2014 ;ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-013-5358-3 ;CODEN: MALEEZFull text available |
|
16 |
Material Type: Article
|
ILP turns 20: Biography and future challengesMachine learning, 2012, Vol.86 (1), p.3-23 [Peer Reviewed Journal]The Author(s) 2011 ;ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-011-5259-2Full text available |
|
17 |
Material Type: Article
|
Learning Explanatory Rules from Noisy DataThe Journal of artificial intelligence research, , Vol.61, p.1-64 [Peer Reviewed Journal]2018. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the associated terms available at https://www.jair.org/index.php/jair/about ;ISSN: 1076-9757 ;EISSN: 1943-5037 ;DOI: 10.1613/jair.5714Full text available |
|
18 |
Material Type: Article
|
Markov logic networksMachine learning, 2006-02, Vol.62 (1-2), p.107-136 [Peer Reviewed Journal]Springer Science + Business Media, Inc. 2006 ;ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-006-5833-1Full text available |
|
19 |
Material Type: Article
|
Constructing generative logical models for optimisation problems using domain knowledgeMachine learning, 2020-07, Vol.109 (7), p.1371-1392 [Peer Reviewed Journal]The Author(s), under exclusive licence to Springer Science+Business Media LLC, part of Springer Nature 2019 ;The Author(s), under exclusive licence to Springer Science+Business Media LLC, part of Springer Nature 2019. ;ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-019-05842-xFull text available |
|
20 |
Material Type: Article
|
Inductive logic programming at 30Machine learning, 2022-01, Vol.111 (1), p.147-172 [Peer Reviewed Journal]The Author(s) 2021 ;The Author(s) 2021. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/s10994-021-06089-1Full text available |