The Return of xorro

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)
11 Downloads (Pure)

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.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings
EditorsMarcello Balduccini, Yuliya Lierler, Stefan Woltran
Pages284-297
Number of pages14
DOIs
Publication statusPublished - 1 Jan 2019
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Logic Programming and Nonmonotonic Reasoning - Philadelphia, United States
Duration: 3 Jun 20197 Jun 2019
Conference number: 15

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume11481 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated titleLPNMR
CountryUnited States
CityPhiladelphia
Period03/06/201907/06/2019

Fingerprint Dive into the research topics of 'The Return of xorro'. Together they form a unique fingerprint.

  • Cite this

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