ASP-Core-2 Input Language Format.
Saved in:
| Title: | ASP-Core-2 Input Language Format. |
|---|---|
| Authors: | CALIMERI, FRANCESCO1 (AUTHOR) calimeri@mat.unical.it, FABER, WOLFGANG2 (AUTHOR) Wolfgang.Faber@aau.at, GEBSER, MARTIN2 (AUTHOR) Martin.Gebser@aau.at, IANNI, GIOVAMBATTISTA1 (AUTHOR) ianni@mat.unical.it, KAMINSKI, ROLAND3 (AUTHOR) kaminski@cs.uni-potsdam.de, KRENNWALLNER, THOMAS4 (AUTHOR) tk@postsubmeta.net, LEONE, NICOLA1 (AUTHOR) leone@mat.unical.it, MARATEA, MARCO5 (AUTHOR) marco@dibris.unige.it, RICCA, FRANCESCO1 (AUTHOR) ricca@mat.unical.it, SCHAUB, TORSTEN3 (AUTHOR) schaub@cs.uni-potsdam.de |
| Source: | Theory & Practice of Logic Programming. Mar2020, Vol. 20 Issue 2, p294-309. 16p. |
| Database: | Mathematics Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: msf DbLabel: Mathematics Source An: 144806065 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: ASP-Core-2 Input Language Format. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22CALIMERI%2C+FRANCESCO%22">CALIMERI, FRANCESCO</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> calimeri@mat.unical.it</i><br /><searchLink fieldCode="AR" term="%22FABER%2C+WOLFGANG%22">FABER, WOLFGANG</searchLink><relatesTo>2</relatesTo> (AUTHOR)<i> Wolfgang.Faber@aau.at</i><br /><searchLink fieldCode="AR" term="%22GEBSER%2C+MARTIN%22">GEBSER, MARTIN</searchLink><relatesTo>2</relatesTo> (AUTHOR)<i> Martin.Gebser@aau.at</i><br /><searchLink fieldCode="AR" term="%22IANNI%2C+GIOVAMBATTISTA%22">IANNI, GIOVAMBATTISTA</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> ianni@mat.unical.it</i><br /><searchLink fieldCode="AR" term="%22KAMINSKI%2C+ROLAND%22">KAMINSKI, ROLAND</searchLink><relatesTo>3</relatesTo> (AUTHOR)<i> kaminski@cs.uni-potsdam.de</i><br /><searchLink fieldCode="AR" term="%22KRENNWALLNER%2C+THOMAS%22">KRENNWALLNER, THOMAS</searchLink><relatesTo>4</relatesTo> (AUTHOR)<i> tk@postsubmeta.net</i><br /><searchLink fieldCode="AR" term="%22LEONE%2C+NICOLA%22">LEONE, NICOLA</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> leone@mat.unical.it</i><br /><searchLink fieldCode="AR" term="%22MARATEA%2C+MARCO%22">MARATEA, MARCO</searchLink><relatesTo>5</relatesTo> (AUTHOR)<i> marco@dibris.unige.it</i><br /><searchLink fieldCode="AR" term="%22RICCA%2C+FRANCESCO%22">RICCA, FRANCESCO</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> ricca@mat.unical.it</i><br /><searchLink fieldCode="AR" term="%22SCHAUB%2C+TORSTEN%22">SCHAUB, TORSTEN</searchLink><relatesTo>3</relatesTo> (AUTHOR)<i> schaub@cs.uni-potsdam.de</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Theory+%26+Practice+of+Logic+Programming%22">Theory & Practice of Logic Programming</searchLink>. Mar2020, Vol. 20 Issue 2, p294-309. 16p. |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=msf&AN=144806065 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1017/S1471068419000450 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 16 StartPage: 294 Titles: – TitleFull: ASP-Core-2 Input Language Format. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: CALIMERI, FRANCESCO – PersonEntity: Name: NameFull: FABER, WOLFGANG – PersonEntity: Name: NameFull: GEBSER, MARTIN – PersonEntity: Name: NameFull: IANNI, GIOVAMBATTISTA – PersonEntity: Name: NameFull: KAMINSKI, ROLAND – PersonEntity: Name: NameFull: KRENNWALLNER, THOMAS – PersonEntity: Name: NameFull: LEONE, NICOLA – PersonEntity: Name: NameFull: MARATEA, MARCO – PersonEntity: Name: NameFull: RICCA, FRANCESCO – PersonEntity: Name: NameFull: SCHAUB, TORSTEN IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 03 Text: Mar2020 Type: published Y: 2020 Identifiers: – Type: issn-print Value: 14710684 Numbering: – Type: volume Value: 20 – Type: issue Value: 2 Titles: – TitleFull: Theory & Practice of Logic Programming Type: main |
| ResultId | 1 |