Výsledky vyhľadávania - constraint answer set programming

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ískať plný text

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

Získať plný text

Constraint Answer Set Programming without Grounding Autor 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…”
Získať 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…”
Získať 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ískať plný text

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

Získať 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ískať 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ískať 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ískať plný text

Learning weak constraints in answer set programming Autor 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…”
Získať plný text

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

“… of the answer set programming paradigm…”
Získať 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 combining the strengths…”
Získať plný text

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ískať plný text

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints Autor 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…”
Získať plný text

Business process verification with constraint temporal answer set programming Autor 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…”
Získať 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ískať plný text

Answer Set Programming for Computing Constraints-Based Elementary Flux Modes: Application to Escherichia coli Core Metabolism Autor 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…”
Získať plný text

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems Autor 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…”
Získať 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ískať plný text

Tractable answer-set programming with weight constraints: bounded treewidth is not enough Autor 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…”
Získať plný text