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

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

CHC-COMP 2023: Competition Report

Autoři: De Angelis Emanuele Hari Govind V. K.

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

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

Popis souboru: application/pdf

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

Autoři: Pettorossi, Alberto Proietti, Maurizio Fioravanti, Fabio a další

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

Témata: Constraint logic programming, Program manipulation, Partial evaluation, Transformation rules, Program specialization, Program transformation, Program validation, Program synthesis, Transformation strategies

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/11564/822976
https://doi.org/10.1145/3635800.3637446

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

Autoři: Emanuele De Angelis Hari Govind Vediramana Krishnan

Zdroj: Lecture Notes in Computer Science ISBN: 9783031676949

Témata: Constraint Solving, Satisfiability Modulo Theories, Constraint Logic Programming, Constrained Horn Clauses

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/20.500.14243/516860
https://doi.org/10.1007/978-3-031-67695-6_2

GPU Accelerated Compact-Table Propagation

Autoři: SANTI, ENRICO DOVIER, AGOSTINO FORMISANO, ANDREA a další

Přispěvatelé: SANTI, ENRICO DOVIER, AGOSTINO FORMISANO, ANDREA a další

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

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

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

Autoři: Mateusz Klonowski Luis Estrada‐González

Zdroj: Studia Logica. 112:207-248

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

Popis souboru: application/xml

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

Autoři: Tajud Din Zhongbei Tian Syed Faisal Ahmed Bukhari a další

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

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

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

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

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

Autoři: Marwa M. Emam Hoda Abd El-Sattar Essam H. Houssein a další

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

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

Autoři: 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 a další

Přispěvatelé: 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 a další

Témata: alldifferent constraint, circuit constraint, Constraint Logic Programming on Finite Domain, Global constraint, Hamiltonian Circuit Problem, Constraint Logic Programming on Finite Domains, Global constraints

Popis souboru: 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

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

A history of the Oz multiparadigm language

Autoři: Van Roy, Peter Haridi, Seif Schulte, Christian a další

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

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

Popis souboru: print

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

Autoři: Pham Vu Hong Son Van Nam Nguyen

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

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

Popis souboru: text/xhtml

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

Some Thoughts on How to Teach Prolog

Autoři: Hermenegildo, Manuel V. Morales, José F. López-García, Pedro a další

Přispěvatelé: Hermenegildo, Manuel V. Morales, José F. López-García, Pedro a další

Zdroj: Digital.CSIC. Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)

Témata: Prolog Playgrounds, Constraint Logic Programming, Prolog, Prolog Beauty, Teaching Prolog, Prolog Myths, Active Logic Documents, Logic programming

Přístupová URL adresa: http://hdl.handle.net/10261/350002

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

Autoři: Fages, François

Přispěvatelé: Fages, François

Zdroj: Lecture Notes in Computer Science ISBN: 9789819722990

Témata: constraint logic programming, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Science - Programming Languages, MiniZinc, attributed variables, algebraic modeling languages, constraint simplification, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], answer constraints, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], constraint solving, meta-predicates, ISO-Prolog, Computer Science - Mathematical Software

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2402.17286
https://inria.hal.science/hal-04478132v1
https://inria.hal.science/hal-04478132v1/document

Analysis and Transformation of Constrained Horn Clauses for Program Verification

Autoři: EMANUELE DE ANGELIS FABIO FIORAVANTI JOHN P. GALLAGHER a další

Zdroj: Theory and Practice of Logic Programming, ISSN 1475-3081, 2021
Archivo Digital UPM
instname
Universidad Politécnica de Madrid
Theory and practice of logic programming (2022). doi:10.1017/S1471068421000211
info:cnr-pdr/source/autori:De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio/titolo:Analysis and Transformation of Constrained Horn Clauses for Program Verification/doi:10.1017%2FS1471068421000211/rivista:Theory and practice of logic programming/anno:2022/pagina_da:/pagina_a:/intervallo_pagine:/volume

Témata: Program Verification, Informática, FOS: Computer and information sciences, Constraint logic programming, Computer Science - Logic in Computer Science, Program Analysis, Computer Science - Programming Languages, Program analysis, 02 engineering and technology, Logic in Computer Science (cs.LO), Program Transformation, Constraint Logic Programming, Program verification, Program transformation, 0202 electrical engineering, electronic engineering, information engineering, Constrained Horn Clauses, Constrained Horn clauses, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C3FA89E4A8F4AC7C57704EB916149571/S1471068421000211a.pdf/div-class-title-analysis-and-transformation-of-constrained-horn-clauses-for-program-verification-div.pdf
http://arxiv.org/abs/2108.00739
https://oa.upm.es/70099/
https://arxiv.org/pdf/2108.00739
https://dblp.uni-trier.de/db/journals/corr/corr2108.html#abs-2108-00739
https://arxiv.org/abs/2108.00739
https://forskning.ruc.dk/en/publications/analysis-and-transformation-of-constrained-horn-clauses-for-progr
http://arxiv.org/abs/2108.00739v1
https://hdl.handle.net/11564/758781
https://doi.org/10.1017/S1471068421000211

