A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Automating the Transformational Development of Software
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Research on Knowledge-Based Software Environments at Kestrel Institute
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Readings in artificial intelligence and software engineering
Readings in artificial intelligence and software engineering
Transformational synthesis using Refine
AI tools and techniques
The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty
ACM Computing Surveys (CSUR)
Program Transformation Systems
ACM Computing Surveys (CSUR)
AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge
IEEE Transactions on Knowledge and Data Engineering
| Hi-index | 0.00 |
The results of applying transformational synthesis to planning missions and routes for multiple robotic vehicles are described. Transformational synthesis is an integration methodology that allows many control flow decisions to be deferred until later in the system life cycle, thus enhancing the flexibility and extensibility that one is trying to achieve by using planning technology. The planner has the domain knowledge and planning heuristics to plan multivehicle reconnaissance missions for DARPA's autonomous land vehicle. Most knowledge about the environment and all knowledge about the effects of vehicle operations is uncertain and is represented in terms of probability distributions. Implementation experience with the planner is described.