Search Results - "Constraint logic programming"

Adaptive Environment Generation for Continual Learning: Integrating Constraint Logic Programming With Deep Reinforcement Learning

Authors: Youness Boutyour Abdellah Idrissi

Source: IEEE Transactions on Cognitive and Developmental Systems. 17:540-553

Multi-Depot Pickup and Delivery Problem Optimization with Constraint Logic Programming

Authors: Allada Smrithi Alimili Varshini Valluru Venkata Sai Bhavitha Reddy et al.

Source: 2025 International Conference on Computational Innovations and Engineering Sustainability (ICCIES). :1-6

Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations

Authors: Bryan Garreau Martin Dieguez Lodeiro Eric Monfroy et al.

Source: 2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI). :379-386

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation

Authors: Jeroen Spaans Jesse Heyninck

Source: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence. :2684-2692

Subject Terms: 16. Peace & justice

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)

Authors: Spaans, Jeroen Heyninck, Jesse

Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Artificial Intelligence, Logic in Computer Science, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2507.16067

From a Constraint Logic Programming Language to a Formal Verification Tool

Authors: Cristiá, Maximiliano Capozucca, Alfredo Rossi, Gianfranco

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2505.17350

Using Constraint Logic Programming to Analyze the Chronology in "A Rose for Emily"

Authors: Burg, Jennifer Boyle, Anne Lang, Sheau-Dong

Source: Computers and the Humanities, 2000 Dec 01. 34(4), 377-392.

Access URL: https://www.jstor.org/stable/30204830

Hierarchical Constraint Logic Programming for Multi-Agent Systems

Authors: Hiroshi Hosobe Ken Satoh

Source: Proceedings of the 15th International Conference on Agents and Artificial Intelligence. :289-296

Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program Transformation

Authors: Shengbing Ren Mengyu Jia

Source: IEEE Access, Vol 7, Pp 62352-62360 (2019)

Subject Terms: Constraint logic programming, program transformation, program slicing, 0202 electrical engineering, electronic engineering, information engineering, large-scale software, Electrical engineering. Electronics. Nuclear engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, scenario, TK1-9971

Access URL: https://ieeexplore.ieee.org/ielx7/6287639/8600701/08410365.pdf
https://doaj.org/article/eeb44adb54504088834d3afb53789a90
https://ieeexplore.ieee.org/document/8410365/
https://dblp.uni-trier.de/db/journals/access/access7.html#RenJ19a

Building Information Modeling Using Constraint Logic Programming

Authors: JOAQUÍN ARIAS SEPPO TÖRMÄ MANUEL CARRO et al.

Source: Theory and Practice of Logic Programming

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 11. Sustainability, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2205.08572

Implementing type theory in higher order constraint logic programming

Authors: Guidi, Ferruccio Sacerdoti Coen, Claudio Tassi, Enrico

Contributors: Guidi, Ferruccio Sacerdoti Coen, Claudio Tassi, Enrico

Source: Mathematical Structures in Computer Science. 29:1125-1150

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], type theory, higher order constraint logic programming, logic programming, constraint programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-01410567/file/dalefest.pdf
https://inria.hal.science/hal-01410567v3
https://dblp.uni-trier.de/db/journals/mscs/mscs29.html#GuidiCT19
https://hal.inria.fr/hal-01410567/document
https://hal.archives-ouvertes.fr/hal-01410567v3
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/implementing-type-theory-in-higher-order-constraint-logic-programming/AB210BBE8C489B129C8A09AFCB2B905F
https://hal.inria.fr/hal-01410567v2
http://journals.cambridge.org/action/displayJournal?jid=MSC
https://hdl.handle.net/11585/698621
https://doi.org/10.1017/S0960129518000427

Selective Unification in (Constraint) Logic Programming*

Authors: Mesnard, Frédéric Payet, Etienne Vidal, Germán et al.

Contributors: Mesnard, Frédéric Payet, Etienne Vidal, Germán et al.

Source: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
Universitat Politècnica de València (UPV)
RiuNet: Repositorio Institucional de la Universitat Politécnica de Valéncia

Subject Terms: Constraint logic programming, Concolic testing, Unification, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, Logic programming, LENGUAJES Y SISTEMAS INFORMATICOS, 01 natural sciences

File Description: application/pdf

Access URL: https://riunet.upv.es/bitstream/10251/168537/7/Mesnard%3bPayet%3bVdal%20-%20Selectve%20Unfcatonn%20%28Constrant%29%20Logc%20Programmng.pdf
https://hal.archives-ouvertes.fr/hal-01579772/file/ppdp17.pdf
https://riunet.upv.es/handle/10251/168537
https://hal.univ-reunion.fr/hal-04500674v1
https://hal.science/hal-01579772v1
https://hal.univ-reunion.fr/hal-01922118v1
https://hal.univ-reunion.fr/hal-01922118/document
https://dl.acm.org/doi/10.1145/3131851.3131863
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2017.html#MesnardPV17
https://doi.org/10.1145/3131851.3131863
https://dblp.uni-trier.de/db/journals/fuin/fuin177.html#MesnardPV20
https://content.iospress.com/articles/fundamenta-informaticae/fi1993
https://riunet.upv.es/bitstream/10251/168537/1/Mesnard%3bPayet%3bVdal%20-%20Selectve%20Unfcatonn%20%28Constrant%29%20Logc%20Programmng.pdf
https://riunet.upv.es/handle/10251/168537
https://hdl.handle.net/10251/168537
https://doi.org/10.3233/fi-2020-1993

Constraint Logic Programming with Polynomial Constraints over Finite Domains

Authors: Federico Bergenti Stefania Monica Gianfranco Rossi et al.

Contributors: Federico Bergenti Stefania Monica Gianfranco Rossi et al.

Source: Fundamenta Informaticae. 161:9-27

Subject Terms: 0211 other engineering and technologies, Constraint logic programming, Modified Bernstein form, Polynomial constraints over finite domains, 02 engineering and technology

File Description: application/pdf

Access URL: https://dblp.uni-trier.de/db/journals/fuin/fuin161.html#BergentiMR18
https://air.unipr.it/handle/11381/2839912
https://content.iospress.com/articles/fundamenta-informaticae/fi1693
https://doi.org/10.3233/FI-2018-1693

Integrating Cardinality Constraints into Constraint Logic Programming with Sets

Authors: MAXIMILIANO CRISTIÁ GIANFRANCO ROSSI

Source: Theory and Practice of Logic Programming. 23:468-502

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/pdf/2102.05422
http://arxiv.org/abs/2102.05422
https://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-05422

Declarative Reasoning on Explanations Using Constraint Logic Programming

Authors: Laura State Salvatore Ruggieri Franco Turini

Source: Lecture Notes in Computer Science ISBN: 9783031436185
Logics in Artificial Intelligence, JELIA 2023
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Logics in Artificial Intelligence

Subject Terms: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Computers and Society, Computer Science - Machine Learning, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computers and Society (cs.CY), Symbolic Computation (cs.SC), Machine Learning (cs.LG)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2309.00422

Predicate Anti-unification in (Constraint) Logic Programming

Authors: Gonzague Yernaux Wim Vanhoof Glück, Robert et al.

Contributors: Gonzague Yernaux Wim Vanhoof Glück, Robert et al.

Source: Lecture Notes in Computer Science ISBN: 9783031457838
Yernaux, G & Vanhoof, W 2023, Predicate Anti-unification in (Constraint) Logic Programming . in R Glück & B Kafle (eds), Logic-Based Program Synthesis and Transformation-33rd International Symposium, LOPSTR 2023, Proceedings : Logic-Based Program Synthesis and Transformation. LOPSTR 2023. . vol. 14330, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14330 LNCS, Springer, Cham, pp. 131-149, 33rd International Symposium on Logic-based Program Synthesis and Transformation, Lisbonne, Portugal, 23/10/23 . https://doi.org/10.1007/978-3-031-45784-5_9

Subject Terms: Anti-unification, Generalization, Approximation algorithm, Approximation Algorithm

File Description: application/pdf

Access URL: https://researchportal.unamur.be/en/publications/a3cd587e-4cdc-4075-a928-84a94791f8fe
https://doi.org/10.1007/978-3-031-45784-5_9
https://pure.unamur.be/ws/files/87736008/2023Predicate_Anti-unification_in_Constraint_Logic_Programming.pdf

Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches

Authors: Bertagnon A. Gavanelli M.

Subject Terms: Answer Set Programming, CLP(FD), Euclidean Traveling Salesperson Problem, Experimental Comparison of ASP

File Description: application/pdf

Access URL: https://ceur-ws.org/Vol-3437/paper1ASPOCP.pdf
https://hdl.handle.net/11392/2520030

Constraint Logic Programming for Real-World Test Laboratory Scheduling

Authors: Tobias Geibinger Florian Mischek Nysret Musliu

Source: Proceedings of the AAAI Conference on Artificial Intelligence. 35:6358-6366

Subject Terms: 0211 other engineering and technologies, 02 engineering and technology

Block structured scheduling using constraint logic programming

Authors: Bǎdicǎ, Amelia Costin, Badica Ivanović, Mirjana

Source: AI Communications. 33:41-57

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

Access URL: https://dblp.uni-trier.de/db/journals/aicom/aicom33.html#BadicaBI20
https://content.iospress.com/articles/ai-communications/aic200650
https://doi.org/10.3233/AIC-200650

An Exact Constraint Logic Programming Algorithm for the Traveling Salesman Problem with Time Windows

Authors: PESANT, GILLES GENDREAU, MICHEL POTVIN, JEAN-YVES et al.

Source: Transportation Science, 1998 Feb 01. 32(1), 12-29.

Access URL: https://www.jstor.org/stable/25768798