Lifted Reasoning for Combinatorial Counting.
Saved in:
| Title: | Lifted Reasoning for Combinatorial Counting. |
|---|---|
| Authors: | Totis, Pietro1, PIETRO.TOTIS@KULEUVEN.BE, Davis, Jesse1, JESSE.DAVIS@KULEUVEN.BE, De Raedt, Luc1, LUC.DERAEDT@KULEUVEN.BE, Kimmig, Angelika1, ANGELIKA.KIMMIG@KULEUVEN.BE |
| Source: | Journal of Artificial Intelligence Research; 2023, Vol. 76, p1-58, 58p |
| Database: | Applied Science & Technology Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 163547861 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Lifted Reasoning for Combinatorial Counting. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Totis%2C+Pietro%22">Totis, Pietro</searchLink><relatesTo>1</relatesTo>, <i>PIETRO.TOTIS@KULEUVEN.BE</i><br /><searchLink fieldCode="AU" term="%22Davis%2C+Jesse%22">Davis, Jesse</searchLink><relatesTo>1</relatesTo>, <i>JESSE.DAVIS@KULEUVEN.BE</i><br /><searchLink fieldCode="AU" term="%22De+Raedt%2C+Luc%22">De Raedt, Luc</searchLink><relatesTo>1</relatesTo>, <i>LUC.DERAEDT@KULEUVEN.BE</i><br /><searchLink fieldCode="AU" term="%22Kimmig%2C+Angelika%22">Kimmig, Angelika</searchLink><relatesTo>1</relatesTo>, <i>ANGELIKA.KIMMIG@KULEUVEN.BE</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Artificial+Intelligence+Research%22">Journal of Artificial Intelligence Research</searchLink>; 2023, Vol. 76, p1-58, 58p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=163547861 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1613/jair.1.14062 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 58 StartPage: 1 Titles: – TitleFull: Lifted Reasoning for Combinatorial Counting. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Totis, Pietro – PersonEntity: Name: NameFull: Davis, Jesse – PersonEntity: Name: NameFull: De Raedt, Luc – PersonEntity: Name: NameFull: Kimmig, Angelika IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Text: 2023 Type: published Y: 2023 Identifiers: – Type: issn-print Value: 10769757 Numbering: – Type: volume Value: 76 Titles: – TitleFull: Journal of Artificial Intelligence Research Type: main |
| ResultId | 1 |