Matches in Data.gov.be for { <http://data.gov.be/.well-known/genid/dataset/kulrdr/doi-10-48804/MQLU85> ?p ?o ?g. }
Showing items 1 to 23 of
23
with 100 items per page.
- MQLU85 accessRights PUBLIC @default.
- MQLU85 bibliographicCitation "Maene, Jaron, 2024, "Compiled MCC2021 d-DNNF Circuits", https://doi.org/10.48804/MQLU85, KU Leuven RDR, V1" @default.
- MQLU85 created "2024-12-16T13:26:40Z" @default.
- MQLU85 creator 0000-0001-9474-6150 @default.
- MQLU85 description "Cet ensemble de données contient 100 circuits d-DNNF au format D4 NNF (c'est-à-dire avec des littéraux sur les bords). Les circuits d-DNNF sont des formules logiques propositionnelles sous forme déterministe, décomposable et normale de négation. Les circuits sont obtenus à l'aide du compilateur de connaissances D4 sur un sous-ensemble de MCC2021 (Track 2). Les identifiants du sous-ensemble spécifique peuvent être trouvés dans le jeu de données. Cet ensemble de données a été utilisé dans l'article "The Gradient of Algebraic Model Counting", publié à l'AAAI2025." @default.
- MQLU85 description "Deze dataset bevat 100 d-DNNF-circuits in het D4 NNF-formaat (d.w.z. met letterlijke tekens op randen). d-DNNF-circuits zijn propositionele logische formules in deterministische, ontbindbare, negatienormale vorm. De circuits worden verkregen met behulp van de D4-kenniscompiler op een subset van MCC2021 (Track 2). De id's van de specifieke subset zijn te vinden in de dataset. Deze dataset werd gebruikt in het artikel "The Gradient of Algebraic Model Counting", gepubliceerd op AAAI2025." @default.
- MQLU85 description "Dieser Datensatz enthält 100 d-DNNF-Schaltungen im D4-NNNF-Format (d. h. mit Literalen an Kanten). d-DNNF-Schaltungen sind propositionale logische Formeln in deterministischer, zerlegbarer, Negationsnormalform. Die Schaltungen werden mit dem D4-Wissens-Compiler auf einer Teilmenge von MCC2021 (Track 2) erhalten. Die IDs der spezifischen Teilmenge finden Sie im Datensatz. Dieser Datensatz wurde in der am AAAI2025 veröffentlichten Arbeit "The Gradient of Algebraic Model Counting" verwendet." @default.
- MQLU85 description "This dataset contains 100 d-DNNF circuits in the D4 NNF format (i.e. with literals on edges). d-DNNF circuits are propositional logical formulas in deterministic, decomposable, negation normal form. The circuits are obtained using the D4 knowledge compiler on a subset of MCC2021 (Track 2). The id's of the specific subset can be found in the dataset. This dataset was used in the paper "The Gradient of Algebraic Model Counting", published at AAAI2025." @default.
- MQLU85 identifier "doi:10.48804/MQLU85" @default.
- MQLU85 issued "2024-12-17T12:14:05Z" @default.
- MQLU85 modified "2024-12-17T12:14:05Z" @default.
- MQLU85 publisher 0419052173 @default.
- MQLU85 subject "Computer engineering, information technology and mathematical engineering" @default.
- MQLU85 title "Compiled MCC2021 d-DNNF Circuits" @default.
- MQLU85 title "Compilé MCC2021 d-DNNF Circuits" @default.
- MQLU85 title "Kompilierte MCC2021 d-DNNF Schaltungen" @default.
- MQLU85 title "Samengestelde MCC2021 d-DNNF Circuits" @default.
- MQLU85 type Dataset @default.
- MQLU85 contactPoint genid66918 @default.
- MQLU85 keyword "Logic" @default.
- MQLU85 landingPage MQLU85 @default.
- MQLU85 theme TECH @default.
- MQLU85 version "1" @default.