نتائج البحث - "Concurrent constraint logic programming"

1

A unified approach to solving seven programming problems (functional pearl)

المؤلفون: Matthew Might, Michael Ballantyne, William E. Byrd, Gregory Rosenblatt

المصدر: Proceedings of the ACM on Programming Languages. 1:1-26

مصطلحات موضوعية: Concurrent constraint logic programming, Theoretical computer science, Computer science, Functional logic programming, Programming paradigm, Constraint programming, Reactive programming, Safety, Risk, Reliability and Quality, Software, Functional reactive programming, Inductive programming, Logic programming

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::946c19893f62f88079f8931f4f7dbf14
https://doi.org/10.1145/3110252

View Record from ACM Digital Library

2

Solving distributed constraint optimization problems using logic programming

المؤلفون: Enrico Pontelli, William Yeoh, Tiep Le, Tran Cao Son

المصدر: Scopus-Elsevier

مصطلحات موضوعية: FOS: Computer and information sciences, Concurrent constraint logic programming, Mathematical optimization, Computer Science - Artificial Intelligence, Computer science, 0102 computer and information sciences, 02 engineering and technology, ComputingMethodologies_ARTIFICIALINTELLIGENCE, 01 natural sciences, Theoretical Computer Science, Answer set programming, Artificial Intelligence, Constraint logic programming, 0202 electrical engineering, electronic engineering, information engineering, Constraint programming, Reactive programming, Computer Science - Multiagent Systems, Logic programming, General Medicine, Constraint satisfaction, Inductive programming, Artificial Intelligence (cs.AI), Computational Theory and Mathematics, 010201 computation theory & mathematics, Hardware and Architecture, 020201 artificial intelligence & image processing, Software, Multiagent Systems (cs.MA)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::80baf1e47e76c4889672e07e262c32ad
https://doi.org/10.1017/s147106841700014x

Find this article in full text from ProQuest

3

A global constraint for over-approximation of real-time streams

المؤلفون: Anicet Bart, Eric Monfroy, Charlotte Truchet

المساهمون: Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Théorie, Algorithmes et Systèmes en Contraintes (TASC ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS), Université de Nantes (UN), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST)

المصدر: Constraints
Constraints, Springer Verlag, 2017, 22 (3), pp.463-490. ⟨10.1007/s10601-017-9268-z⟩

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1518ea42b19824c289073906017a5299
https://doi.org/10.1007/s10601-017-9268-z

Find this article in full text from Springer Verlag.

4

Manufacturing cell formation with flexible processing capabilities and worker assignment: Comparison of constraint programming and integer programming approaches

المؤلفون: Seyda Topaloglu, Adil Baykasoğlu, Filiz Şenyüzlüler

المصدر: Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture. 232:2054-2068

مصطلحات موضوعية: Concurrent constraint logic programming, 0209 industrial biotechnology, Mathematical optimization, Computer science, Mechanical Engineering, Cellular manufacturing, 02 engineering and technology, Constraint satisfaction, Industrial and Manufacturing Engineering, Inductive programming, 020303 mechanical engineering & transports, 020901 industrial engineering & automation, Group technology, 0203 mechanical engineering, Constraint programming, Reactive programming, Functional reactive programming

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6de39d9b530586550baf2f2b76d17e46
https://doi.org/10.1177/0954405416682281

5

Using autonomous search for solving constraint satisfaction problems via new modern approaches

المؤلفون: Fernando Paredes, Cristian Galleguillos, Rodrigo Olivares, Enrique Norero, Ricardo Soto, Carlos Castro, Franklin Johnson, Broderick Crawford

المصدر: Swarm and Evolutionary Computation. 30:64-77

مصطلحات موضوعية: Concurrent constraint logic programming, 0209 industrial biotechnology, Mathematical optimization, Constraint learning, General Computer Science, Computer science, Backtracking, General Mathematics, 02 engineering and technology, Constraint satisfaction, 020901 industrial engineering & automation, Constraint logic programming, 0202 electrical engineering, electronic engineering, information engineering, Constraint programming, Local consistency, 020201 artificial intelligence & image processing, Constraint satisfaction problem

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ddeb4483ab27c56187ed0a9457946fc9
https://doi.org/10.1016/j.swevo.2016.04.003

View record from ScienceDirect

6

A constraint programming scheduling solver for the MPOpt programming environment

المؤلفون: Alessio Bonfietti

المصدر: Intelligenza Artificiale. 10:65-77

مصطلحات موضوعية: Concurrent constraint logic programming, Mathematical optimization, Computer science, 02 engineering and technology, Constraint satisfaction, Inductive programming, Artificial Intelligence, 020204 information systems, Constraint logic programming, 0202 electrical engineering, electronic engineering, information engineering, Constraint programming, Reactive programming, 020201 artificial intelligence & image processing, Programming domain, Functional reactive programming

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e0b742737a7d132ca935ca6e085196d2
https://doi.org/10.3233/ia-160095

7

Karma modelli tip-2 montaj hattı dengeleme problemi için bir kısıt programlama modeli

المؤلفون: Mustafa Yuzukirmizi, Bilal Toklu, Hacı Mehmet Alağaş, Mehmet Pınarbaşı

المساهمون: Kırıkkale Üniversitesi

المصدر: Pamukkale University Journal of Engineering Sciences, Vol 22, Iss 4, Pp 340-348 (2016)
Volume: 22, Issue: 4 340-348
Pamukkale Üniversitesi Mühendislik Bilimleri Dergisi

مصطلحات موضوعية: Concurrent constraint logic programming, Mixed model, Mathematical optimization, 021103 operations research, type 2 problem, Computer science, Karma modelli montaj hattı,Kısıt programlama,Tip 2 problemi, 0211 other engineering and technologies, 02 engineering and technology, Constraint programming model, Constraint satisfaction, Type (model theory), Mixed-model assembly line, lcsh:TA1-2040, Constraint logic programming, 0202 electrical engineering, electronic engineering, information engineering, Constraint programming, 020201 artificial intelligence & image processing, lcsh:Engineering (General). Civil engineering (General), Assembly line