Conference
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
| Τίτλος: | ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding |
|---|---|
| Συγγραφείς: | Calimeri, Francesco, Ianni, Giovambattista, Pacenza, Francesco, Perri, Simona, Zangari, Jessica |
| Πηγή: | Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming. :1-9 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3551357.3551371 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| FullText | Text: Availability: 0 CustomLinks: – Url: http://dx.doi.org/10.1145/3551357.3551371? Name: EDS - ACM Full-Text Collection (ns324271) Category: fullText Text: View record at ACM Digital Library |
|---|---|
| Header | DbId: edscma DbLabel: ACM Full-Text Collection An: edscma.3551371 RelevancyScore: 1035 AccessLevel: 2 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 1035.38525390625 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Calimeri%2C+Francesco%22">Calimeri, Francesco</searchLink><br /><searchLink fieldCode="AR" term="%22Ianni%2C+Giovambattista%22">Ianni, Giovambattista</searchLink><br /><searchLink fieldCode="AR" term="%22Pacenza%2C+Francesco%22">Pacenza, Francesco</searchLink><br /><searchLink fieldCode="AR" term="%22Perri%2C+Simona%22">Perri, Simona</searchLink><br /><searchLink fieldCode="AR" term="%22Zangari%2C+Jessica%22">Zangari, Jessica</searchLink> – Name: TitleSource Label: Source Group: Src Data: <i>Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming</i>. :1-9 – Name: URL Label: Availability Group: URL Data: http://dl.acm.org/doi/10.1145/3551357.3551371 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edscma&AN=edscma.3551371 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1145/3551357.3551371 Languages: – Text: English PhysicalDescription: Pagination: PageCount: 9 StartPage: 1 Titles: – TitleFull: ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Calimeri, Francesco – PersonEntity: Name: NameFull: Ianni, Giovambattista – PersonEntity: Name: NameFull: Pacenza, Francesco – PersonEntity: Name: NameFull: Perri, Simona – PersonEntity: Name: NameFull: Zangari, Jessica IsPartOfRelationships: – BibEntity: Dates: – D: 20 M: 09 Type: published Y: 2022 Identifiers: – Type: issn-locals Value: edscma.conferences Titles: – TitleFull: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming Type: main |
| ResultId | 1 |