Search
Search Results
-
Repairing SHACL Constraint Violations Using Answer Set Programming
The Shapes Constraint Language (SHACL) is a recent W3C recommendation for validating RDF graphs against shape constraints to be checked on target...
-
Logic Synthesis
This chapter delves into the subject of logic synthesis within the FPGA design process. It involves the conversion of high-level hardware description...
-
Learning optimal decision trees using constraint programming
Decision trees are among the most popular classification models in machine learning. Traditionally, they are learned using greedy algorithms....
-
Model-based reasoning using answer set programming
Diagnosis, i.e., the detection and identification of faults, provides the basis for bringing systems back to normal operation in case of a fault....
-
Programming Languages: Principles and Paradigms
This textbook is a thorough, up-to-date introduction to the principles and techniques that guide the design and implementation of modern programming...
-
Soft Concurrent Constraint Programming with Local Variables
We extend Soft Concurrent Constraint languages with the possibility to manage variables that are local (i.e., private) to some of the agents. Being...
-
High-Level Programming of FPGA-Accelerated Systems with Parallel Patterns
As a result of frequency and power limitations, multi-core processors and accelerators are becoming more and more prevalent in today’s systems. To...
-
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells
Deciphering gene regulatory networks’ functioning is an essential step for better understanding of life, as these networks play a fundamental role in...
-
Algebraic Global Gadgetry for Surjective Constraint Satisfaction
The constraint satisfaction problem (CSP) on a finite relational structure B is to decide, given a set of constraints on variables where the...
-
Logic
According to Aristotle, to be a good speaker, one has to excel in the three principles of rhetoric: logos (correct reasoning), ethos (good character...
-
ViolationLS: Constraint-Based Local Search in CP-SAT
We introduce ViolationLS, a Constraint-Based Local Search (CBLS) solver for arbitrary MiniZinc models based on the Feasibility Jump Mixed-Integer...
-
Answer Set Programming Made Easy
We take up an idea from the folklore of Answer Set Programming (ASP), namely that choices, integrity constraints along with a restricted rule format...
-
A new constraint programming model and solving for the cyclic hoist scheduling problem
The cyclic hoist scheduling problem (CHSP) is a well-studied optimisation problem due to its importance in industry. Despite the wide range of...
-
Controller synthesis for linear temporal logic and steady-state specifications
The problem of deriving decision-making policies, subject to some formal specification of behavior, has been well-studied in the control synthesis,...
-
KBO Constraint Solving Revisited
KBO constraint solving is very well-known to be an NP-complete problem. Motivated by the needs of the family of SCL calculi, we consider the...
-
Logic Model Processing
Model Driven Engineering (MDE) refers to the use of software models to represent System or Software conceptual, logical, or physical abstractions,...
-
From Probabilistic Programming to Complexity-Based Programming
The paper presents the main characteristics and a preliminary implementation of a novel computational framework named CompLog. Inspired by...
-
An overview of machine learning techniques in constraint solving
Constraint solving is applied in different application contexts. Examples thereof are the configuration of complex products and services, the...
-
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
The Cumulative constraint is one of the most important global constraints, as it naturally arises in a variety of problems related to scheduling with...
-
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest...