Constraint Programming-Based Verification of COLREG Safety

Authors: Vain, J., Tsiopoulos, L., Walden, M., Benterki, A.S.

Source: IEEE Journal of Oceanic Engineering IEEE J. Oceanic Eng. Oceanic Engineering, IEEE Journal of. 50(4):2797-2821 Oct, 2025

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

Authors: Boutyour, Y., Idrissi, A.

Source: IEEE Transactions on Cognitive and Developmental Systems IEEE Trans. Cogn. Dev. Syst. Cognitive and Developmental Systems, IEEE Transactions on. 17(3):540-553 Jun, 2025

Teaching logic programming: a review

Authors: Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko

Source: CTE Workshop Proceedings, Vol 12 (2025)

Subject Terms: logic programming, Datalog, constraint logic programming, Technology, Answer Set Programming, Prolog, computer science education, Education

Access URL: https://doaj.org/article/fe0f681845f34cf5b6ef56e34a666a8d

On Detecting Semantic Clones in Constraint Logic Programs

Authors: Yernaux, Gonzague, Vanhoof, Wim

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

Relation: 2022 IEEE 16th International Workshop on Software Clones (IWSC)

Competition of Solvers for Constrained Horn Clauses (CHC-COMP 2023)

Authors: De Angelis, Emanuele^Aff10, Vediramana Krishnan, Hari Govind^Aff11

Contributors: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Beyer, Dirk, editor^Aff7, Hartmanns, Arnd, editor^Aff8, Kordon, Fabrice, editor^Aff9

Source: TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions. 14550:38-51

Autonomous Vessels Collision Verification: Geometric Optimization

Authors: Ben Lahbib, Hiba^Aff19, Bennani, M. Taha^Aff20, Vain, Jüri^Aff19

Contributors: Rannenberg, Kai, Editor-in-Chief^Aff1, Soares Barbosa, Luís, Editorial Board Member^Aff2, Carette, Jacques, Editorial Board Member^Aff3, Passey, Don, Editorial Board Member^Aff4, Velev, Dimiter, Editorial Board Member^Aff5, Stiller, Burkhard, Editorial Board Member^Aff6, Clason, Christian, Editorial Board Member^Aff7, Ralyté, Jolita, Editorial Board Member^Aff8, Davison, Robert M, Editorial Board Member^Aff9, Rettberg, Achim, Editorial Board Member^Aff10, Furnell, Steven, Editorial Board Member^Aff11, Mercier-Laurent, Eunika, Editorial Board Member^Aff12, Winckler, Marco, Editorial Board Member^Aff13, Malaka, Rainer, Editorial Board Member^Aff14, Maglogiannis, Ilias, editor^Aff15, Iliadis, Lazaros, editor^Aff16, Andreou, Andreas, editor^Aff17, Papaleonidas, Antonios, editor^Aff18

Source: Artificial Intelligence Applications and Innovations : 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26–29, 2025, Proceedings, Part I. 755:132-145

CHC-COMP 2023: Competition Report

Authors: De Angelis Emanuele, Hari Govind V. K.

Source: Electronic Proceedings in Theoretical Computer Science. 402:83-104

Subject Terms: Constraint Solving, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Satisfiability Modulo Theories, Constraint Logic Programming, Constrained Horn Clauses, Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2404.14923
https://hdl.handle.net/20.500.14243/516881
https://doi.org/10.4204/EPTCS.402.10

A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)

Authors: Pettorossi, Alberto, Proietti, Maurizio, Fioravanti, Fabio, De Angelis, Emanuele

Source: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. :16-38

Subject Terms: Constraint logic programming, Program manipulation, Partial evaluation, Transformation rules, Program specialization, Program transformation, Program validation, Program synthesis, Transformation strategies

File Description: application/pdf

Access URL: https://hdl.handle.net/11564/822976
https://doi.org/10.1145/3635800.3637446

A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics

Authors: Fages, François^Aff1

Contributors: Goos, Gerhard, Founding Editor^Aff11, Hartmanis, Juris, Founding Editor^Aff12, Bertino, Elisa, Editorial Board Member^Aff13, Gao, Wen, Editorial Board Member^Aff14, Steffen, Bernhard, Editorial Board Member^Aff15, Yung, Moti, Editorial Board Member^Aff16, Gibbons, Jeremy, editor^Aff17, Miller, Dale, editor^Aff18

