Výsledky vyhledávání - Constraint Logic Programming

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

Autoři: Youness Boutyour Abdellah Idrissi

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

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

Autoři: Allada Smrithi Alimili Varshini Valluru Venkata Sai Bhavitha Reddy a další

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

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

Autoři: Bryan Garreau Martin Dieguez Lodeiro Eric Monfroy a další

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

Teaching logic programming: a review

Autoři: Serhiy O. Semerikov Iryna S. Mintii Natalia V. Moiseienko

Zdroj: CTE Workshop Proceedings, Vol 12 (2025)

Témata: logic programming, Datalog, constraint logic programming, Technology, Answer Set Programming, Prolog, computer science education, Education

Přístupová URL adresa: https://doaj.org/article/fe0f681845f34cf5b6ef56e34a666a8d

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

Autoři: Jeroen Spaans Jesse Heyninck

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

Témata: 16. Peace & justice

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

Autoři: Spaans, Jeroen Heyninck, Jesse

Témata: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Artificial Intelligence, Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2507.16067

From a Constraint Logic Programming Language to a Formal Verification Tool

Autoři: Cristiá, Maximiliano Capozucca, Alfredo Rossi, Gianfranco

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2505.17350

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

Autoři: Burg, Jennifer Boyle, Anne Lang, Sheau-Dong

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

Přístupová URL adresa: https://www.jstor.org/stable/30204830

Building Information Modeling Using Constraint Logic Programming

Autoři: JOAQUÍN ARIAS SEPPO TÖRMÄ MANUEL CARRO a další

Zdroj: Theory and Practice of Logic Programming

Témata: 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)

Přístupová URL adresa: http://arxiv.org/abs/2205.08572

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

Autoři: PESANT, GILLES GENDREAU, MICHEL POTVIN, JEAN-YVES a další

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

Přístupová URL adresa: https://www.jstor.org/stable/25768798

Integrating Cardinality Constraints into Constraint Logic Programming with Sets

Autoři: MAXIMILIANO CRISTIÁ GIANFRANCO ROSSI

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

Témata: 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)

Přístupová URL adresa: 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

Hierarchical Constraint Logic Programming for Multi-Agent Systems

Autoři: Hiroshi Hosobe Ken Satoh

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

Implementing type theory in higher order constraint logic programming

Autoři: Guidi, Ferruccio Sacerdoti Coen, Claudio Tassi, Enrico

Přispěvatelé: Guidi, Ferruccio Sacerdoti Coen, Claudio Tassi, Enrico

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

Témata: [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

Popis souboru: application/pdf

Přístupová URL adresa: 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

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

Autoři: Shengbing Ren Mengyu Jia

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

Témata: 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

Přístupová URL adresa: 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

On Detecting Semantic Clones in Constraint Logic Programs

Autoři: Yernaux, Gonzague Vanhoof, Wim

Zdroj: 2022 IEEE 16th International Workshop on Software Clones (IWSC). :32-38

Témata: Semantic Clone Detection, Constraint Logic Programming, Anti-unification, 0202 electrical engineering, electronic engineering, information engineering, Complexity, 02 engineering and technology

Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Autoři: M. Hanus C. Sacerdoti Coen

Zdroj: Lecture Notes in Computer Science ISBN: 9783030753320

Témata: Functional programming, logic programming, constraint programming, 5. Gender equality, 10. No inequality, 7. Clean energy, 3. Good health

Popis souboru: application/pdf

Přístupová URL adresa: https://cris.unibo.it/handle/11585/820039
https://hdl.handle.net/11585/820039
https://doi.org/10.1007/978-3-030-75333-7
https://link.springer.com/book/10.1007/978-3-030-75333-7

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

Autoři: Bertagnon A. Gavanelli M.

Témata: Answer Set Programming, CLP(FD), Euclidean Traveling Salesperson Problem, Experimental Comparison of ASP

Popis souboru: application/pdf

Přístupová URL adresa: https://ceur-ws.org/Vol-3437/paper1ASPOCP.pdf
https://hdl.handle.net/11392/2520030

Selective Unification in (Constraint) Logic Programming*

Autoři: Mesnard, Frédéric Payet, Etienne Vidal, Germán a další

Přispěvatelé: Mesnard, Frédéric Payet, Etienne Vidal, Germán a další

Zdroj: 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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Federico Bergenti Stefania Monica Gianfranco Rossi a další

Přispěvatelé: Federico Bergenti Stefania Monica Gianfranco Rossi a další

Zdroj: Fundamenta Informaticae. 161:9-27

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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Applying Constraint Logic Programming to SQL Semantic Analysis

Autoři: FERNANDO SÁENZ-PÉREZ

Zdroj: Theory and Practice of Logic Programming. 19:808-825

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Databases, Computer Science - Artificial Intelligence, 68T35 (Primary) 68N17, 68P15 (Secondary), 0202 electrical engineering, electronic engineering, information engineering, Databases (cs.DB), 02 engineering and technology, 16. Peace & justice, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/1907.10914
http://arxiv.org/abs/1907.10914
https://ui.adsabs.harvard.edu/abs/2019arXiv190710914S/abstract
https://dblp.uni-trier.de/db/journals/corr/corr1907.html#abs-1907-10914
https://arxiv.org/abs/1907.10914
https://arxiv.org/pdf/1907.10914.pdf