- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource, 1 online resource.
- Sprache
-
Englisch
- Erschienen in
-
Learning logic programs by explaining their failures ; volume:112 ; number:10 ; day:7 ; month:8 ; year:2023 ; pages:3917-3943 ; date:10.2023
Machine learning ; 112, Heft 10 (7.8.2023), 3917-3943, 10.2023
- Klassifikation
-
Informatik
- Urheber
-
Morel, Rolf
Cropper, Andrew
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10994-023-06358-1
- URN
-
urn:nbn:de:101:1-2023112012001297055699
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:32 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Morel, Rolf
- Cropper, Andrew
- SpringerLink (Online service)
Ähnliche Objekte (12)
Explaining SDN Failures via Axiomatisations
Learning programs by learning from failures
From Logic to Functional Logic Programs
Termporal logic of programs
Learning efficient logic programs
Explaining the successes and failures of tuberculosis treatment programs; a tale of two regions in rural eastern Uganda
Termination proofs for logic programs
Termination proofs for logic programs
A logic for recursive programs
Learning higher-order logic programs
Learning hierarchical probabilistic logic programs
Induction of linear temporal logic programs
Explaining SDN Failures via Axiomatisations
Learning programs by learning from failures
From Logic to Functional Logic Programs
Termporal logic of programs
Learning efficient logic programs
Explaining the successes and failures of tuberculosis treatment programs; a tale of two regions in rural eastern Uganda
Termination proofs for logic programs
Termination proofs for logic programs
A logic for recursive programs
Learning higher-order logic programs
Learning hierarchical probabilistic logic programs
Induction of linear temporal logic programs
Explaining SDN Failures via Axiomatisations
Learning programs by learning from failures
From Logic to Functional Logic Programs
Termporal logic of programs
Learning efficient logic programs
Explaining the successes and failures of tuberculosis treatment programs; a tale of two regions in rural eastern Uganda
Termination proofs for logic programs
Termination proofs for logic programs
A logic for recursive programs
Learning higher-order logic programs
Learning hierarchical probabilistic logic programs