Source: Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings. 14659:135-150

GPU Accelerated Compact-Table Propagation

Authors: SANTI, ENRICO, DOVIER, AGOSTINO, FORMISANO, ANDREA, TARDIVO, FABIO

Contributors: Santi, Enrico, Dovier, Agostino, Formisano, Andrea, Tardivo, Fabio

Subject Terms: constraint logic programming, GPU parallelism, table constraint

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001563139000001; firstpage:1; lastpage:19; numberofpages:19; journal:THEORY AND PRACTICE OF LOGIC PROGRAMMING; https://hdl.handle.net/11390/1313084

Availability: https://hdl.handle.net/11390/1313084
https://doi.org/10.1017/s1471068425100197

A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers

Authors: Cristiá, Maximiliano^{Aff1, IDs10817024097136_cor1}, Rossi, Gianfranco^Aff2

Source: Journal of Automated Reasoning. 68(4)

Boolean Connexive Logic and Content Relationship: Boolean connexive logic and content relationship

Authors: Mateusz Klonowski, Luis Estrada‐González

Source: Studia Logica. 112:207-248

Subject Terms: logic of content relationship, Geometry, Set (abstract data type), Computational linguistics, Mathematical logic and foundations, 0603 philosophy, ethics and religion, Mathematical analysis, 01 natural sciences, Description Logics, 12. Responsible consumption, Epistemic Logic, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, set-assignment semantics, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, Content (measure theory), 0101 mathematics, 10. No inequality, Axiom, relating semantics, Nonmonotonic Reasoning, Natural language processing, Physics, Semantics (computer science), Optics, Boolean connexive logic, 06 humanities and the arts, Focus (optics), Computer science, Programming language, 3. Good health, Computational Theory and Mathematics, Constraint Logic Programming, Computer Science, Physical Sciences, Semantic Web and Ontology Development, Mathematics

File Description: application/xml

Access URL: https://zbmath.org/7830168
https://doi.org/10.1007/s11225-023-10058-1

Hybrid railway vehicle trajectory optimisation using a non‐convex function and evolutionary hybrid forecast algorithm

Authors: Tajud Din, Zhongbei Tian, Syed Faisal Ahmed Bukhari, Stuart Hillmansen, Clive Roberts

Source: IET Intelligent Transport Systems, Vol 17, Iss 12, Pp 2333-2351 (2023)

Subject Terms: mayfly algorithm, 0211 other engineering and technologies, FOS: Mechanical engineering, 02 engineering and technology, Rescheduling Algorithms, Train Scheduling, 7. Clean energy, Industrial and Manufacturing Engineering, Reliability engineering, Engineering, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Constraint programming, non‐convex optimisation, Ecology, Regenerative brake, Physics, hybrid railway vehicle, Mathematical optimization, Optimization of Railway Scheduling and Operations, Power (physics), Transportation engineering, Powertrain, Downtime, Solver, Physical Sciences, Hybrid power, Thermodynamics, Environmental Engineering, Stochastic programming, trajectory optimisation, Automotive engineering, rosenbrock function, Quantum mechanics, Battery Life Optimization, Evolutionary algorithm, FOS: Mathematics, Hybrid algorithm (constraint satisfaction), Fuel efficiency, Biology, Constraint logic programming, TA1001-1280, FOS: Environmental engineering, Brake, QA75.5-76.95, Computer science, Environmental Impact of Maritime Transportation Emissions, Adaptability, Energy consumption, Torque, State of the Art in Electric and Hybrid Vehicles, Electronic computers. Computer science, FOS: Biological sciences, Electrical engineering, Environmental Science, Automotive Engineering, Mathematics

Access URL: https://doaj.org/article/3bcd5e8678584864a6d029fe85d698db

Modified orca predation algorithm: developments and perspectives on global optimization and hybrid energy systems

Authors: Marwa M. Emam, Hoda Abd El-Sattar, Essam H. Houssein, Salah Kamel

Source: Neural Computing and Applications. 35:15051-15073

