Skip to main content
×
Home
    • Aa
    • Aa

Clingo goes linear constraints over reals and integers*

  • TOMI JANHUNEN (a1), ROLAND KAMINSKI (a2), MAX OSTROWSKI (a2), SEBASTIAN SCHELLHORN (a2), PHILIPP WANKO (a2) and TORSTEN SCHAUB (a3)...
Abstract
Abstract

The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints and elaborate upon its formal properties. Given this, we discuss the respective implementations, and present techniques for using these constraints in a reactive context. More precisely, we introduce extensions to clingo with difference and linear constraints over integers and reals, respectively, and realize them in complementary ways. Finally, we empirically evaluate the resulting clingo derivatives clingo[dl] and clingo[lp] on common language fragments and contrast them to related ASP systems.

Copyright
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords:

Metrics

Full text views

Total number of HTML views: 1
Total number of PDF views: 3 *
Loading metrics...

Abstract views

Total abstract views: 19 *
Loading metrics...

* Views captured on Cambridge Core between 11th September 2017 - 26th September 2017. This data will be updated every 24 hours.