The Return of xorro

Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub*

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

1 Sitaatiot (Scopus)
14 Lataukset (Pure)

Abstrakti

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.

AlkuperäiskieliEnglanti
OtsikkoLogic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings
ToimittajatMarcello Balduccini, Yuliya Lierler, Stefan Woltran
Sivut284-297
Sivumäärä14
DOI - pysyväislinkit
TilaJulkaistu - 1 tammikuuta 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Logic Programming and Nonmonotonic Reasoning - Philadelphia, Yhdysvallat
Kesto: 3 kesäkuuta 20197 kesäkuuta 2019
Konferenssinumero: 15

Julkaisusarja

NimiLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
KustantajaSpringer
Vuosikerta11481 LNAI
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Conference

ConferenceInternational Conference on Logic Programming and Nonmonotonic Reasoning
LyhennettäLPNMR
MaaYhdysvallat
KaupunkiPhiladelphia
Ajanjakso03/06/201907/06/2019

Sormenjälki Sukella tutkimusaiheisiin 'The Return of xorro'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä