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

Branching and pruning: An optimal temporal POCL planner based on constraint programming Autor 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…”
Získať plný text

Declarative Programming with Temporal Constraints, in the Language CG Autor 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…”
Získať plný text

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation Autor 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…”
Získať plný text

Business process verification with constraint temporal answer set programming Autor 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…”
Získať plný text

Robot task programming in complex task scenarios based on spatio-temporal constraint calculus Autor 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…”
Získať plný text

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

“… Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios…”
Získať plný text

An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints Autor 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…”
Získať plný text

On the Expressive Power of Temporal Concurrent Constraint Programming Languages: (invited talk) Autor 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…”
Získať plný text

Topological Approximate Dynamic Programming under Temporal Logic Constraints Autor 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…”
Získať plný text

Topological Approximate Dynamic Programming under Temporal Logic Constraints Autor 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…”
Získať plný text

Temporal Annotated Constraint Logic Programming Autor 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…”
Získať plný text

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation Autor 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…”
Získať plný text

Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints Autor 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…”
Získať plný text

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

“…In recent years, several constraint‐based temporal reasoning frameworks have been proposed…”
Získať plný text

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints Autor 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…”
Získať plný text

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

“…•The global optimization under temporal-spatial and network consistence constraints…”
Získať plný text

Abstract interpretation of temporal concurrent constraint programs Autor 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…”
Získať plný text

Subexponential concurrent constraint programming Autor 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…”
Získať plný text

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

“…) compared with existing large-scale power systems, the inter-temporal constraints such as the…”
Získať plný text

Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints Autor 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…”
Získať plný text