Search Results - temporal constraint programming

Branching and pruning: An optimal temporal POCL planner based on constraint programming by Vidal, Vincent, Geffner, Héctor

“… In this paper, a domain-independent formulation of temporal planning based on Constraint Programming is introduced that successfully combines a POCL branching scheme with powerful and sound pruning rules…”
Get full text

Declarative Programming with Temporal Constraints, in the Language CG by Negreanu, Lorina

“…Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence…”
Get full text

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation by Booth, Kyle, Do, Minh, Beck, J., Rieffel, Eleanor, Venturelli, Davide, Frank, Jeremy

“… In this paper, we explore the use of constraint programming (CP) as an alternative and complementary approach to temporal planning…”
Get full text

Business process verification with constraint temporal answer set programming by GIORDANO, LAURA, MARTELLI, ALBERTO, SPIOTTA, MATTEO, DUPRÉ, DANIELE THESEIDER

“…) with temporal logic and constraints. The framework allows to capture expressive fluent annotations as well as data awareness in a uniform way…”
Get full text

Robot task programming in complex task scenarios based on spatio-temporal constraint calculus by Li, Jinzhong, Cong, Ming, Liu, Dong, Du, Yu

“… The purpose of this study is to enable robots to have the ability to understand the scene and task process in complex scenes and to provide a reference method for robot task programming in complex…”
Get full text

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios by Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo

“… Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios…”
Get full text

An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints by Kun Deng, Yushan Chen, Belta, Calin

“… satisfies a temporal logic specification. The existing approaches based on dynamic programming are computationally intensive, thus not feasible for large environments and/or large numbers of robots…”
Get full text

On the Expressive Power of Temporal Concurrent Constraint Programming Languages: (invited talk) by Palamidessi, Catuscia, Nielsen, Mogens, Valencia, Frank D.

“…The tcc paradigm is a formalism for timed concurrent constraint programming. Several tcc languages differing in their way of expressing infinite behavior have been proposed in the literature…”
Get full text

Topological Approximate Dynamic Programming under Temporal Logic Constraints by Li, Lening, Fu, Jie

“…In this paper, we develop a model-free approximate dynamic programming method for stochastic systems modeled as Markov decision processes to maximize the probability of satisfying high-level system…”
Get full text

Topological Approximate Dynamic Programming under Temporal Logic Constraints by Li, Lening, Fu, Jie

“…In this paper, we develop a Topological Approximate Dynamic Programming (TADP) method for planningin stochastic systems modeled as Markov Decision Processesto…”
Get full text

Temporal Annotated Constraint Logic Programming by FRÜHWIRTH, THOM

“…) in different models of time are supported. Our temporal annotated logic can be made an instance of annotated constraint logic, which is also presented in this paper…”
Get full text

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation by Booth, Kyle E C, Do, Minh, Beck, J Christopher, Rieffel, Eleanor, Venturelli, Davide, Frank, Jeremy

“… In this paper, we explore the use of constraint programming (CP) as an alternative and complementary approach to temporal planning…”
Get full text

Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints by Li, Lening, Fu, Jie

“…In this paper, we develop approximate dynamic programming methods for stochastic systems modeled as Markov Decision Processes, given both soft performance criteria and hard constraints in a class…”
Get full text

Extending constraint logic programming for temporal reasoning by Lamma, Evelina, Milano, Michela, Mello, Paola

“…In recent years, several constraint‐based temporal reasoning frameworks have been proposed…”
Get full text

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints by Papusha, Ivan, Jie Fu, Topcu, Ufuk, Murray, Richard M.

“…) for both linear and nonlinear systems under temporal logic constraints. We argue that ADP allows treating the synthesis problem directly, without forming expensive discrete abstractions. We show that, for linear systems under co-safe temporal logic constraints, the ADP solution reduces to a single semidefinite program…”
Get full text

Reranking optimization for person re-identification under temporal-spatial information and common network consistency constraints by Yang, Hua, Cheng, Zhaoxi, Chen, Lin

“…•The global optimization under temporal-spatial and network consistence constraints…”
Get full text

Abstract interpretation of temporal concurrent constraint programs by FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA

“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Get full text

Subexponential concurrent constraint programming by Olarte, Carlos, Pimentel, Elaine, Nigam, Vivek

“…In previous works we have shown that linear logic with subexponentials (SELL), a refinement of linear logic, can be used to specify emergent features of concurrent constraint programming (CCP…”
Get full text

A parallel multi-period optimal scheduling algorithm in microgrids with energy storage systems using decomposed inter-temporal constraints by Kim, Tae Hyun, Shin, Hansol, Kwag, Kyuhyeong, Kim, Wook

“…) compared with existing large-scale power systems, the inter-temporal constraints such as the…”
Get full text

Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints by Li, Lening, Fu, Jie

“…In this paper, we develop approximate dynamic programming methods for stochastic systems modeled as Markov Decision Processes, given both soft performance criteria and hard constraints in a class…”
Get full text