Suchergebnisse - temporal constraint programming

Branching and pruning: An optimal temporal POCL planner based on constraint programming von 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 …”
Volltext

Declarative Programming with Temporal Constraints, in the Language CG von 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 …”
Volltext

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation von 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 …”
Volltext

Business process verification with constraint temporal answer set programming von 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 …”
Volltext

Robot task programming in complex task scenarios based on spatio-temporal constraint calculus von 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 …”
Volltext

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

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

An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints von 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 …”
Volltext

On the Expressive Power of Temporal Concurrent Constraint Programming Languages: (invited talk) von 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 …”
Volltext

Topological Approximate Dynamic Programming under Temporal Logic Constraints von 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 …”
Volltext

Topological Approximate Dynamic Programming under Temporal Logic Constraints von 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 …”
Volltext

Temporal Annotated Constraint Logic Programming von 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 …”
Volltext

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation von 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 …”
Volltext

Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints von 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 …”
Volltext

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

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

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints von 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 …”
Volltext

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

“… •The global optimization under temporal-spatial and network consistence constraints …”
Volltext

Abstract interpretation of temporal concurrent constraint programs von 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 …”
Volltext

Subexponential concurrent constraint programming von 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 …”
Volltext

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

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

Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints von 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 …”
Volltext