Výsledky vyhledávání - (("constraint answer set programming") OR ("constraint answer siet programming"))

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. This extension is not straightforward as the grounding phase, present in…”
Získat plný text

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

Získat plný text

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

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

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

Proceedings 38th International Conference on Logic Programming: Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract) Autor Arias, Joaquín, Carro, Manuel, Chen, Zhuo, Gupta, Gopal

Získat plný text

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. We…”
Získat plný text

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

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

Justifications for Goal-Directed Constraint Answer Set Programming Autor 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…”
Získat 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. This extension is not straightforward as the grounding phase, present in…”
Získat 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ískat 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

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

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

“… Recall integer linear programming, MaxSAT, optimization satisfiability modulo theory, (constraint) answer set programming…”
Získat plný text