Results 51 to 60 of about 7,084,339 (219)
SUNNY-CP and the MiniZinc Challenge [PDF]
, 2017 In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem. This fairly recent approach enables to significantly boost the performance of single solvers, especially when multicore ...
Amadini, Roberto +2 more
core +3 more sources
, 2006 In this work we present work in progress on functionality duplication detection in logic programs. Eliminating duplicated functionality recently became prominent in context of refactoring. We describe a quantitative approach that allows to measure the ``similarity'' between two predicate definitions.
Serebrenik, A., Vanhoof, W.
openaire +4 more sources
Defeasible logic programming: language definition, operational semantics, and parallelism
Journal of Computer Science and Technology, 2001 This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and ...
Alejandro Javier García
doaj
Logic Macroprogramming for Wireless Sensor Networks
International Journal of Distributed Sensor Networks, 2012 It is notoriously difficult and tedious to program wireless sensor networks (WSNs). To simplify WSN programming, we propose Sense2P, a logic macroprogramming system for abstracting, programming, and using WSNs as globally deductive databases.
Supasate Choochaisri +2 more
doaj +1 more source
Mixed logical-linear programming
Discrete Applied Mathematics, 1999 Mixed logical/linear programming (MLLP) is an extension of mixed integer/linear programming (MILP). It can represent the discrete elements of a problem with logical propositions and provides a more natural modeling framework than MILP. It can also have computational advantages, partly because it eliminates integer variables when they serve no purpose ...
Hooker, J.N., Osorio, M.A.
openaire +2 more sources
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
, 2006 In this paper we compare three different formalisms that can be used in the area of models for distributed, concurrent and mobile systems. In particular we analyze the relationships between a process calculus, the Fusion Calculus, graph transformations ...
Lanese, Ivan, Montanari, Ugo
core +3 more sources
From Logic to Functional Logic Programs
Theory and Practice of Logic Programming, 2022 AbstractLogic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into predicates in order to stay in the logic programming framework. Since amalgamated functional logic
openaire +2 more sources
Jurnal Sistem dan Manajemen Industri, 2023 Customer demands for product quality are increasingly complex, requiring better inspection accuracy. It is not enough if done manually because it requires high costs and varying operator accuracy.
Zulfa Fitri Ikatrinasari +2 more
doaj +1 more source
, 2003 Program changes take up a substantial part of the entire programming effort. Often a preliminary step of improving the design without altering the external behaviour can be recommended. This is the idea behind refactoring, a source-to-source program transformation that recently came to prominence in the OO-community [1].
Serebrenik, Alexander, Demoen, Bart
openaire +2 more sources
An Improved Proof-Theoretic Compilation of Logic Programs
, 2012 In prior work, we showed that logic programming compilation can be given a proof-theoretic justification for generic abstract logic programming languages, and demonstrated this technique in the case of hereditary Harrop formulas and their linear variant.
Cervesato, Iliano
core +1 more source