Local is Best: Efficient Reductions to Modal Logic K

Autoři: Fabio Papacchini Cláudia Nalon Ullrich Hustadt a další

Zdroj: Papacchini, F, Nalon, C, Hustadt, U & Dixon, C 2022, '"Local is Best: Efficient Reductions to Modal Logic K"', Journal of Automated Reasoning. https://doi.org/10.1007/s10817-022-09630-6

Témata: Nonmonotonic Reasoning, 4. Education, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Algorithm, Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Constraint Logic Programming, Temporal Logic, Computer Science, Physical Sciences, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Program Analysis and Verification Techniques, Modal Logics, Mathematics

Přístupová URL adresa: https://research.manchester.ac.uk/en/publications/8f05e5ec-87a0-4a01-b703-59d1d4dfe800
https://doi.org/10.1007/s10817-022-09630-6

A decision support model for handling customer orders in business chain

Autoři: Paweł Sitek Jarosław Wikarek Grzegorz Bocewicz a další

Zdroj: Sitek, P, Wikarek, J, Bocewicz, G & Nielsen, I 2022, 'A decision support model for handling customer orders in business chain', Neurocomputing, vol. 482, pp. 298-309. https://doi.org/10.1016/j.neucom.2021.06.099

Témata: Dedicated genetic algorithm, Constraint logic programming, Business chain, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, Constraint handling procedure, Mathematical programming, 02 engineering and technology, Hybrid approach, Decision support

Přístupová URL adresa: https://vbn.aau.dk/da/publications/547818a2-3be0-4871-8afb-38712049d5ae
http://www.scopus.com/inward/record.url?scp=85119924237&partnerID=8YFLogxK
https://doi.org/10.1016/j.neucom.2021.06.099
https://api.elsevier.com/content/article/PII:S0925231221016556?httpAccept=text/xml

Hybrid Rules with Well-Founded Semantics

Autoři: Drabent, Wlodzimierz Maluszynski, Jan

Zdroj: Knowledge and Information Systems. 25(1):137-168

Témata: Integration of rules and ontologies, Semantic web reasoning, Knowledge representation, Well-founded semantics, Constructive negation, Constraint logic programming, TECHNOLOGY, Information technology, Computer science, TEKNIKVETENSKAP, Informationsteknik, Datavetenskap

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-63677
https://liu.diva-portal.org/smash/get/diva2:382144/FULLTEXT01.pdf

An Enhanced Memetic Algorithm for Feature Selection in Big Data Analytics with MapReduce

Autoři: Nandhagopal Nachimuthu Umanesan Ramakrishnan

Zdroj: Intelligent Automation & Soft Computing. 31:1547-1559

Témata: FOS: Computer and information sciences, Artificial intelligence, Hyperparameter Optimization, Support vector machine, Learning and Inference in Bayesian Networks, Economics, Feature (linguistics), Heuristic, Metaheuristic, Local optimum, 02 engineering and technology, Constraint satisfaction, 01 natural sciences, Learning with Noisy Labels in Machine Learning, Swarm behaviour, Selection (genetic algorithm), Artificial Intelligence, Data Mining Techniques and Applications, Meta-Learning, Machine learning, 0202 electrical engineering, electronic engineering, information engineering, Hybrid algorithm (constraint satisfaction), 14. Life underwater, 0101 mathematics, Data mining, Economic growth, Probabilistic logic, Constraint logic programming, Probabilistic Learning, Memetic algorithm, Linguistics, Inference Algorithms, Computer science, FOS: Philosophy, ethics and religion, Programming language, Automated Machine Learning, Algorithm, Philosophy, Genetic algorithm, Computer Science, Physical Sciences, Feature selection, Convergence (economics), FOS: Languages and literature, SPARK (programming language), Information Systems

Přístupová URL adresa: https://www.techscience.com/iasc/v31n3/44827/pdf

A Hybrid Smart Quantum Particle Swarm Optimization for Multimodal Electromagnetic Design Problems

Autoři: Shah Fahad Shiyou Yang Shafi Ullah Khan a další

Zdroj: IEEE Access, Vol 10, Pp 72339-72347 (2022)

Témata: Optimization, Artificial intelligence, Economics, Wireless Energy Harvesting and Information Transfer, Premature convergence, Stochastic programming, 02 engineering and technology, 7. Clean energy, DE, Engineering, Artificial Intelligence, Smart quantum particle swarm, electromagnetic device, FOS: Electrical engineering, electronic engineering, information engineering, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Hybrid algorithm (constraint satisfaction), Constraint programming, Swarm Intelligence Optimization Algorithms, Electrical and Electronic Engineering, hybridization, Economic growth, Constraint logic programming, Position (finance), Geography, Multi-swarm optimization, Particle swarm optimization, Meta-optimization, Load Frequency Control in Power Systems, Optimization Applications, Mathematical optimization, SMES, Computer science, TK1-9971, Algorithm, Particle Swarm Optimization, Computer Science, Physical Sciences, Convergence (economics), Crossover, Electrical engineering. Electronics. Nuclear engineering, Benchmark (surveying), Differential evolution, Mathematics, Geodesy, Finance

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