Search Results - Constraint Answer Set Programming (CASP)

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

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

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

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

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

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

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

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

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…”
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

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

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

Get full text

Detection and exploitation of functional dependencies for model generation by DE CAT, BROES, BRUYNOOGHE, MAURICE

“…Recent work in Answer Set Programming has integrated ideas from Constraint Programming…”
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

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

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

An Architecture for Reasoning in Hybrid Discrete-Continuous Domains by Young, Ryan David

“…, diagnostics, and execution monitoring for hybrid domains. The algorithms are based on an expanded translation of action language H to Constraint Answer Set Programming (CASP), which we developed for this project. We demonstrate our approach on two simple, but non-trivial scenarios including one that we tested on an actual robot…”
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…”
Get full text

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration by Balduccini, Marcello, Lierler, Yulia

“… of these traditionally separate fields. These efforts resulted in a new research area: constraint answer set programming (CASP…”
Get full text

Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming by Arias, Joaquín, Carro, Manuel, Gupta, Gopal

“…Goal-directed evaluation of Answer Set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation mechanism used, generate explanations and justifications. s(CASP…”
Get full text