Introduction to algorithms
Artificial Intelligence - Special issue on knowledge representation
Network flows: theory, algorithms, and applications
Network flows: theory, algorithms, and applications
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
HTN planning: complexity and expressivity
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Fast planning through planning graph analysis
Artificial Intelligence
Timed default concurrent constraint programming
Journal of Symbolic Computation - Special issue: executable temporal logics
Issues in temporal reasoning for autonomous control systems
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Fast transformation of temporal plans for efficient execution
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Temporal Planning with Mutual Exclusion Reasoning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Mode estimation of model-based programs: monitoring systems with complex behavior
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Planning with sharable resource constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Model-based programming of fault-aware systems
AI Magazine
Robot introspection through learned hidden Markov models
Artificial Intelligence
Nested temporal networks with alternatives: recognition and tractability
Proceedings of the 2008 ACM symposium on Applied computing
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Temporal Reasoning in Nested Temporal Networks with Alternatives
Recent Advances in Constraints
Incremental Component-Based Construction and Verification of a Robotic System
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Robust execution of contingent, temporally flexible plans
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Robot introspection through learned hidden Markov models
Artificial Intelligence
A representation for coordination fault detection in large-scale multi-agent systems
Annals of Mathematics and Artificial Intelligence
Scheduling conditional task graphs
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Strong controllability of disjunctive temporal problems with uncertainty
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
A multiagent architecture for controlling the Palamede satellite
Web Intelligence and Agent Systems
Optimizing alternatives in precedence networks
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
Bisimulation conversion and verification procedure for goal-based control systems
Formal Methods in System Design
Diagnosis of coordination failures: a matrix-based approach
Autonomous Agents and Multi-Agent Systems
Drake: an efficient executive for temporal plans with choice
Journal of Artificial Intelligence Research
Verifying nested workflows with extra constraints
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
On verification of nested workflows with extra constraints: From theory to practice
Expert Systems with Applications: An International Journal
Flexible execution of partial order plans with temporal constraints
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Robotics and artificial intelligence: A perspective on deliberation functions
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.00 |
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introducing a reactive model-based programming language (RMPL) that combines within a single unified representation the flexibility of embedded programming and reactive execution languages, and the deliberative reasoning power of temporal planners. The KIRK planning system takes as input a problem expressed as a RMPL program, and compiles it into a temporal plan network (TPN), similar to those used by temporal planners, but extended for symbolic constraints and decisions. This intermediate representation clarifies the relation between temporal planning and causal-link planning, and permits a single task model to be used for planning and execution. Such a unified model has been described as a holy grail for autonomous agents by the designers of the Remote Agent[Muscettola et al., 1998b].