Search Results - constraint answer set programming

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

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

Get full text

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

“…), a goal-directed, top-down execution model which implements ASP while retaining logical variables both during execution and in the answer sets…”
Get full text

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

“…Recently a logic programming language AC was proposed by Mellarkod et al. [1] to integrate answer set programming and constraint logic programming…”
Get full text

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

Proceedings 38th International Conference on Logic Programming: Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract) by Arias, Joaquín, Carro, Manuel, Chen, Zhuo, Gupta, Gopal

Get full text

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming by 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…”
Get full text

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

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

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

Learning weak constraints in answer set programming by LAW, MARK, RUSSO, ALESSANDRA, BRODA, KRYSIA

“…This paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set Programming (ASP…”
Get full text

Integrating answer set programming and constraint logic programming by Mellarkod, Veena S., Gelfond, Michael, Zhang, Yuanlin

“… of the answer set programming paradigm…”
Get full text

Constraint answer set solver EZCSP and why integration schemas matter by 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 combining the strengths…”
Get full text

Clingo goes linear constraints over reals and integers by 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…”
Get full text

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints by Rajaratnam, David, Schaub, Torsten, Wanko, Philipp, Chen, Kai, Liu, Sirui, Son, Tran Cao

“…A warehouse delivery problem consists of a set of robots that undertake delivery jobs within a warehouse…”
Get full text

Business process verification with constraint temporal answer set programming by GIORDANO, LAURA, MARTELLI, ALBERTO, SPIOTTA, MATTEO, DUPRÉ, DANIELE THESEIDER

“…The paper provides a framework for the verification of business processes, based on an extension of answer set programming (ASP…”
Get full text

Clingcon: The next generation by 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…”
Get full text

Answer Set Programming for Computing Constraints-Based Elementary Flux Modes: Application to Escherichia coli Core Metabolism by Mahout, Maxime, Carlson, Ross P., Peres, Sabine

“…; however, only a few constraints can be integrated into this computation. They must be monotonic with regard to the set…”
Get full text

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems by Dovier, Agostino, Formisano, Andrea, Pontelli, Enrico

“…This paper presents experimental comparisons between the declarative encodings of various computationally hard problems in Answer Set Programming (ASP…”
Get full text

Justifications for Goal-Directed Constraint Answer Set Programming by 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…”
Get full text

Tractable answer-set programming with weight constraints: bounded treewidth is not enough by PICHLER, REINHARD, RÜMMELE, STEFAN, SZEIDER, STEFAN, WOLTRAN, STEFAN

“…Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming…”
Get full text