Search Results - "(Constraint) Logic programming"
-
1
Authors:
Source: CTE Workshop Proceedings, Vol 12 (2025)
-
2
Authors:
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
-
3
Authors: et al.
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
-
4
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783031676949
Subject Terms: Constraint Solving, Satisfiability Modulo Theories, Constraint Logic Programming, Constrained Horn Clauses
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
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
-
6
Authors:
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
-
7
Authors: et al.
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
-
8
Authors:
Source: 2022 IEEE 16th International Workshop on Software Clones (IWSC). :32-38
-
9
Authors: et al.
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
-
10
Authors: et al.
Contributors: et al.
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
-
11
Authors: et al.
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
-
12
Authors:
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
-
13
Authors: et al.
Contributors: et al.
Source: Digital.CSIC. Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)Subject Terms: Prolog Playgrounds, Constraint Logic Programming, Prolog, Prolog Beauty, Teaching Prolog, Prolog Myths, Active Logic Documents, Logic programming
Access URL: http://hdl.handle.net/10261/350002
-
14
Authors: Fages, François
Contributors: Fages, François
Source: Lecture Notes in Computer Science ISBN: 9789819722990
Subject Terms: 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
File Description: application/pdf
-
15
Authors: et al.
Source: 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:/volumeSubject Terms: 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)
File Description: application/pdf
Access URL: 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 -
16
Authors: et al.
Source: 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
Subject Terms: 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
-
17
Authors: et al.
Source: 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
Subject Terms: 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
-
18
Authors:
Source: Knowledge and Information Systems. 25(1):137-168
Subject Terms: 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
File Description: electronic
-
19
Authors:
Source: Intelligent Automation & Soft Computing. 31:1547-1559
Subject Terms: 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
Access URL: https://www.techscience.com/iasc/v31n3/44827/pdf
-
20
Authors: et al.
Source: IEEE Access, Vol 10, Pp 72339-72347 (2022)
Subject Terms: 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
Nájsť tento článok vo Web of Science 
Full Text Finder