Suchergebnisse - "constraint answer set programming"

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. This extension is not straightforward as the grounding phase, present in …”
Volltext

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

Volltext

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

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

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

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

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

Volltext

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. We …”
Volltext

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

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

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

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming von 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 …”
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) often results in cumbersome and inefficient encodings …”
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

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

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

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

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