Výsledky vyhľadávania - Logic and Constraint Programming Keywords constraint programming
-
1
Contractibility for open global constraints
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.07.2017Vydané v Theory and practice of logic programming (01.07.2017)“… Such forms are needed for difficult constraint programming problems, where problem construction and problem solving are interleaved, and fit naturally within constraint logic programming…”
Získať plný text
Journal Article -
2
Classifier-based constraint acquisition
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.07.2021Vydané v Annals of mathematics and artificial intelligence (01.07.2021)“… Constraint acquisition methods attempt to automate this process by learning constraints from examples of solutions and (usually) non-solutions…”
Získať plný text
Journal Article -
3
Constraints on signaling network logic reveal functional subgraphs on Multiple Myeloma OMIC data
ISSN: 1752-0509, 1752-0509Vydavateľské údaje: London BioMed Central 21.03.2018Vydané v BMC systems biology (21.03.2018)“… Results We start by modeling the biological network representing its underlying logic using Logic Programming…”
Získať plný text
Journal Article -
4
USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition
ISSN: 1545-7362, 1546-5004Vydavateľské údaje: Hershey IGI Global 01.01.2009Vydané v International journal of web services research (01.01.2009)“…Web services and Service-Oriented Computing is being widely adopted. In order to effectively reuse existing services, we need an infrastructure that allows…”
Získať plný text
Journal Article -
5
A Constraint Logic Programming Algorithm for Modeling Dynamic Pricing
ISSN: 1091-9856, 1526-5528, 1091-9856Vydavateľské údaje: Linthicum INFORMS 2008Vydané v INFORMS journal on computing (2008)“… (when an optimum does exist) and propose a constraint logic programming solution to this problem…”
Získať plný text
Journal Article -
6
A Framework for Semantic Group Formation in Education
ISSN: 1176-3647, 1436-4522, 1436-4522Vydavateľské údaje: Palmerston North International Forum of Educational Technology & Society 01.10.2009Vydané v Educational technology & society (01.10.2009)“… The use of both Semantic Web technologies and Logic programming proved to increase the satisfaction of the constraints and overcome the orphans' problem…”
Získať plný text
Journal Article -
7
Spreadsheet computing with Finite Domain Constraint Enhancements
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 22.02.2022Vydané v arXiv.org (22.02.2022)“… The spreadsheet application's ease of use and usefulness has enabled non-programmers to perform programming-like tasks in a familiar setting modeled after the tabular "pen and paper" approach…”
Získať plný text
Paper -
8
Monomial geometric programming with fuzzy relation equation constraints regarding max-bounded difference composition operator
ISSN: 2146-1147, 2146-1147Vydavateľské údaje: Istanbul Turkic World Mathematical Society 01.07.2015Vydané v TWMS journal of applied and engineering mathematics (01.07.2015)“… Keywords: Geometric optimization, Fuzzy relation equations, Max-bounded difference composition operator, Non-convex programming, Fuzzy optimization…”
Získať plný text
Journal Article -
9
Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 22.02.2022Vydané v arXiv.org (22.02.2022)“… It provides excellent usability and usefulness, and it easily enables a non-programmer to perform programming-like tasks in a visual tabular "pen and paper" approach…”
Získať plný text
Paper -
10
A fuzzy multidimensional multiple-choice knapsack model for project portfolio selection using an evolutionary algorithm
ISSN: 0254-5330, 1572-9338Vydavateľské údaje: Boston Springer US 01.07.2013Vydané v Annals of operations research (01.07.2013)“… Numerous analytical techniques ranging from simple weighted scoring to complex mathematical programming approaches have been proposed to solve these problems with precise data…”
Získať plný text
Journal Article -
11
A polynomial relational class of binary CSP
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.05.2018Vydané v Annals of mathematics and artificial intelligence (01.05.2018)“…Finding a solution to a constraint satisfaction problem (CSP) is known to be an NP-hard task…”
Získať plný text
Journal Article -
12
Single-facility scheduling by logic-based benders decomposition
ISSN: 0254-5330Vydavateľské údaje: Springer 01.11.2013Vydané v Annals of operations research (01.11.2013)“…Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either method alone…”
Získať plný text
Journal Article -
13
Mathematical models of trade-off schemes in multicriteria mathematical programming problems with fuzzy constraints
ISSN: 1060-0396, 1573-8337Vydavateľské údaje: Boston Springer US 01.09.2010Vydané v Cybernetics and systems analysis (01.09.2010)“…Single- and multicriteria mathematical programming problems with fuzzy constraints are formulated as vector optimization problems…”
Získať plný text
Journal Article -
14
Optimal resource allocation and scheduling for the CELL BE platform
ISSN: 0254-5330, 1572-9338Vydavateľské údaje: Boston Springer US 01.04.2011Vydané v Annals of operations research (01.04.2011)“… The first is based on the recursive application of the Logic Based Benders decomposition, resulting in a three stage algorithm…”
Získať plný text
Journal Article -
15
Inductive Data Types Based on Fibrations Theory in Programming
ISSN: 1846-3908, 1330-1136, 1846-3908Vydavateľské údaje: Sveuciliste U Zagrebu 01.03.2016Vydané v Journal of computing and information technology (01.03.2016)“…Traditional methods including algebra and category theory have some deficiencies in analyzing semantics properties and describing inductive rules of inductive…”
Získať plný text
Journal Article Paper -
16
Development of XQuery Interpreter Extensions Based on Fuzzy Logic with Priorities
ISBN: 9798352613207Vydavateľské údaje: ProQuest Dissertations & Theses 01.01.2021“…In many real-world applications, information is often imprecise and uncertain. With the popularity of web-based applications, huge amounts of data are…”
Získať plný text
Dissertation -
17
More Logic Puzzle Apps Solved by Mathematical Programming
ISSN: 1532-0545, 1532-0545Vydavateľské údaje: Institute for Operations Research and the Management Sciences 01.09.2019Vydané v Transactions on education (01.09.2019)“… The puzzles lead to a broad variety of exercises, ranging from graph models to specific constraint types such as logical and inequality constraints. Keywords: puzzle…”
Získať plný text
Journal Article -
18
A Linear Mathematical Model of the Vocational Training Problem in a Company Using Neutrosophic Logic, Hyperfunctions, and SuperHyperFunction
ISSN: 2331-6055, 2331-608XVydavateľské údaje: Neutrosophic Sets and Systems 01.11.2025Vydané v Neutrosophic sets and systems (01.11.2025)“… Mathematical models consist of an objective function, through which we search for the maximum or minimum value, and constraints…”
Získať plný text
Journal Article -
19
Using a priori information in regression analysis
ISSN: 1060-0396, 1573-8337Vydavateľské údaje: Boston Springer US 01.01.2013Vydané v Cybernetics and systems analysis (01.01.2013)“…The paper considers the methods to evaluate regression parameters under indefinite a priori information of two types: fuzzy and stochastic. Fuzzy a priori…”
Získať plný text
Journal Article -
20
Problem solving by equivalent transformation of negative constraints
ISBN: 9780780392984, 0780392981ISSN: 1062-922XVydavateľské údaje: IEEE 01.01.2005Vydané v 2005 IEEE International Conference on Systems, Man and Cybernetics (01.01.2005)“…This paper proposes a new approach to negation. While most theories for negation are based on the logic paradigm, our theory is constructed based on the equivalent transformation (ET…”
Získať plný text
Konferenčný príspevok..

