scientific article
From MaRDI portal
Publication:3112642
zbMath1234.68361arXiv1401.4606MaRDI QIDQ3112642
Brian C. Williams, Patrick R. Conrad
Publication date: 12 January 2012
Full work available at URL: https://arxiv.org/abs/1401.4606
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
discrete choicesassumption-based truth maintenance systemsDrakedynamic plan executionlabeled value set maintenance systemtemporal plans
Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (10)
Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way ⋮ Adding flexibility to uncertainty: flexible simple temporal networks with uncertainty (FTNU) ⋮ Dynamic controllability of temporal networks with instantaneous reaction ⋮ Mining Significant Temporal Networks Is Polynomial ⋮ Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty ⋮ Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. ⋮ Mining CSTNUDs significant for a set of traces is polynomial ⋮ Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution ⋮ Conditional simple temporal networks with uncertainty and decisions ⋮ Efficient execution of dynamically controllable simple temporal networks with uncertainty
Uses Software
This page was built for publication:
