Suchergebnisse - Constraint Answer Set Programming (CASP)

Clingo goes linear constraints over reals and integers von 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 …”
Volltext

Clingcon: The next generation von 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 …”
Volltext

CASP solutions for planning in hybrid domains von 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+ …”
Volltext

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

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

“… Constraint Answer Set Programming (CASP) combines Answer Set Programming (ASP) and Constraint Programming (CP …”
Volltext

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

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming von 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 …”
Volltext

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

“… Dealing with domains involving substantial quantitative information in Answer Set Programming (ASP …”
Volltext

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

“… Extending ASP with constraints (CASP) enhances its expressiveness and performance …”
Volltext

PDDL+ Planning via Constraint Answer Set Programming von 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 …”
Volltext

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

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

Volltext

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

“… Recent work in Answer Set Programming has integrated ideas from Constraint Programming …”
Volltext

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming von 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 …”
Volltext

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

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

Justifications for Goal-Directed Constraint Answer Set Programming von 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 …”
Volltext

An Architecture for Reasoning in Hybrid Discrete-Continuous Domains von 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 …”
Volltext

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

“… Extending ASP with constraints (CASP) enhances its expressiveness and performance …”
Volltext

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

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

Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming von 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 …”
Volltext