Suchergebnisse - Logic and Constraint Programming Keywords constraint programming

  1. 1

    Contractibility for open global constraints von MAHER, MICHAEL J.

    ISSN: 1471-0684, 1475-3081
    Veröffentlicht: Cambridge, UK Cambridge University Press 01.07.2017
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  2. 2

    Classifier-based constraint acquisition von Prestwich, S. D., Freuder, E. C., O’Sullivan, B., Browne, D.

    ISSN: 1012-2443, 1573-7470
    Veröffentlicht: Cham Springer International Publishing 01.07.2021
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  3. 3

    Constraints on signaling network logic reveal functional subgraphs on Multiple Myeloma OMIC data von Miannay, Bertrand, Minvielle, Stéphane, Magrangeas, Florence, Guziolowski, Carito

    ISSN: 1752-0509, 1752-0509
    Veröffentlicht: London BioMed Central 21.03.2018
    Veröffentlicht in BMC systems biology (21.03.2018)
    “… Results We start by modeling the biological network representing its underlying logic using Logic Programming …”
    Volltext
    Journal Article
  4. 4

    USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition von Kona, Srividya, Bansal, Ajay, Simon, Luke, Mallya, Ajay, Gupta, Gopal

    ISSN: 1545-7362, 1546-5004
    Veröffentlicht: Hershey IGI Global 01.01.2009
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  5. 5

    A Constraint Logic Programming Algorithm for Modeling Dynamic Pricing von Oliveira, Fernando S

    ISSN: 1091-9856, 1526-5528, 1091-9856
    Veröffentlicht: Linthicum INFORMS 2008
    Veröffentlicht in INFORMS journal on computing (2008)
    “… (when an optimum does exist) and propose a constraint logic programming solution to this problem …”
    Volltext
    Journal Article
  6. 6

    A Framework for Semantic Group Formation in Education von Ounnas, Asma, Davis, Hugh C, Millard, David E

    ISSN: 1176-3647, 1436-4522, 1436-4522
    Veröffentlicht: Palmerston North International Forum of Educational Technology & Society 01.10.2009
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  7. 7

    Spreadsheet computing with Finite Domain Constraint Enhancements von Beyenne, Ezana N

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 22.02.2022
    Veröffentlicht in 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 …”
    Volltext
    Paper
  8. 8

    Monomial geometric programming with fuzzy relation equation constraints regarding max-bounded difference composition operator von Molai, Ali Abbasi

    ISSN: 2146-1147, 2146-1147
    Veröffentlicht: Istanbul Turkic World Mathematical Society 01.07.2015
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  9. 9

    Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction von Beyenne, Ezana N, Hai-Feng, Guo

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 22.02.2022
    Veröffentlicht in 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 …”
    Volltext
    Paper
  10. 10

    A fuzzy multidimensional multiple-choice knapsack model for project portfolio selection using an evolutionary algorithm von Tavana, Madjid, Khalili-Damghani, Kaveh, Abtahi, Amir-Reza

    ISSN: 0254-5330, 1572-9338
    Veröffentlicht: Boston Springer US 01.07.2013
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  11. 11

    A polynomial relational class of binary CSP von Jguirim, Wafa, Naanaa, Wady, Cooper, Martin C.

    ISSN: 1012-2443, 1573-7470
    Veröffentlicht: Cham Springer International Publishing 01.05.2018
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  12. 12

    Single-facility scheduling by logic-based benders decomposition von Coban, Elvin, Hooker, J.N

    ISSN: 0254-5330
    Veröffentlicht: Springer 01.11.2013
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  13. 13

    Mathematical models of trade-off schemes in multicriteria mathematical programming problems with fuzzy constraints von Zack, Yu. A.

    ISSN: 1060-0396, 1573-8337
    Veröffentlicht: Boston Springer US 01.09.2010
    Veröffentlicht in Cybernetics and systems analysis (01.09.2010)
    “… Single- and multicriteria mathematical programming problems with fuzzy constraints are formulated as vector optimization problems …”
    Volltext
    Journal Article
  14. 14

    Optimal resource allocation and scheduling for the CELL BE platform von Benini, Luca, Lombardi, Michele, Milano, Michela, Ruggiero, Martino

    ISSN: 0254-5330, 1572-9338
    Veröffentlicht: Boston Springer US 01.04.2011
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  15. 15

    Inductive Data Types Based on Fibrations Theory in Programming von Miao, Decheng, Xi, Jianqing, Guo, Yubin, Tang, Deyou

    ISSN: 1846-3908, 1330-1136, 1846-3908
    Veröffentlicht: Sveuciliste U Zagrebu 01.03.2016
    Veröffentlicht in 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 …”
    Volltext
    Journal Article Paper
  16. 16

    Development of XQuery Interpreter Extensions Based on Fuzzy Logic with Priorities von Sae-Ueng, Pannipa

    ISBN: 9798352613207
    Veröffentlicht: 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 …”
    Volltext
    Dissertation
  17. 17

    More Logic Puzzle Apps Solved by Mathematical Programming von Hartmann, Sonke

    ISSN: 1532-0545, 1532-0545
    Veröffentlicht: Institute for Operations Research and the Management Sciences 01.09.2019
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  18. 18

    A Linear Mathematical Model of the Vocational Training Problem in a Company Using Neutrosophic Logic, Hyperfunctions, and SuperHyperFunction von Jdid, Maissam, Smarandache, Florentin, Fujita, Takaaki

    ISSN: 2331-6055, 2331-608X
    Veröffentlicht: Neutrosophic Sets and Systems 01.11.2025
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  19. 19

    Using a priori information in regression analysis von Korkhin, A. S.

    ISSN: 1060-0396, 1573-8337
    Veröffentlicht: Boston Springer US 01.01.2013
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
  20. 20

    Problem solving by equivalent transformation of negative constraints von Mabuchi, H., Akama, K., Koike, H., Ishikawa, T.

    ISBN: 9780780392984, 0780392981
    ISSN: 1062-922X
    Veröffentlicht: IEEE 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 …”
    Volltext
    Tagungsbericht