Výsledky vyhledávání - "Constraint Answer Set Programming"

Clingo goes linear constraints over reals and integers Autor JANHUNEN, TOMI, KAMINSKI, ROLAND, OSTROWSKI, MAX, SCHELLHORN, SEBASTIAN, WANKO, PHILIPP, SCHAUB, TORSTEN

“…The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We…”
Získat plný text

Constraint answer set solver EZCSP and why integration schemas matter Autor BALDUCCINI, MARCELLO, LIERLER, YULIYA

“…Researchers in answer set programming and constraint programming have spent significant efforts in the development of hybrid languages and solving algorithms…”
Získat plný text

Clingcon: The next generation Autor BANBARA, MUTSUNORI, KAUFMANN, BENJAMIN, OSTROWSKI, MAX, SCHAUB, TORSTEN

“…We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing…”
Získat plný text

Relating constraint answer set programming languages and algorithms Autor Lierler, Yuliya

“…Recently a logic programming language AC was proposed by Mellarkod et al. [1] to integrate answer set programming and constraint logic programming. Soon after…”
Získat plný text

Scheduling of Automated Wet-Etch Stations with One Robot in Semiconductor Manufacturing via Constraint Answer Set Programming Autor García-Mata, Carmen L., Burtseva, Larysa, Werner, Frank

“…Scheduling and optimization have a central place in the research area of computing because it is increasingly important to achieve fully automated production…”
Získat plný text

On relation between constraint answer set programming and satisfiability modulo theories Autor LIERLER, YULIYA, SUSMAN, BENJAMIN

“…Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally…”
Získat plný text

ASP with non-herbrand partial functions: a language and system for practical use Autor BALDUCCINI, MARCELLO

“…Dealing with domains involving substantial quantitative information in Answer Set Programming (ASP) often results in cumbersome and inefficient encodings…”
Získat plný text