- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0565
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Learning hierarchical probabilistic logic programs ; volume:110 ; number:7 ; day:15 ; month:6 ; year:2021 ; pages:1637-1693 ; date:7.2021
Machine learning ; 110, Heft 7 (15.6.2021), 1637-1693, 7.2021
- Urheber
-
Nguembang Fadja, Arnaud
Riguzzi, Fabrizio
Lamma, Evelina
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10994-021-06016-4
- URN
-
urn:nbn:de:101:1-2021101302183324988728
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:34 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
- Nguembang Fadja, Arnaud
- Riguzzi, Fabrizio
- Lamma, Evelina
- SpringerLink (Online service)
Ähnliche Objekte (12)
Learning efficient logic programs
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Learning higher-order logic programs
Learning and modeling with probabilistic conditional logic
Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic
Learning logic programs by explaining their failures
Tracking probabilistic truths: a logic for statistical learning
Learning differentiable logic programs for abstract visual reasoning
Probabilistic inductive constraint logic
From Logic to Functional Logic Programs
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
Hierarchical refinement of probabilistic relations
Learning efficient logic programs
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Learning higher-order logic programs
Learning and modeling with probabilistic conditional logic
Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic
Learning logic programs by explaining their failures
Tracking probabilistic truths: a logic for statistical learning
Learning differentiable logic programs for abstract visual reasoning
Probabilistic inductive constraint logic
From Logic to Functional Logic Programs
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
Hierarchical refinement of probabilistic relations
Learning efficient logic programs
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Learning higher-order logic programs
Learning and modeling with probabilistic conditional logic
Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic
Learning logic programs by explaining their failures
Tracking probabilistic truths: a logic for statistical learning
Learning differentiable logic programs for abstract visual reasoning
Probabilistic inductive constraint logic
From Logic to Functional Logic Programs
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs