Search Results - Rule-Based Constraint Programming

Computing Process-Specific Constraints.

Authors: Jardine, Adam Oakden, Christopher

Source: Linguistic Inquiry; Fall225, Vol. 56 Issue 4, p807-816, 10p

Subject Terms: PHONOLOGY, MATHEMATICAL logic, RULE-based programming, CONSTRAINT programming

Rule-Based Constraint Programming: Rule-based constraint programming

Authors: Kirchner, Claude Ringeissen, Christophe Loria, Publications

Contributors: Kirchner, Claude Ringeissen, Christophe Loria, Publications

Source: Fundamenta Informaticae. 34:225-262

Subject Terms: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), constraint programming, programmation avec contraintes, unification, résolution de contraintes, ELAN language, computational systems, 0102 computer and information sciences, 02 engineering and technology, logique de réécriture, rewriting logic, 01 natural sciences, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], systèmes de calcul, constraint solving, Grammars and rewriting systems, 0202 electrical engineering, electronic engineering, information engineering

File Description: application/xml

Access URL: https://inria.hal.science/inria-00098476v1
https://zbmath.org/1337859
https://hal.inria.fr/inria-00098476
https://content.iospress.com/doi/10.3233/FI-1998-34302
https://dblp.uni-trier.de/db/journals/fuin/fuin34.html#KirchnerR98
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-article-BUS1-0003-0043
https://dl.acm.org/doi/abs/10.5555/2379050.2379052

Schedulers for rule-based constraint programming

Authors: Apt, K.R. Brand, S.

Source: Proceedings of the 2003 ACM symposium on Applied computing. :14-21

Subject Terms: I.2.2, FOS: Computer and information sciences, I.2.3, Computer Science - Programming Languages, D.3.4, D.3.3, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), Programming Languages (cs.PL)

Access URL: https://ir.cwi.nl/pub/10477/10477D.pdf
http://arxiv.org/abs/cs/0211019
https://dare.uva.nl/personal/pure/en/publications/schedulers-for-rulebased-constraint-programming(fcc8604e-af3b-421b-a357-3d0013ef59c3).html
https://hdl.handle.net/11245/1.220856
https://dblp.uni-trier.de/db/journals/corr/corr0211.html#cs-DS-0211019
https://www.narcis.nl/publication/RecordID/oai%3Acwi.nl%3A10477
https://doi.org/10.1145/952532.952537
https://dl.acm.org/doi/10.1145/952532.952537
https://core.ac.uk/display/48664668
https://arxiv.org/pdf/cs/0211019

Constraint programming viewed as rule-based programming

Authors: Apt, K.R. Monfroy, E.

Source: Theory and Practice of Logic Programming. 1:713-750

Subject Terms: I.2.2, FOS: Computer and information sciences, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), I.2.3, rule consistency, Computer Science - Programming Languages, finite domain, Computer Science - Artificial Intelligence, D.3.3, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering, Programming Languages (cs.PL)

File Description: application/xml

Access URL: http://arxiv.org/pdf/cs/0003076
http://arxiv.org/abs/cs/0003076

Rule-based modeling and constraint programming based solution of the assembly line balancing problem

Authors: Topaloglu, ŞEYDA AYŞE Supciller, Aliye Ayca SALUM, LATİF

Source: Expert Systems with Applications. 39:3484-3493

Subject Terms: 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://www.sciencedirect.com/science/article/pii/S0957417411013479#!
https://dblp.uni-trier.de/db/journals/eswa/eswa39.html#TopalogluSS12
https://doi.org/10.1016/j.eswa.2011.09.038
https://avesis.deu.edu.tr/yayin/f1319254-37b7-4540-80c4-49e62a85f63c/rule-based-modeling-and-constraint-programming-based-solution-of-the-assembly-line-balancing-problem
https://www.sciencedirect.com/science/article/pii/S0957417411013479
http://dblp.uni-trier.de/db/journals/eswa/eswa39.html#TopalogluSS12
https://avesis.deu.edu.tr/publication/details/f1319254-37b7-4540-80c4-49e62a85f63c/oai

Multi-AGV Collaborative Task Scheduling and Deep Reinforcement Learning Optimization Under Multi-Feature Constraints.

Authors: Zhao, Dongping Li, Hui Wang, Ziyang et al.

Source: Processes; Nov2025, Vol. 13 Issue 11, p3754, 23p

Subject Terms: AUTOMATED guided vehicle systems, REINFORCEMENT learning, MATHEMATICAL optimization, CONSTRAINT programming, AUTOMATION, SCHEDULING, LOGISTICS

Balancing U-shaped assembly lines with collaborative robots: constraint programming approaches and Benders' decomposition algorithms.

Authors: Zheng, Chenyu Li, Zixiang Ponnambalam, S. G.

Source: International Journal of Production Research; Dec2025, Vol. 63 Issue 24, p10468-10489, 22p

Compositions Created With Constraint Programming

Authors: Anders, Torsten

Subject Terms: constraint programming, OpenMusic, PWGL, compositional rule, musical composition, music constraint programming, rule-based, algorithmic composition

