Integrated Plan Generation and Recognition — A Logic-Based Approach

Integrated Plan Generation and Recognition — A Logic-Based Approach —

Published:1991 Issue: Volume: Page:266-277
ISSN:0343-3005
Container-title:Verteilte Künstliche Intelligenz und kooperatives Arbeiten
language:
Short-container-title:

Author:

Bauer M.,Biundo S.,Dengler D.,Hecking M.,Koehler J.,Merziger G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-76980-1_24.pdf

Reference21 articles.

1. W. Bibel. A deductive solution for plan generation. New Generation Computing, 4: 115–132, 1986.

2. S. Biundo. Automated synthesis of recursive algorithms as a theorem proving tool. In Proceedings of the 8th European Conference on Artificial Intelligence, München, pages 553–558, 1988.

3. S. Biundo. Plan generation using a method of deductive program synthesis. Research Report RR-90–09, German Research Center for Artificial Intelligence Inc., 1990.

4. S. Biundo. Automatische Synthese rekursiver Algorithmen als Beweisverfahren. Informatik Fachberichte. Springer, Berlin, 1991. forthcoming.

5. J. Breuker. EUROHELP Developing Intelligent Help Systems. EC, Kopenhagen, 1990.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Frames, Multi-Agents and Good Behaviours in Planning Rationales;Making Strategies in Spatial Planning;2010

2. The intelligent help system COMFOHELP;User Modeling and User-Adapted Interaction;1993-09

3. An interval-based temporal logic in a multivalued setting;Automated Deduction—CADE-11;1992

4. Planbasierte graphische Hilfe in objektorientierten Benutzungsoberflächen;Innovative Programmiermethoden für Graphische Systeme;1992