Výsledky vyhledávání - constraint answer set programming (((casp OR cas) OR asp))~

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…”
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…”
Získat plný text

Constraint Answer Set Programming without Grounding Autor ARIAS, JOAQUIN, CARRO, MANUEL, SALAZAR, ELMER, MARPLE, KYLE, GUPTA, GOPAL

“…Extending ASP with constraints (CASP) enhances its expressiveness and performance…”
Získat plný text

CASP solutions for planning in hybrid domains Autor BALDUCCINI, MARCELLO, MAGAZZENI, DANIELE, MARATEA, MARCO, LEBLANC, EMILY C.

“…Constraint answer set programming (CASP) is an extension of answer set programming that allows for numerical constraints to be added in the rules. PDDL+…”
Získat plný text

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming Autor ARIAS, JOAQUÍN, CARRO, MANUEL, CHEN, ZHUO, GUPTA, GOPAL

“… We propose the use of s(CASP), a query-driven, top-down execution model for Predicate Answer Set Programming with Constraints, to model and reason using EC…”
Získat plný text

ASP ($\mathcal A \mathcal C$): Answer Set Programming with Algebraic Constraints Autor EITER, THOMAS, KIESEL, RAFAEL

“… Using a novel combination of Weighted Logic and Here-and-There (HT) Logic, in which this dependence is based on intuitionistic grounds, we introduce Answer Set Programming with Algebraic Constraints (ASP($\mathcal A \mathcal C…”
Získat plný text

Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches Autor LIERLER, YULIYA

“…Constraint answer set programming or CASP, for short, is a hybrid approach in automated reasoning putting together the advances of distinct research areas such as answer set programming, constraint…”
Získat plný text

Justifications for Goal-Directed Constraint Answer Set Programming Autor Arias, Joaquín, Carro, Manuel, Chen, Zhuo, Gupta, Gopal

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…”
Získat plný text

Direct Encoding of Declare Constraints in ASP Autor CHIARIELLO, FRANCESCO, FIONDA, VALERIA, IELO, ANTONIO, RICCA, FRANCESCO

“…Answer set programming (ASP), a well-known declarative logic programming paradigm, has recently found practical application in Process Mining…”
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…”
Získat plný text

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis Autor CUTERI, BERNARDO, DODARO, CARMINE, RICCA, FRANCESCO, SCHÜLLER, PETER

“…Answer set programming (ASP) is a well-established declarative paradigm. One of the successes of ASP is the availability of efficient systems…”
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

“… to the requirements of Industry 4.0. In this paper, we demonstrate how an automated wet-etch scheduling problem for the semiconductor industry can be solved by constraint answer set programming (CASP…”
Získat plný text

Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints Autor TAUPE, RICHARD, WEINZIERL, ANTONIUS, FRIEDRICH, GERHARD

“…Generalising and re-using knowledge learned while solving one problem instance has been neglected by state-of-the-art answer set solvers…”
Získat plný text

Computing LPMLN using ASP and MLN solvers Autor LEE, JOOHYUNG, TALSANIA, SAMIDH, WANG, YI

“… We present two implementations of LPMLN, lpmln2asp and lpmln2mln. System lpmln2asp translates LPMLN programs into the input language of answer set solver clingo…”
Získat plný text

From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems Autor Bembenek, Aaron, Greenberg, Michael, Chong, Stephen

“…—an encoding into standard, off-the-shelf answer set programming (ASP)—leads to significant speedups (∼ 9× geomean…”
Získat plný text

How to Build Your Own ASP-based System? Autor KAMINSKI, ROLAND, ROMERO, JAVIER, SCHAUB, TORSTEN, WANKO, PHILIPP

“…Answer Set Programming, or ASP for short, has become a popular and sophisticated approach to declarative problem solving…”
Získat plný text

Justifications for Goal-Directed Constraint Answer Set Programming Autor Arias, Joaquín, Carro, Manuel, Chen, Zhuo, Gupta, Gopal

“… Answer Set Programming has a rich semantics that makes it possible to very concisely express complex knowledge…”
Získat plný text

Efficiently Coupling the I-DLV Grounder with ASP Solvers Autor CALIMERI, FRANCESCO, DODARO, CARMINE, FUSCÀ, DAVIDE, PERRI, SIMONA, ZANGARI, JESSICA

“…We present ${{{$\mathscr{I}$}-}\textsc{dlv}}+{{$\mathscr{MS}$}}}$ , a new answer set programming (ASP…”
Získat plný text

Multi-shot ASP solving with clingo Autor GEBSER, MARTIN, KAMINSKI, ROLAND, KAUFMANN, BENJAMIN, SCHAUB, TORSTEN

“…We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP…”
Získat plný text