Subject Terms: Artificial intelligence, History, 0211 other engineering and technologies, Energy Engineering and Power Technology, Metaheuristic, 02 engineering and technology, Constraint satisfaction, 7. Clean energy, Simulated annealing, Engineering, Artificial Intelligence, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Hybrid algorithm (constraint satisfaction), Suite, Swarm Intelligence Optimization Algorithms, Probabilistic logic, Constraint logic programming, Energy, Global Optimization, Geography, Optimization Applications, Mathematical optimization, Hydrogen Energy Systems and Technologies, Computer science, Ant Colony Optimization, Algorithm, Archaeology, Control and Systems Engineering, Particle Swarm Optimization, Computer Science, Physical Sciences, Nature-Inspired Algorithms, Control and Synchronization in Microgrid Systems, Benchmark (surveying), Mathematics, Geodesy

Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem

Authors: Bertagnon A., Gavanelli M.

Contributors: Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati, Bertagnon, A., Gavanelli, M.

Subject Terms: alldifferent constraint, circuit constraint, Constraint Logic Programming on Finite Domain, Global constraint, Hamiltonian Circuit Problem, Constraint Logic Programming on Finite Domains, Global constraints

File Description: ELETTRONICO

Relation: ispartofbook:AI4CC-IPS-RCRA-SPIRIT 2024: International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy.; 31st RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion; volume:3883; firstpage:118; lastpage:128; numberofpages:11; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati; https://hdl.handle.net/11392/2577814

Availability: https://hdl.handle.net/11392/2577814
https://ceur-ws.org/Vol-3883/paper2_RCRA7.pdf

Constraint Logic Programming Applied to Sequencing Tasks in a Pipeline Network

Authors: Konowalenko, Flavia, Tsunoda Meira, William Hitoshi, Magatao, Leandro

Source: IEEE Latin America Transactions IEEE Latin Am. Trans. Latin America Transactions, IEEE (Revista IEEE America Latina). 17(08):1309-1317 Aug, 2019

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

Authors: Ren, S., Jia, M.

Source: IEEE Access Access, IEEE. 7:62352-62360 2019

A history of the Oz multiparadigm language

Authors: Van Roy, Peter, Haridi, Seif, 1953, Schulte, Christian, Smolka, Gert

Source: Proceedings of the ACM on Programming Languages. 4(HOPL)

Subject Terms: Computer programming, Concurrent programming, Dataflow, Distributed programming, Functional programming, Lazy evaluation, Logic programming, Multiparadigm programming, Programming education, Calculations, Concurrent constraint, Concurrent logic programming, Constraint Logic Programming, Foundational calculus, Layered Structures, Multi-paradigm languages, Programming course, Programming paradigms, PROLOG (programming language)

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928
https://doi.org/10.1145/3386333

Cement Transport Vehicle Routing with a Hybrid Sine Cosine Optimization Algorithm

Authors: Pham Vu Hong Son, Van Nam Nguyen

Source: Advances in Civil Engineering, Vol 2023 (2023)

Subject Terms: Vehicle Routing Problem and Variants, Artificial intelligence, Hybrid Algorithms, Geometry, Stochastic programming, 02 engineering and technology, Industrial and Manufacturing Engineering, Sine, Design and Control of Warehouse Operations, Engineering, Vehicle routing problem, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Hybrid algorithm (constraint satisfaction), Constraint programming, Trigonometric functions, Vehicle Routing Problem, Routing (electronic design automation), Computer network, Constraint logic programming, Particle swarm optimization, Mathematical optimization, Engineering (General). Civil engineering (General), Computer science, Algorithm, Optimization of Cutting and Packing Problems, Genetic algorithm, Physical Sciences, Crossover, TA1-2040, Mathematics

File Description: text/xhtml

Access URL: https://doaj.org/article/950ccbbe1e564aaea65bb37211269828

An Improved Logic-Based Implementation to Ontology Assessment

Authors: Mario de Oliveira Rodrigues, C., Goncalves de Freitas, F.L., De Azevedo, R.R.

Source: 2017 Brazilian Conference on Intelligent Systems (BRACIS) BRACIS Intelligent Systems (BRACIS), 2017 Brazilian Conference on. :408-413 Oct, 2017

Relation: 2017 Brazilian Conference on Intelligent Systems (BRACIS)