Výsledky vyhledávání - "Constraint Logic Programming"

CHR++: An efficient CHR system in C++ with don’t know non-determinism Autor Barichard, Vincent

“…This article introduces CHR++, an implementation of CHR (Constraint Handling Rules) in C++. CHR++ has been designed to be efficient, user-friendly, and to make…”
Získat plný text

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach Autor Sitek, Pawel, Wikarek, Jarosław

“…The paper presents an optimization model and its implementation using a hybrid approach for the Capacitated Vehicle Routing Problem with Pick-up and…”
Získat plný text

A decision support model for handling customer orders in business chain Autor Sitek, Paweł, Wikarek, Jarosław, Bocewicz, Grzegorz, Nielsen, Izabela

“…One of the elements of the modern trade and services market is a business chain solution (chain store/retail chain). An example of a business chain is, e.g., a…”
Získat plný text

Constraint Programming-Based Verification of COLREG Safety Autor Vain, Juri, Tsiopoulos, Leonidas, Walden, Marina, Benterki, Aboubaker Seddiq

“…COLREG sets maritime navigation safety rules that are defined to be human-interpretable. With the advent of autonomous surface vehicles (ASVs), the level of…”
Získat plný text

Analysis and Transformation of Constrained Horn Clauses for Program Verification Autor DE ANGELIS, EMANUELE, FIORAVANTI, FABIO, GALLAGHER, JOHN P., HERMENEGILDO, MANUEL V., PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO

“…This paper surveys recent work on applying analysis and transformation techniques that originate in the field of constraint logic programming (CLP) to the…”
Získat plný text

Program verification via iterated specialization Autor De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.

“…We present a method for verifying properties of imperative programs by using techniques based on the specialization of constraint logic programs (CLP). We…”
Získat plný text

A Flexible Framework to Ensure Traceability, Consistency, and Propagation of KPIs Evolution Autor Domínguez, Eladio, Pérez, Beatriz, Rubio, Ángel L., Zapata, María A.

“…ABSTRACT Organizations use key performance indicators (KPIs) to assess the effectiveness and efficiency of their procedures and processes. In a world that is…”
Získat plný text

A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers Autor Cristiá, Maximiliano, Rossi, Gianfranco

“…Let L X be the language of a first-order, decidable, quantifier-free theory X . Consider the language, L R Q ( X ) , that extends L X with formulas of the form…”
Získat plný text

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification Autor CRISTIÁ, MAXIMILIANO, ROSSI, GIANFRANCO

“…This technical note shows how we have combined prescriptive type checking and constraint solving to increase automation during software verification. We do so…”
Získat plný text

Functional and Cost-Based Automatic Generator for Hybrid Vehicles Topologies Autor Silvas, Emilia, Hofman, Theo, Serebrenik, Alexander, Steinbuch, Maarten

“…The energy efficiency of a hybrid electric vehicle is dictated by the topology (coupling option of power sources/sinks), choice (technology), and control of…”
Získat plný text

Reasoning about UML/OCL class diagrams using constraint logic programming and formula Autor Pérez, Beatriz, Porres, Ivan

“…Model Driven Engineering promotes the use of models as the main artifacts in software and system development. Verification and validation of models are key…”
Získat plný text

A multi-level approach to ubiquitous modeling and solving constraints in combinatorial optimization problems in production and distribution Autor Sitek, Paweł, Wikarek, Jarosław

“…Constraints, although ubiquitous in production and distribution planning, scheduling and control, often lead to inconsistencies in the decision-making process…”
Získat plný text

A Validation Methodology for XAI Decision Support Systems Against Relational Domain Properties Autor De Angelis, Emanuele, De Angelis, Guglielmo, Mongelli, Maurizio, Proietti, Maurizio

“…ABSTRACT The global adoption of artificial intelligence (AI) has increased dramatically in recent years, becoming commonplace in many fields. Such a…”
Získat plný text

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification Autor Unno, Hiroshi, Terauchi, Tachio, Gu, Yu, Koskinen, Eric

“…We present a novel approach to deciding the validity of formulas in first-order fixpoint logic with background theories and arbitrarily nested inductive and…”
Získat plný text

Integrating Cardinality Constraints into Constraint Logic Programming with Sets Autor CRISTIÁ, MAXIMILIANO, ROSSI, GIANFRANCO

“…Formal reasoning about finite sets and cardinality is important for many applications, including software verification, where very often one needs to reason…”
Získat plný text

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling Autor Chesani, Federico, Cota, Giuseppe, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Riguzzi, Fabrizio

“…Every year about one third of the food production intended for humans gets lost or wasted. This wastefulness of resources leads to the emission of unnecessary…”
Získat plný text

Adaptive Environment Generation for Continual Learning: Integrating Constraint Logic Programming With Deep Reinforcement Learning Autor Boutyour, Youness, Idrissi, Abdellah

“…In this article, we introduce a novel framework that combines constraint logic programming (CLP) with deep reinforcement learning (DRL) to create adaptive…”
Získat plný text

From extended feature models to constraint logic programming Autor Karataş, Ahmet Serkan, Oğuztüzün, Halit, Doğru, Ali

“…Since feature models for realistic product families may be quite complicated, the automated analysis of feature models is desirable. Although several…”
Získat plný text

Reasoning about clinical guidelines based on algebraic data types and constraint logic programming Autor Pérez, Beatriz

“…[Display omitted] •Reasoning about Clinical Guidelines based on CLP using the Formula tool as model finder.•Guidelines design reasoning by checking correctness…”
Získat plný text

Proactive and reactive approach to employee competence configuration problem in planning and scheduling processes Autor Wikarek, Jarosław, Sitek, Paweł

“…At the time of commonplace automation, robotization and the rapid development of IT, high qualifications of employees have become the critical element of every…”
Získat plný text