Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way (Q821554): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2020.104637
+Normal rank
@@ Property / OpenAlex ID @@
+W3095010045
@@ Property / OpenAlex ID: W3095010045 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal representation and reasoning in artificial intelligence: Issues and approaches
+Normal rank
@@ Property / cites work @@
+Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty.
+Normal rank
@@ Property / cites work @@
+Maximising the weighted number of activity execution modes in project planning
+Normal rank
@@ Property / cites work @@
+Q3112642
@@ Property / cites work: Q3112642 / rank @@
+Normal rank
@@ Property / cites work @@
+Backtracking algorithms for disjunctions of temporal constraints
+Normal rank
@@ Property / cites work @@
+Conditional simple temporal networks with uncertainty and decisions
+Normal rank
@@ Property / cites work @@
+Generalized Conflict Learning for Hybrid Discrete/Linear Optimization
+Normal rank
@@ Property / cites work @@
+SAT race 2015
@@ Property / cites work: SAT race 2015 / rank @@
+Normal rank
@@ Property / cites work @@
+CTP: A new constraint-based formalism for conditional, temporal planning
+Normal rank
@@ Property / cites work @@
+Conditional Simple Temporal Networks with Uncertainty and Resources
+Normal rank
@@ Property / cites work @@
+Q2845506
@@ Property / cites work: Q2845506 / rank @@
+Normal rank