Constraint Programming-Based Verification of COLREG Safety

Συγγραφείς: Vain, J., Tsiopoulos, L., Walden, M., Benterki, A.S.

Πηγή: 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

Συγγραφείς: Boutyour, Y., Idrissi, A.

Πηγή: 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

Συγγραφείς: Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko

Πηγή: CTE Workshop Proceedings, Vol 12 (2025)

Θεματικοί όροι: logic programming, Datalog, constraint logic programming, Technology, Answer Set Programming, Prolog, computer science education, Education

Σύνδεσμος πρόσβασης: https://doaj.org/article/fe0f681845f34cf5b6ef56e34a666a8d

On Detecting Semantic Clones in Constraint Logic Programs

Συγγραφείς: Yernaux, Gonzague, Vanhoof, Wim

Πηγή: 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)

Συγγραφείς: De Angelis, Emanuele^Aff10, Vediramana Krishnan, Hari Govind^Aff11

Συνεισφορές: 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

Πηγή: TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions. 14550:38-51

Autonomous Vessels Collision Verification: Geometric Optimization

Συγγραφείς: Ben Lahbib, Hiba^Aff19, Bennani, M. Taha^Aff20, Vain, Jüri^Aff19

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: De Angelis Emanuele, Hari Govind V. K.

Πηγή: Electronic Proceedings in Theoretical Computer Science. 402:83-104

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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)

Συγγραφείς: Pettorossi, Alberto, Proietti, Maurizio, Fioravanti, Fabio, De Angelis, Emanuele

Πηγή: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. :16-38

Θεματικοί όροι: Constraint logic programming, Program manipulation, Partial evaluation, Transformation rules, Program specialization, Program transformation, Program validation, Program synthesis, Transformation strategies

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Fages, François^Aff1

Συνεισφορές: 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

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

GPU Accelerated Compact-Table Propagation

Συγγραφείς: SANTI, ENRICO, DOVIER, AGOSTINO, FORMISANO, ANDREA, TARDIVO, FABIO

Συνεισφορές: Santi, Enrico, Dovier, Agostino, Formisano, Andrea, Tardivo, Fabio

Θεματικοί όροι: 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

Διαθεσιμότητα: 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

Συγγραφείς: Cristiá, Maximiliano^{Aff1, IDs10817024097136_cor1}, Rossi, Gianfranco^Aff2

Πηγή: Journal of Automated Reasoning. 68(4)

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

Συγγραφείς: Mateusz Klonowski, Luis Estrada‐González

Πηγή: Studia Logica. 112:207-248

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Tajud Din, Zhongbei Tian, Syed Faisal Ahmed Bukhari, Stuart Hillmansen, Clive Roberts

Πηγή: IET Intelligent Transport Systems, Vol 17, Iss 12, Pp 2333-2351 (2023)

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: https://doaj.org/article/3bcd5e8678584864a6d029fe85d698db

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

Συγγραφείς: Marwa M. Emam, Hoda Abd El-Sattar, Essam H. Houssein, Salah Kamel

Πηγή: Neural Computing and Applications. 35:15051-15073

Θεματικοί όροι: 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

Συγγραφείς: Bertagnon A., Gavanelli M.

Συνεισφορές: 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.

Θεματικοί όροι: alldifferent constraint, circuit constraint, Constraint Logic Programming on Finite Domain, Global constraint, Hamiltonian Circuit Problem, Constraint Logic Programming on Finite Domains, Global constraints

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Konowalenko, Flavia, Tsunoda Meira, William Hitoshi, Magatao, Leandro

Πηγή: 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

Συγγραφείς: Ren, S., Jia, M.

Πηγή: IEEE Access Access, IEEE. 7:62352-62360 2019

A history of the Oz multiparadigm language

Συγγραφείς: Van Roy, Peter, Haridi, Seif, 1953, Schulte, Christian, Smolka, Gert

Πηγή: Proceedings of the ACM on Programming Languages. 4(HOPL)

Θεματικοί όροι: 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)

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Pham Vu Hong Son, Van Nam Nguyen

Πηγή: Advances in Civil Engineering, Vol 2023 (2023)

Θεματικοί όροι: 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

Περιγραφή αρχείου: text/xhtml

Σύνδεσμος πρόσβασης: https://doaj.org/article/950ccbbe1e564aaea65bb37211269828

An Improved Logic-Based Implementation to Ontology Assessment

Συγγραφείς: Mario de Oliveira Rodrigues, C., Goncalves de Freitas, F.L., De Azevedo, R.R.

Πηγή: 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)