A deductive solution for plan generation
New Generation Computing
Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
Temporal logic of programs
Principles of artificial intelligence
Principles of artificial intelligence
How to clear a block: A theory of plans
Journal of Automated Reasoning
Readings in uncertain reasoning
Readings in uncertain reasoning
Explaining and repairing plans that fail
Artificial Intelligence
Uncertainty and vagueness in knowledge based systems
Uncertainty and vagueness in knowledge based systems
A validation-structure-based theory of plan modification and reuse
Artificial Intelligence
Systematic adaptation for case-based planning
Proceedings of the first international conference on Artificial intelligence planning systems
Towards a logical treatment of plan reuse
Proceedings of the first international conference on Artificial intelligence planning systems
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Deductive planning and plan reuse in a command language environment
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Intelligent Help Systems for UNIX
Intelligent Help Systems for UNIX
Tactical Theorem Proving in Program Verification
Proceedings of the 10th International Conference on Automated Deduction
SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science
Plan recognition in exploratory domains
Artificial Intelligence
Plan Recognition and Visualization in Exploratory Learning Environments
ACM Transactions on Interactive Intelligent Systems (TiiS)
Hi-index | 0.00 |
We introduce a logic-based system which improves the performance of intelligent help systems by supplying them with plan generation and plan recognition components. Both components work in close mutual cooperation There are two modes of cross-talk between them, one where plan recognition is done on the basis of abstract plans provided by the planner and the other where optimal plans are generated based on recognition results The examples which are presented are taken from an operating system domain, namely from the UNIX mail domain.