Search Results - (("constraint answer set programming") OR ("constraint answer site programming"))

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

“…Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in…”
Get full text

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

Get full text

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

“… The development of these languages and systems constitutes the appearance of a new AI subarea called constraint answer set 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

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

“…Automated commonsense reasoning (CR) is essential for building human-like AI systems featuring, for example, explainable AI. Event calculus (EC) is a family of…”
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

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

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. We…”
Get full text

Constraint answer set solver EZCSP and why integration schemas matter by BALDUCCINI, MARCELLO, LIERLER, YULIYA

“… of these traditionally separate fields. These efforts resulted in a new research area: constraint answer set programming…”
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) with finite domain constraint processing…”
Get full text

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

“…Ethical and legal concerns make it necessary for programs that may directly influence the life of people (via, e.g., legal or health counseling) to justify in…”
Get full text

Constraint Answer Set Programming without Grounding by Arias, Joaquín, Carro, Manuel, Salazar, Elmer, Marple, Kyle, Gupta, Gopal

“…Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in…”
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

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming by Arias, Joaquín, Carro, Manuel, Chen, Zhuo, Gupta, Gopal

“…Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of…”
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) often results in cumbersome and inefficient encodings…”
Get full text

PDDL+ Planning via Constraint Answer Set Programming by Balduccini, Marcello, Magazzeni, Daniele, Maratea, Marco

“… In this paper we present a new approach to PDDL+ planning based on Constraint Answer Set Programming (CASP), i.e…”
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

CASP solutions for planning in hybrid domains by 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+…”
Get full text

Unifying Framework for Optimizations in Non-Boolean Formalisms by LIERLER, YULIYA

“… Recall integer linear programming, MaxSAT, optimization satisfiability modulo theory, (constraint) answer set programming…”
Get full text