MetadatenVerfasserangaben: | Felicidad AguadoORCiD, Pedro CabalarORCiDGND, Jorge FandinnoORCiD, David Pearce, Gilberto Perez, Concepcion Vidal |
---|
DOI: | https://doi.org/10.1016/j.artint.2019.07.005 |
---|
ISSN: | 0004-3702 |
---|
ISSN: | 1872-7921 |
---|
Titel des übergeordneten Werks (Englisch): | Artificial intelligence |
---|
Verlag: | Elsevier |
---|
Verlagsort: | Amsterdam |
---|
Publikationstyp: | Wissenschaftlicher Artikel |
---|
Sprache: | Englisch |
---|
Datum der Erstveröffentlichung: | 16.07.2019 |
---|
Erscheinungsjahr: | 2019 |
---|
Datum der Freischaltung: | 04.11.2020 |
---|
Freies Schlagwort / Tag: | Answer set programming; Denotational semantics; Equilibrium logic; Forgetting; Non-monotonic reasoning; Strong equivalence |
---|
Band: | 275 |
---|
Seitenanzahl: | 27 |
---|
Erste Seite: | 575 |
---|
Letzte Seite: | 601 |
---|
Fördernde Institution: | MINECO, Spain [TIN2017-84453-P]; Xunta de Galicia, SpainXunta de Galicia [GPC ED431B 2019/03, 2016-2019 ED431G/01]; Salvador de Madariaga programme, Spain; European Regional Development Fund (ERDF)European Toulouse (CIMI) [ANR-11-LABEX-0040-CIMI, ANR-11-IDEX-0002-02] |
---|
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 |
---|