Integer and constraint programming models for the straight and U-shaped assembly line balancing with hierarchical worker assignment problem.

Authors: Işık, Eyüp Ensar Yildiz, Seyda Topaloglu

Source: International Journal of Production Research; Jul2024, Vol. 62 Issue 14, p5269-5292, 24p

Subject Terms: ASSEMBLY line balancing, CONSTRAINT programming, INTEGER programming, ASSIGNMENT problems (Programming), ASSEMBLY line methods, DISTRIBUTION planning

A constraint programming approach to a real-world workforce scheduling problem for multi-manned assembly lines with sequence-dependent setup times.

Authors: Güner, Funda Görür, Abdül K. Satır, Benhür et al.

Source: International Journal of Production Research; May2024, Vol. 62 Issue 9, p3212-3229, 18p

Subject Terms: CONSTRAINT programming, SETUP time, ASSEMBLY line methods, ASSEMBLY line balancing, MIXED integer linear programming, SHIFT systems

Company/Entity: TEXAS Instruments Inc.

ASP-FZN: A Translation-Based Constraint Answer Set Solver.

Authors: EITER, THOMAS GEIBINGER, TOBIAS MUSLIU, NYSRET et al.

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p649-667, 19p

Subject Terms: CONSTRAINT programming, CONSTRAINT satisfaction, LINEAR equations, BENCHMARK problems (Computer science), PROGRAMMING languages

Constraint Programming viewed as Rule-based Programming

Authors: Apt, Krzysztof R. Monfroy, Eric

Index Terms: Computer Science - Artificial Intelligence, Computer Science - Programming Languages, D.3.3, I.2.2, I.2.3, text

URL: http://arxiv.org/abs/cs/0003076

A Note on Redundant Rules in Rule-Based Constraint Programming

Authors: Brand, S.

Source: Lecture Notes in Computer Science ISBN: 9783540009863

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://hdl.handle.net/11245/1.207974
https://dare.uva.nl/personal/pure/en/publications/a-note-on-redundant-rules-in-rulebased-constraint-programming(19af00c2-1989-48ba-8c17-2a4877333c04).html
https://dare.uva.nl/personal/pure/en/publications/a-note-on-redundant-rules-in-rulebased-constraint-programming(bb2aca12-ca81-4be5-ac16-c52cae046fe9).html
https://hdl.handle.net/11245/1.220980
https://core.ac.uk/display/24723497
https://link.springer.com/chapter/10.1007/3-540-36607-5_8
https://dblp.uni-trier.de/db/conf/colognet/colognet2002.html#Brand02
https://rd.springer.com/chapter/10.1007/3-540-36607-5_8

Using Rule-based Constraint Programming to Find MAPs for Bayesian Networks

Additional Titles: Bayes-verkon MAP-ongelman ratkaisu sääntöpohjaisella rajoiteohjelmoinnilla

Authors: Teknillinen korkeakoulu Helsinki University of Technology Teknillisen fysiikan ja matematiikan osasto et al.

Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems

Authors: Abder, Aggoun Beldiceanu, Nicolas Carlsson, Mats et al.

Contributors: Abder, Aggoun Beldiceanu, Nicolas Carlsson, Mats et al.

Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [INFO.INFO-RO] Computer Science [cs]/Operations Research [math.OC], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Access URL: https://inria.hal.science/hal-00915805v1

Schedulers for Rule-based Constraint Programming

Authors: Apt, Krzysztof R. Brand, Sebastian

Index Terms: Computer Science - Data Structures and Algorithms, Computer Science - Programming Languages, I.2.2, I.2.3, D.3.3, D.3.4, text

URL: http://arxiv.org/abs/cs/0211019

Constraint programming viewed as rule-based programming. Special issue in honor of Alain Colmerauer, on the occasion of his 60th birthday.

Authors: Apt, K.R. (Krzysztof) Monfroy, E.B.G.

Source: Theory and Practice of Logic Programming vol. 1 no. 6, pp. 713-750

Index Terms: info:eu-repo/semantics/article

URL: http://ir.cwi.nl/pub/1108

Large Language Model-Driven Framework for Automated Constraint Model Generation in Configuration Problems.

Authors: Penco, Roberto Pintar, Damir Vranić, Mihaela et al.

Source: Applied Sciences (2076-3417); Jun2025, Vol. 15 Issue 12, p6518, 28p

Subject Terms: LANGUAGE models, CONSTRAINT programming, CONSTRAINT satisfaction, NATURAL languages, FORMAL languages

Schedulers for rule-based constraint programming

Authors: Apt, K.R. (Krzysztof) Brand, S.

Index Terms: info:eu-repo/semantics/conferenceObject

URL: http://ir.cwi.nl/pub/10477

Integrating rule-based modelling and constraint programming for solving industrial packing problems

Authors: Aggoun, Abderrahmane Beldiceanu, Nicolas Carlsson, Mats et al.

Source: NET-WMS ERCIM News. :34-35

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-23820