Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

Janhunen, Tomi

Autor(en):

Vollständige Referenz
BibTeX

Janhunen, T., (2018). Cross-Translating Answer Set Programs Using the ASPTOOLS Collection. KI - Künstliche Intelligenz: Vol. 32, No. 2-3. Berlin Heidelberg: Springer Nature. (S. 183-184). DOI: 10.1007/s13218-018-0529-9

@inproceedings{mci/Janhunen2018,
author = {Janhunen, Tomi},
title = {Cross-Translating Answer Set Programs Using the ASPTOOLS Collection},
booktitle = {KI - Künstliche Intelligenz: Vol. 32, No. 2-3},
year = {2018},
editor = {} ,
pages = { 183-184 } ,
doi = { 10.1007/s13218-018-0529-9 },
publisher = {Springer Nature},
address = {Berlin Heidelberg}
}

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s13218-018-0529-9

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken