The Return of xorro

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Standard

The Return of xorro. / Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten.

Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. toim. / Marcello Balduccini; Yuliya Lierler; Stefan Woltran. 2019. s. 284-297 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 11481 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Harvard

Everardo, F, Janhunen, T, Kaminski, R & Schaub, T 2019, The Return of xorro. julkaisussa M Balduccini, Y Lierler & S Woltran (toim), Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vuosikerta. 11481 LNAI, Sivut 284-297, Philadelphia, Yhdysvallat, 03/06/2019. https://doi.org/10.1007/978-3-030-20528-7_21

APA

Everardo, F., Janhunen, T., Kaminski, R., & Schaub, T. (2019). The Return of xorro. teoksessa M. Balduccini, Y. Lierler, & S. Woltran (Toimittajat), Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings (Sivut 284-297). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 11481 LNAI). https://doi.org/10.1007/978-3-030-20528-7_21

Vancouver

Everardo F, Janhunen T, Kaminski R, Schaub T. The Return of xorro. julkaisussa Balduccini M, Lierler Y, Woltran S, toimittajat, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. 2019. s. 284-297. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-20528-7_21

Author

Everardo, Flavio ; Janhunen, Tomi ; Kaminski, Roland ; Schaub, Torsten. / The Return of xorro. Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Toimittaja / Marcello Balduccini ; Yuliya Lierler ; Stefan Woltran. 2019. Sivut 284-297 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Bibtex - Lataa

@inproceedings{3490f381f82d42539ef7f93b9bfa8cc2,
title = "The Return of xorro",
abstract = "Although parity constraints are at the heart of many relevant reasoning modes like sampling or model counting, little attention has so far been paid to their integration into ASP systems. We address this shortcoming and investigate a variety of alternative approaches to implementing parity constraints, ranging from rather basic ASP encodings to more sophisticated theory propagators (featuring Gauss-Jordan elimination). All of them are implemented in the xorro system by building on the theory reasoning capabilities of the ASP system clingo. Our comparative empirical study investigates the impact of the number and size of parity constraints on performance and indicates the merits of the respective implementation techniques. Finally, we benefit from parity constraints to equip xorro with means to sample answer sets, paving the way for new applications of ASP.",
author = "Flavio Everardo and Tomi Janhunen and Roland Kaminski and Torsten Schaub",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/978-3-030-20528-7_21",
language = "English",
isbn = "9783030205270",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "284--297",
editor = "Marcello Balduccini and Yuliya Lierler and Stefan Woltran",
booktitle = "Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings",

}

RIS - Lataa

TY - GEN

T1 - The Return of xorro

AU - Everardo, Flavio

AU - Janhunen, Tomi

AU - Kaminski, Roland

AU - Schaub, Torsten

PY - 2019/1/1

Y1 - 2019/1/1

N2 - Although parity constraints are at the heart of many relevant reasoning modes like sampling or model counting, little attention has so far been paid to their integration into ASP systems. We address this shortcoming and investigate a variety of alternative approaches to implementing parity constraints, ranging from rather basic ASP encodings to more sophisticated theory propagators (featuring Gauss-Jordan elimination). All of them are implemented in the xorro system by building on the theory reasoning capabilities of the ASP system clingo. Our comparative empirical study investigates the impact of the number and size of parity constraints on performance and indicates the merits of the respective implementation techniques. Finally, we benefit from parity constraints to equip xorro with means to sample answer sets, paving the way for new applications of ASP.

AB - Although parity constraints are at the heart of many relevant reasoning modes like sampling or model counting, little attention has so far been paid to their integration into ASP systems. We address this shortcoming and investigate a variety of alternative approaches to implementing parity constraints, ranging from rather basic ASP encodings to more sophisticated theory propagators (featuring Gauss-Jordan elimination). All of them are implemented in the xorro system by building on the theory reasoning capabilities of the ASP system clingo. Our comparative empirical study investigates the impact of the number and size of parity constraints on performance and indicates the merits of the respective implementation techniques. Finally, we benefit from parity constraints to equip xorro with means to sample answer sets, paving the way for new applications of ASP.

UR - http://www.scopus.com/inward/record.url?scp=85066858713&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-20528-7_21

DO - 10.1007/978-3-030-20528-7_21

M3 - Conference contribution

SN - 9783030205270

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 284

EP - 297

BT - Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings

A2 - Balduccini, Marcello

A2 - Lierler, Yuliya

A2 - Woltran, Stefan

ER -

ID: 38810773