Search
Search Results
-
Spacetime programming: a synchronous language for constraint search
Constraint programming is a paradigm for computing with mathematical relations named constraints. It is a declarative approach to describe many...
-
Constraint Programming Paradigm
InParadigmconstraint Programmingconstraint this chapter we describe the constraint programming paradigm, a third approach to declarative programming... -
Declarative Reasoning on Explanations Using Constraint Logic Programming
Explaining opaque Machine Learning (ML) models is an increasingly relevant problem. Current explanation in AI (XAI) methods suffer several... -
Inverse reinforcement learning through logic constraint inference
Autonomous robots start to be integrated in human environments where explicit and implicit social norms guide the behavior of all agents. To assure...
-
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming
The Münster Logic-Imperative Language (Muli) is a constraint-logic object-oriented programming language, suited for the development of applications... -
Logic programming for deliberative robotic task planning
Over the last decade, the use of robots in production and daily life has increased. With increasingly complex tasks and interaction in different...
-
Dynamic Logic Programming
Dynamic Logic Programming (DLP) is an extension to logic programming designed to support the representation of knowledge about dynamic worlds. It... -
Predicate Anti-unification in (Constraint) Logic Programming
The concept of anti-unification refers to the process of determining the most specific generalization (msg) of two or more input program objects. In... -
Logic Programming Paradigm
In this chapter we analyse a second main paradigm which supports declarative programming: logic programming. This paradigm includes both theoretical... -
CoPTIC: Constraint Programming Translated Into C
Constraint programming systems allow a diverse range of problems to be modelled and solved. Most systems require the user to learn a new constraint... -
Theorem Proving as Constraint Solving with Coherent Logic
In contrast to common automated theorem proving approaches, in which the search space is a set of some formulae and what is sought is again a (goal)...
-
Combining Logic Programming and Imperative Programming in LPS
Logic programs and imperative programs employ different notions of computing. Logic programs compute by proving that a goal is a logical consequence... -
A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
Constraint logic programming emerged in the late 80’s as a highly declarative class of programming languages based on first-order logic and theories... -
Inductive logic programming at 30
Inductive logic programming (ILP) is a form of logic-based machine learning. The goal is to induce a hypothesis (a logic program) that generalises...
-
Lifting symmetry breaking constraints with inductive logic programming
Efficient omission of symmetric solution candidates is essential for combinatorial problem-solving. Most of the existing approaches are...
-
Functional and Logic Programming 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in...
-
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot
The generation of a robot program can be seen as a collection of sub-problems, where many combinations of some of these sub-problems are well...
-
Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming,... -
Logic programming in tensor spaces
This paper introduces a novel approach to computing logic programming semantics. First, a propositional Herbrand base is represented in a vector...
-
Constraint-Logic Object-Oriented Programming with Free Arrays
Constraint-logic object-oriented programming provides a useful symbiosis between object-oriented programming and constraint-logic search. The ability...