Výsledky vyhledávání - temporal constraint programming

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

Autoři: Pernas-Álvarez, Javier Becerra, José-A. Crespo-Pereira, Diego

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

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

Autoři: Schefers, Nina Rebecca

Přispěvatelé: 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)

Témata: 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 souboru: application/pdf

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

Mutation testing for temporal alloy models (extended version).

Autoři: Jovanovic, Ana Sullivan, Allison

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

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

Learning Temporal Action Models via Constraint Programming

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

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

Autoři: Kohei Fujita Toshimitsu Ushio

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

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

Popis souboru: electronic resource

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

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

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

Autoři: María-Antonia Cárdenas-Viedma

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

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

Popis souboru: electronic resource

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

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

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

Autoři: Cárdenas-Viedma, María-Antonia

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

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

Autoři: Bourreau, E. Garaix, T. Gondran, M. a další

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

Témata: *LABOR supply, *SCHEDULING, *DYNAMIC programming, *QUALITY of service, CONSTRAINT programming, DECOMPOSITION method, INTEGERS

Logic programming with temporal constraints

Autoři: Schwalb, Eddie Vila, Lluis

Popis souboru: application/pdf

Pří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

Autoři: Booth, Kyle E. C. Do, Minh Beck, J. Christopher a další

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

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

Autoři: 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

Autoři: Booth, Kyle E. C Do, Minh Beck, J. Christopher a další

Témata: Electronics And Electrical Engineering, Computer Programming And Software

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

Correct-by-construction instantiation of abstract scenarios.

Autoři: Becker, Jan Steffen Neurohr, Christian

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

Témata: AUTOMOTIVE engineering, MOTOR vehicle dynamics, CONSTRAINT programming, MOTOR vehicle driving

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

Autoři: Houten, Kim van den Planken, Léon Freydell, Esteban a další

Témata: Computer Science - Artificial Intelligence, text

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

A Temporal Concurrent Constraint Programming Calculus

Autoři: 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émata: 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

Autoři: 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émata: 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.

Autoři: 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.

Autoři: Cao, Qiangnan Zou, Xin Zhang, Lihui

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

Témata: CONSTRAINT programming, CONSTRUCTION projects, SCHEDULING, PLANNERS, LOGIC

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

Autoři: Zhou, Enshen Su, Qi Chi, Cheng a další

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

Integrated job-shop scheduling in an FMS with heterogeneous transporters: MILP formulation, constraint programming, and branch-and-bound.

Autoři: Ahmadi-Javid, Amir Haghi, Maryam Hooshangi-Tabrizi, Pedram

Zdroj: International Journal of Production Research; May2024, Vol. 62 Issue 9, p3288-3304, 17p

Témata: PRODUCTION scheduling, CONSTRAINT programming, LINEAR programming, MOBILE robots, JOB performance, FLEXIBLE manufacturing systems