The Return of xorro

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

  • University of Potsdam
  • Tampere University
  • Simon Fraser University
  • Griffith University Queensland

Kuvaus

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.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoLogic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings
ToimittajatMarcello Balduccini, Yuliya Lierler, Stefan Woltran
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

ID: 38810773