Search Results - temporal constraint programming*

Robot task programming in complex task scenarios based on spatio-temporal constraint calculus

Authors: Jinzhong Li Ming Cong Dong Liu et al.

Source: Robotic Intelligence and Automation. 43:476-488

Subject Terms: 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

Authors: Cárdenas-Viedma, María-Antonia¹ (AUTHOR) mariancv@um.es

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

Subject Terms: *LOGIC programming, *APPROXIMATE reasoning, *CONSTRAINT programming, *PROGRAMMING languages, *TIME-varying networks

PROLogic: a fuzzy temporal constraint prolog

Authors: Cárdenas Viedma, María Antonia Galindo Navarro, F. M. Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Ingeniería de la Información y las Comunicaciones

Contributors: Cárdenas Viedma, María Antonia Galindo Navarro, F. M. Facultades, Departamentos, Servicios y Escuelas::Departamentos de la UMU::Ingeniería de la Información y las Comunicaciones

Source: DIGITUM. Depósito Digital Institucional de la Universidad de Murcia
Universidad de Murcia

Subject Terms: Fuzzy relations, PROLOG, Knowledge representation, Non classical logics, Temporal logic, Fuzzy constraint satisfaction, Fuzzy inference systems, Termporal reasoning, Logic programming, Constrainst logic programming, Approximate reasoning

File Description: application/pdf

Access URL: http://hdl.handle.net/10201/141735

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

Authors: Kohei Fujita Toshimitsu Ushio

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

Subject Terms: 0209 industrial biotechnology, coloured timed Petri nets, temporal logic, Petri nets, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, generalized mutual exclusion constraints, integer linear programming, TK1-9971

Access URL: https://doaj.org/article/ece434b0298e4f32bc9f181310bb7f86

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

Authors: Schefers, Nina Rebecca

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

Thesis Advisors: Ramos González, Juan José

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: 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

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/665750

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

Authors: Zhou, Enshen Su, Qi Chi, Cheng et al.

Source: 2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). :6919-6929

Subject Terms: FOS: Computer and information sciences, Computer Science - Robotics, Computer Science - Machine Learning, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computer Vision and Pattern Recognition (cs.CV), Computer Science - Computer Vision and Pattern Recognition, Robotics (cs.RO), Machine Learning (cs.LG)

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

Logic programming with temporal constraints

Authors: Schwalb, Eddie Vila, Lluis

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/0nk023n7
https://escholarship.org/content/qt0nk023n7/qt0nk023n7.pdf

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

Authors: Kohei FUJITA Toshimitsu USHIO

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

Distributed incremental arc-consistency reasoning method for temporal network in multi-probe collaborative mission planning.

Authors: Wang, Bang Xu, Rui Li, Zhaoyu et al.

Source: Knowledge-Based Systems. Oct2025, Vol. 327, pN.PAG-N.PAG. 1p.

Subject Terms: *CONSTRAINT satisfaction, *CONSTRAINT programming, *TIME-varying networks, *PRIVACY, *PROCESS optimization, *MILITARY planning

Logic programming with temporal constraints

Authors: Schwalb, Eddie Vila, Lluis

Source: Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96). :51-56

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

File Description: application/pdf

Access URL: https://escholarship.org/content/qt0nk023n7/qt0nk023n7.pdf?t=r47elv
https://dblp.uni-trier.de/db/conf/time/time1996.html#SchwalbV96
https://escholarship.org/uc/item/0nk023n7

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

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

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

Fuzzy temporal constraint logic: a valid resolution principle: Fuzzy temporal constraint logic: A valid resolution principle

Authors: R. Marín Morales M. A. Cárdenas Viedma I. Navarrete Sánchez

Source: Fuzzy Sets and Systems. 117:231-250

Subject Terms: logic programming, Medical applications (general), 0202 electrical engineering, electronic engineering, information engineering, fuzzy temporal reasoning, 0102 computer and information sciences, 02 engineering and technology, possibility theory, Fuzzy logic, logic of vagueness, Reasoning under uncertainty in the context of artificial intelligence, Logic programming, resolution principle, fuzzy temporal constraint logic, 01 natural sciences

File Description: application/xml

Access URL: http://doi.org/10.1016/S0165-0114(99)00099-8
https://doi.org/10.1016/S0165-0114(99)00099-8
https://www.sciencedirect.com/science/article/pii/S0165011499000998
https://dblp.uni-trier.de/db/journals/fss/fss117.html#ViedmaMN01

Çoklu İHA’larla kısıt tatmin problemi temelli çok amaçlı görev planlaması.

Alternate Title: Multi-Objective task planning for multi-UAVs based on constraint satisfaction problem.

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

Source: Journal of the Faculty of Engineering & Architecture of Gazi University / Gazi Üniversitesi Mühendislik Mimarlık Fakültesi Dergisi,. 2025, Vol. 40 Issue 3, p1673-1687. 15p.

Subject Terms: *DRONE aircraft, *CONSTRAINT satisfaction, *TIME complexity, *DYNAMIC capabilities, *DYNAMIC programming

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

Authors: Zhou, Enshen Su, Qi Chi, Cheng et al.

Index Terms: 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

Syntax and Semantics for a Fuzzy Temporal Constraint Logic: Syntax and semantics for a fuzzy temporal constraint logic

Authors: R. Marín Morales M. A. Cárdenas Viedma

Source: Annals of Mathematics and Artificial Intelligence. 36:357-380

Subject Terms: Logic in artificial intelligence, temporal reasoning, syntax and semantics of formal logic, 0202 electrical engineering, electronic engineering, information engineering, fuzzy temporal constraint,logic programming, 02 engineering and technology, possibility theory

File Description: application/xml

Access URL: https://zbmath.org/1784200
https://doi.org/10.1023/a:1016345810582
https://dblp.uni-trier.de/db/journals/amai/amai36.html#ViedmaM02
https://dl.acm.org/doi/10.1023/A%3A1016345810582
https://link.springer.com/article/10.1023/A:1016345810582

Behavioural constraints, patterns and conformance : reconciling object-oriented inheritance with temporal restrictions on the ordering of methods

Authors: Buchanan, Katherine Mary

Subject Terms: 005, Programming languages, RAPIDE, Ordered type

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.340034

Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction

Authors: T. C. Nicholas Graham

Source: Workshops in Computing ISBN: 9783540197355

Access URL: https://link.springer.com/content/pdf/10.1007%2F978-1-4471-3794-8_6.pdf
https://core.ac.uk/display/57108293
https://link.springer.com/chapter/10.1007/978-1-4471-3794-8_6
https://rd.springer.com/chapter/10.1007/978-1-4471-3794-8_6
https://dblp.uni-trier.de/db/conf/phoenix/phoenix1991.html#Graham91

Constraint programming in spiking neural networks

Authors: Nguyen, Huy Le Chu, Dominique Bowman, Howard

Contributors: Nguyen, Huy Le Chu, Dominique Bowman, Howard

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.877817

An introduction to temporal constraints and mathematical methods

Authors: C. Wen J. T. Buchanan

Source: IMA Journal of Management Mathematics. 6:259-266

Subject Terms: large-scale linear systems, Mathematical programming, temporal constraint satisfaction problems

File Description: application/xml

Access URL: https://zbmath.org/792793
https://academic.oup.com/imaman/article-abstract/6/2/259/704851/

A multi-objective optimization approach to the ground handling scheduling problem

Authors: Padrón Astorga, Silvia

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

Thesis Advisors: Ramos González, Juan José, Guimarans Serrano, Daniel

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Airtransportation, Multi-objective optimization, Constraint programming, Tecnologies

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/284947