135 citations · 373 across the 42 of their papers we have counts for
4 papers · 1 filter
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks
Thomas Guyet, Yves Moinard, René Quiniou +1
This article presents the use of Answer Set Programming (ASP) to mine sequential patterns. ASP is a high-level declarative logic programming paradigm for high level encoding combin…
Clingo goes Linear Constraints over Reals and Integers
Tomi Janhunen, Roland Kaminski, Max Ostrowski +3
The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities. We instantiate this framework…
Clingcon: The Next Generation
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski +1
We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing (CP). While its predec…
Multi-shot ASP solving with clingo
Martin Gebser, Roland Kaminski, Benjamin Kaufmann +1
We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP), which we refer to as multi-shot ASP solving, and present its implementation in the AS…