lpopt: A Rule Optimization Tool for Answer Set Programming.
Saved in:
| Title: | lpopt: A Rule Optimization Tool for Answer Set Programming. |
|---|---|
| Authors: | Bichler, Manuel1, bichler@dbai.tuwien.ac.at, Morak, Michael2, michael.morak@aau.at, Woltran, Stefan1, woltran@dbai.tuwien.ac.at, Hermenegildo, Manuel, López-García, Pedro, Pettorossi, Alberto, Proietti, Maurizio |
| Source: | Fundamenta Informaticae; 2020, Vol. 177 Issue 3/4, p275-296, 22p |
| Database: | Applied Science & Technology Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 147543418 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: lpopt: A Rule Optimization Tool for Answer Set Programming. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Bichler%2C+Manuel%22">Bichler, Manuel</searchLink><relatesTo>1</relatesTo>, <i>bichler@dbai.tuwien.ac.at</i><br /><searchLink fieldCode="AU" term="%22Morak%2C+Michael%22">Morak, Michael</searchLink><relatesTo>2</relatesTo>, <i>michael.morak@aau.at</i><br /><searchLink fieldCode="AU" term="%22Woltran%2C+Stefan%22">Woltran, Stefan</searchLink><relatesTo>1</relatesTo>, <i>woltran@dbai.tuwien.ac.at</i><br /><searchLink fieldCode="AU" term="%22Hermenegildo%2C+Manuel%22">Hermenegildo, Manuel</searchLink><br /><searchLink fieldCode="AU" term="%22López-García%2C+Pedro%22">López-García, Pedro</searchLink><br /><searchLink fieldCode="AU" term="%22Pettorossi%2C+Alberto%22">Pettorossi, Alberto</searchLink><br /><searchLink fieldCode="AU" term="%22Proietti%2C+Maurizio%22">Proietti, Maurizio</searchLink> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Fundamenta+Informaticae%22">Fundamenta Informaticae</searchLink>; 2020, Vol. 177 Issue 3/4, p275-296, 22p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=147543418 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.3233/FI-2020-1990 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 22 StartPage: 275 Titles: – TitleFull: lpopt: A Rule Optimization Tool for Answer Set Programming. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Bichler, Manuel – PersonEntity: Name: NameFull: Morak, Michael – PersonEntity: Name: NameFull: Woltran, Stefan – PersonEntity: Name: NameFull: Hermenegildo, Manuel – PersonEntity: Name: NameFull: López-García, Pedro – PersonEntity: Name: NameFull: Pettorossi, Alberto – PersonEntity: Name: NameFull: Proietti, Maurizio IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 10 Text: 2020 Type: published Y: 2020 Identifiers: – Type: issn-print Value: 01692968 Numbering: – Type: volume Value: 177 – Type: issue Value: 3/4 Titles: – TitleFull: Fundamenta Informaticae Type: main |
| ResultId | 1 |