Search Results - constraint answer set programming (asp)

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

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

ASP(AC): 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(AC…”
Get full text

Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco by Moritz, Dominik, Chenglong Wang, Nelson, Greg L., Lin, Halden, Smith, Adam M., Howe, Bill, Heer, Jeffrey

“… tools that promote effective encodings and facilitate visual exploration. We propose modeling visualization design knowledge as a collection of constraints…”
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

Abstract Solvers for Computing Cautious Consequences of ASP programs by AMENDOLA, GIOVANNI, DODARO, CARMINE, MARATEA, MARCO

“…), Quantified SAT, Satisfiability Modulo Theories, Answer Set Programming (ASP), and Constraint ASP…”
Get full text

ASP modulo CSP: The clingcon system by OSTROWSKI, MAX, SCHAUB, TORSTEN

“…We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP…”
Get full text

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling by Chesani, Federico, Cota, Giuseppe, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Riguzzi, Fabrizio

“…Every year about one third of the food production intended for humans gets lost or wasted. This wastefulness of resources leads to the emission of unnecessary…”
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

An overview of machine learning techniques in constraint solving by Popescu, Andrei, Polat-Erdeniz, Seda, Felfernig, Alexander, Uta, Mathias, Atas, Müslüm, Le, Viet-Man, Pilsl, Klaus, Enzelsberger, Martin, Tran, Thi Ngoc Trang

“… In this article, we provide an overview of the state of the art in applying ML approaches to constraint solving problems including constraint satisfaction, SAT solving, answer set programming (ASP…”
Get full text

A translational approach to constraint answer set solving by DRESCHER, CHRISTIAN, WALSH, TOBY

“…We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ASP…”
Get full text

Role mining using answer set programming by Ye, Wei, Li, Ruixuan, Gu, Xiwu, Li, Yuhua, Wen, Kunmei

“…’ security and business requirements. To extend the ability of role mining technology, this paper proposes a novel role mining approach using answer set programming (ASP…”
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

Hybrid ASP-based Approach to Pattern Mining by PARAMONOV, SERGEY, STEPANOVA, DARIA, MIETTINEN, PAULI

“… Rule-based languages like answer set programming (ASP) seem well suited for specifying such criteria in a form of constraints…”
Get full text

Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations by Garreau, Bryan, Lodeiro, Martin Dieguez, Monfroy, Eric, Stephan, Igor

“…Constraint Answer Set Programming (CASP) combines Answer Set Programming (ASP) and Constraint Programming (CP…”
Get full text

Visual Analytics for Understanding Draco's Knowledge Base by Schmidt, Johanna, Pointner, Bernhard, Miksch, Silvia

“… (Answer-Set Programming). With an increasing set of constraints and incorporated design knowledge, even visualization experts lose overview in Draco and struggle to retrace the automated recommendation decisions made by the system…”
Get full text

Solving distributed constraint optimization problems using logic programming by LE, TIEP, SON, TRAN CAO, PONTELLI, ENRICO, YEOH, WILLIAM

“…This paper explores the use of Answer Set Programming (ASP) in solving Distributed Constraint Optimization Problems (DCOPs…”
Get full text

Conflict-driven answer set solving: From theory to practice by Gebser, Martin, Kaufmann, Benjamin, Schaub, Torsten

“… The idea is to view inferences in Answer Set Programming (ASP) as unit propagation on nogoods…”
Get full text

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

“…Dealing with domains involving substantial quantitative information in Answer Set Programming (ASP…”
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