Výsledky vyhľadávania - Constraint Answer Set Programming (CASP)

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

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

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

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

“…Constraint Answer Set Programming (CASP) combines Answer Set Programming (ASP) and Constraint Programming (CP…”
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

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

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

“…Dealing with domains involving substantial quantitative information in Answer Set Programming (ASP…”
Získať plný text

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

“…Extending ASP with constraints (CASP) enhances its expressiveness and performance…”
Získať plný text

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

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

Získať plný text

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

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

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

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

An Architecture for Reasoning in Hybrid Discrete-Continuous Domains Autor 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…”
Získať plný text

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

“…Extending ASP with constraints (CASP) enhances its expressiveness and performance…”
Získať plný text

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

“… of these traditionally separate fields. These efforts resulted in a new research area: constraint answer set programming (CASP…”
Získať plný text

Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming Autor 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…”
Získať plný text