Metadaten| Verfasserangaben: | Felicidad AguadoORCiD, Pedro CabalarORCiDGND, Jorge FandiñoORCiD, David Pearce, Gilberto Perez, Concepcion Vidal-PerachoORCiD |
|---|
| DOI: | https://doi.org/10.1017/S1471068419000267 |
|---|
| ISSN: | 1471-0684 |
|---|
| ISSN: | 1475-3081 |
|---|
| Titel des übergeordneten Werks (Englisch): | Theory and practice of logic programming |
|---|
| Verlag: | Cambridge Univ. Press |
|---|
| Verlagsort: | New York |
|---|
| Publikationstyp: | Wissenschaftlicher Artikel |
|---|
| Sprache: | Englisch |
|---|
| Jahr der Erstveröffentlichung: | 2019 |
|---|
| Erscheinungsjahr: | 2019 |
|---|
| Datum der Freischaltung: | 14.11.2020 |
|---|
| Freies Schlagwort / Tag: | Answer set programming; Equilibrium logic; Explicit negation; Non-monotonic reasoning |
|---|
| Band: | 19 |
|---|
| Ausgabe: | 5-6 |
|---|
| Seitenanzahl: | 17 |
|---|
| Erste Seite: | 908 |
|---|
| Letzte Seite: | 924 |
|---|
| Fördernde Institution: | MINECO, Spain [TIC2017-84453-P]; Xunta de Galicia, SpainXunta de Galicia [GPC ED431B 2019/03, 2016-2019 ED431G/01]; Centre International de [ANR-11-LABEX-0040-CIMI, ANR-11-IDEX-0002-02]; Alexander von Humboldt FoundationAlexander von Humboldt Foundation |
|---|
| Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
|---|
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke |
|---|
| Peer Review: | Referiert |
|---|
| Publikationsweg: | Open Access |
|---|
| Open Access / Hybrid Open-Access |
|---|
| Externe Anmerkung: | Zweitveröffentlichung in der Schriftenreihe Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe ; 1104 |
|---|
