Suchergebnisse - constraint answer set programming ((casp OR asp))

Clingo goes linear constraints over reals and integers von 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 …”
Volltext

Clingcon: The next generation von 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 …”
Volltext

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

“… Extending ASP with constraints (CASP) enhances its expressiveness and performance …”
Volltext

CASP solutions for planning in hybrid domains von 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+ …”
Volltext

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming von 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 …”
Volltext

ASP ($\mathcal A \mathcal C$): Answer Set Programming with Algebraic Constraints von 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 …”
Volltext

Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches von 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 …”
Volltext

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

Volltext

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

“… Dealing with domains involving substantial quantitative information in Answer Set Programming (ASP …”
Volltext

Direct Encoding of Declare Constraints in ASP von 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 …”
Volltext

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

“… Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing …”
Volltext

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis von 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 …”
Volltext

Scheduling of Automated Wet-Etch Stations with One Robot in Semiconductor Manufacturing via Constraint Answer Set Programming von 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 …”
Volltext

Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints von 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 …”
Volltext

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

“… —an encoding into standard, off-the-shelf answer set programming (ASP)—leads to significant speedups (∼ 9× geomean …”
Volltext

Computing LPMLN using ASP and MLN solvers von 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 …”
Volltext

How to Build Your Own ASP-based System? von 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 …”
Volltext

Justifications for Goal-Directed Constraint Answer Set Programming von 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 …”
Volltext

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

“… We present ${{{$\mathscr{I}$}-}\textsc{dlv}}+{{$\mathscr{MS}$}}}$ , a new answer set programming (ASP …”
Volltext

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

“… We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP …”
Volltext