Inproceedings2431776503: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Mario |ErsterAutorNachname=Alviano |FurtherAuthors=Wolfgang Faber; Hannes Straß}} {{Inproceedings |Title=B…“) |
Hannes Straß (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
(2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
Zeile 5: | Zeile 5: | ||
{{Inproceedings | {{Inproceedings | ||
|Title=Boolean Functions with Ordered Domains in Answer Set Programming | |Title=Boolean Functions with Ordered Domains in Answer Set Programming | ||
|Booktitle=Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI) | |||
|Editor=Dale Schuurmans and Michael Wellman | |Editor=Dale Schuurmans and Michael Wellman | ||
|Publisher=AAAI Press | |Publisher=AAAI Press | ||
|Month= | |Month=Februar | ||
|Year=2016 | |Year=2016 | ||
|Pages=879--885 | |Pages=879--885 |
Aktuelle Version vom 26. Oktober 2021, 13:45 Uhr
Boolean Functions with Ordered Domains in Answer Set Programming
Mario AlvianoMario Alviano, Wolfgang FaberWolfgang Faber, Hannes StraßHannes Straß
Mario Alviano, Wolfgang Faber, Hannes Straß
Boolean Functions with Ordered Domains in Answer Set Programming
In Dale Schuurmans and Michael Wellman, eds., Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI), 879--885, February 2016. AAAI Press
Boolean Functions with Ordered Domains in Answer Set Programming
In Dale Schuurmans and Michael Wellman, eds., Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI), 879--885, February 2016. AAAI Press
@inproceedings{AFS2016,
author = {Mario Alviano and Wolfgang Faber and Hannes Stra{\ss}},
title = {Boolean Functions with Ordered Domains in Answer Set Programming},
editor = {Dale Schuurmans and Michael Wellman},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial
Intelligence (AAAI)},
publisher = {AAAI Press},
year = {2016},
month = {February},
pages = {879--885}
}