Handling contingency in temporal constraint networks: from consistency to controllabilities

DOI10.1080/095281399146607zbMath1054.68664OpenAlexW2011800728MaRDI QIDQ4421283

Thierry Vidal

Publication date: 1999

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/095281399146607

zbMATH Keywords

Temporal Constraint Networks

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (25)

Extending uncertainty formalisms to linear constraints and other complex formalisms ⋮ Planning and execution with flexible timelines: a formal account ⋮ Dynamic controllability via timed game automata ⋮ An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty ⋮ Dynamic controllability of temporal networks with instantaneous reaction ⋮ Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games ⋮ Scheduling Conditional Task Graphs ⋮ The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning ⋮ Handling fuzzy temporal constraints in a planning environment ⋮ Strong temporal planning with uncontrollable durations ⋮ Mining Significant Temporal Networks Is Polynomial ⋮ Group planning with time constraints ⋮ Allocation and scheduling of conditional task graphs ⋮ Unnamed Item ⋮ Flexibility and decoupling in simple temporal networks ⋮ Quantifying controllability in temporal networks with uncertainty ⋮ New Integral Approach to the Specification of STPU-Solutions ⋮ Mining CSTNUDs significant for a set of traces is polynomial ⋮ Determining temporal agreements in cross-organizational business processes ⋮ On timeline-based games and their complexity ⋮ Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty ⋮ Safe Multi-Agent Pathfinding with Time Uncertainty ⋮ Solving strong controllability of temporal problems with uncertainty using SMT ⋮ Constraint solving in uncertain and dynamic environments: A survey ⋮ Efficient execution of dynamically controllable simple temporal networks with uncertainty

Cites Work

• Maintaining knowledge about temporal intervals
• Temporal constraint networks
• The logic of constraint satisfaction
• A theory of timed automata
• Processing disjunctions in temporal constraint networks
• Synthesizing constraint expressions
• Reasoning about temporal relations
• Unnamed Item
• Unnamed Item

This page was built for publication: Handling contingency in temporal constraint networks: from consistency to controllabilities