Výsledky vyhľadávania - temporal constraint programming~

A constraint programming-based decomposition strategy for the block assembly scheduling problem in shipbuilding.

Autori: Pernas-Álvarez, Javier Becerra, José-A. Crespo-Pereira, Diego

Zdroj: International Journal of Production Research; Oct2025, Vol. 63 Issue 20, p7617-7636, 20p

Predmety: CONSTRAINT programming, SHIPBUILDING, PRODUCTION planning, BUFFER storage (Computer science), RESOURCE allocation, PRODUCTION scheduling, SCHEDULING

A decision support system based on constraint programming and airspace digitalization for cooperative flight departures to improve ATM network service competitiveness

Autori: Schefers, Nina Rebecca

Prispievatelia: University/Department: Universitat Autònoma de Barcelona. Departament de Telecomunicació i Enginyeria de Sistemes

Thesis Advisors: Ramos González, Juan José

Zdroj: TDX (Tesis Doctorals en Xarxa)

Predmety: Gestió del trànsit aeri, Gestión del tráfico aéreo, Air traffic management, Operació basada en la trajectòria, Trayecctoria basada en la operación, Trajeectory based operation, Programació de restriccions, Programación de restricción, Constriaint programming, Tecnologies

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/665750

Mutation testing for temporal alloy models (extended version).

Autori: Jovanovic, Ana Sullivan, Allison

Zdroj: Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1847-1868, 22p

Predmety: COMPUTER software testing, MODEL validation, CONSTRAINT programming, MODELING languages (Computer science), MATHEMATICAL logic, FAULT diagnosis, DYNAMIC testing

Learning Temporal Action Models via Constraint Programming

Autori: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica Ministerio de Economía y Competitividad Garrido, Antonio a ďalší

Témy: Constraint Programming (CP), Learning temporal action models, LENGUAJES Y SISTEMAS INFORMATICOS, info:eu-repo/semantics/conferenceObject, info:eu-repo/semantics/article, info:eu-repo/semantics/bookPart

URL: http://hdl.handle.net/10251/212947

Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints

Autori: Kohei Fujita Toshimitsu Ushio

Zdroj: IEEE Access, Vol 10, Pp 110849-110861 (2022)

Predmety: Petri nets, coloured timed Petri nets, temporal logic, generalized mutual exclusion constraints, integer linear programming, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis súboru: electronic resource

Relation: https://ieeexplore.ieee.org/document/9925234/; https://doaj.org/toc/2169-3536

Prístupová URL adresa: https://doaj.org/article/ece434b0298e4f32bc9f181310bb7f86

Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog

Autori: María-Antonia Cárdenas-Viedma

Zdroj: Axioms, Vol 13, Iss 7, p 472 (2024)

Predmety: temporal reasoning, approximate reasoning, logic programming, possibilistic logic, possibility and necessity degree, temporal Prolog, Mathematics, QA1-939

Popis súboru: electronic resource

Relation: https://www.mdpi.com/2075-1680/13/7/472; https://doaj.org/toc/2075-1680

Prístupová URL adresa: https://doaj.org/article/b1fcb89758614ea89fae0fb3295aaf4c

Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog.

Autori: Cárdenas-Viedma, María-Antonia

Zdroj: Axioms (2075-1680); Jul2024, Vol. 13 Issue 7, p472, 33p

Predmety: LOGIC programming, APPROXIMATE reasoning, CONSTRAINT programming, PROGRAMMING languages, TIME-varying networks

A constraint-programming based decomposition method for the Generalised Workforce Scheduling and Routing Problem (GWSRP).

Autori: Bourreau, E. Garaix, T. Gondran, M. a ďalší

Zdroj: International Journal of Production Research. Feb2022, Vol. 60 Issue 4, p1265-1283. 19p. 4 Diagrams, 11 Charts.

Predmety: *LABOR supply, *SCHEDULING, *DYNAMIC programming, *QUALITY of service, CONSTRAINT programming, DECOMPOSITION method, INTEGERS

Logic programming with temporal constraints

Autori: Schwalb, Eddie Vila, Lluis

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/0nk023n7
https://escholarship.org/content/qt0nk023n7/qt0nk023n7.pdf

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation

Autori: Booth, Kyle E. C. Do, Minh Beck, J. Christopher a ďalší

Témy: Quantum Physics, Computer Science - Artificial Intelligence, Computer Science - Emerging Technologies, Electrical Engineering and Systems Science - Systems and Control, text

URL: http://arxiv.org/abs/1803.06775

Balancing U-shaped assembly lines with collaborative robots: constraint programming approaches and Benders' decomposition algorithms.

Autori: Zheng, Chenyu Li, Zixiang Ponnambalam, S. G.

Zdroj: International Journal of Production Research; Dec2025, Vol. 63 Issue 24, p10468-10489, 22p

Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion

Autori: Kohei FUJITA Toshimitsu USHIO

Zdroj: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2022, E105.A(5):808

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation

Autori: Booth, Kyle E. C Do, Minh Beck, J. Christopher a ďalší

Predmety: Electronics And Electrical Engineering, Computer Programming And Software

Prístupová URL adresa: https://ntrs.nasa.gov/citations/20180004465

Correct-by-construction instantiation of abstract scenarios.

Autori: Becker, Jan Steffen Neurohr, Christian

Zdroj: International Journal on Software Tools for Technology Transfer; Oct2025, Vol. 27 Issue 5, p465-485, 21p

Predmety: AUTOMOTIVE engineering, MOTOR vehicle dynamics, CONSTRAINT programming, MOTOR vehicle driving

Proactive and Reactive Constraint Programming for Stochastic Project Scheduling with Maximal Time-Lags

Autori: Houten, Kim van den Planken, Léon Freydell, Esteban a ďalší

Témy: Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2409.09107

A Temporal Concurrent Constraint Programming Calculus

Autori: Palamidessi, Catuscia Valencia, Frank D.

Zdroj: BRICS Report Series; No 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus; BRICS Report Series; No 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus; 1601-5355; 0909-0878

Témy: info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21681
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21681/19117
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21681/19117

Temporal Concurrent Constraint Programming: Applications and Behavior

Autori: Nielsen, Mogens Valencia, Frank D.

Zdroj: BRICS Report Series; No 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior; BRICS Report Series; No 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior; 1601-5355; 0909-0878

Témy: info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21708
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21708/19144
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21708/19144

A Cutting-Edge Approach to Multi-UAV Mission Planning Using Enhanced Constraint Satisfaction.

Autori: Ayvaz, Emre Atay, Yılmaz Babaoğlu, İsmail

Zdroj: Journal of Intelligent & Robotic Systems; Sep2025, Vol. 111 Issue 3, p1-24, 24p

A Flexible Scheduling Framework for Repetitive Construction Projects Based on Constraint Programming.

Autori: Cao, Qiangnan Zou, Xin Zhang, Lihui

Zdroj: Journal of Construction Engineering & Management; Jul2025, Vol. 151 Issue 7, p1-14, 14p

Predmety: CONSTRAINT programming, CONSTRUCTION projects, SCHEDULING, PLANNERS, LOGIC

Code-as-Monitor: Constraint-aware Visual Programming for Reactive and Proactive Robotic Failure Detection

Autori: Zhou, Enshen Su, Qi Chi, Cheng a ďalší

Témy: Computer Science - Robotics, Computer Science - Artificial Intelligence, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Machine Learning, text

URL: http://arxiv.org/abs/2412.04455