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 article in proceedingsScientificpeer-review

6 Citations (Scopus)
90 Downloads (Pure)


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
Number of pages14
ISBN (Print)9783030205270
Publication statusPublished - 1 Jan 2019
MoE publication typeA4 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)
Volume11481 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated titleLPNMR
Country/TerritoryUnited States


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

Cite this