Proof planning with multiple strategies

, &
Artificial Intelligence 172 (6-7):656-684 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2007.11.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday.Dieter Hutter (ed.) - 2004 - Springer.
Knowledge-based proof planning.Erica Melis & Jörg Siekmann - 1999 - Artificial Intelligence 115 (1):65-105.
The representation of planning strategies.Andrew S. Gordon - 2004 - Artificial Intelligence 153 (1-2):287-305.
Learning action strategies for planning domains.Roni Khardon - 1999 - Artificial Intelligence 113 (1-2):125-148.
Heuristic planning: A declarative approach based on strategies for action selection.Josefina Sierra-Santibáñez - 2004 - Artificial Intelligence 153 (1-2):307-337.
Committing to correlated strategies with multiple leaders.Matteo Castiglioni, Alberto Marchesi & Nicola Gatti - 2021 - Artificial Intelligence 300 (C):103549.
Klaus Fischer Jorg P. Muller Markus pischel.AGenDA—A. General Testbed - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 9--401.
Planning in distributed artificial intelligence.Edmund Durfee - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 245.
Some Aspects of Ethics and Research Into Artificial Intelligence.D. Remenyi & Brian Williams - 1995 - Henley Management College.
Planning and meta-planning.Mark Stefik - 1981 - Artificial Intelligence 16 (2):141-169.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,040,422)

6 months
12 (#306,076)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Knowledge-based proof planning.Erica Melis & Jörg Siekmann - 1999 - Artificial Intelligence 115 (1):65-105.
Interactive Theorem Proving with Tasks.Malte Hübner, Serge Autexier, Christoph Benzmüller & Andreas Meier - 2004 - Electronic Notes in Theoretical Computer Science 103 (C):161-181.

View all 7 citations / Add more citations

References found in this work

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
A blackboard architecture for control.Barbara Hayes-Roth - 1985 - Artificial Intelligence 26 (3):251-321.
Knowledge-based proof planning.Erica Melis & Jörg Siekmann - 1999 - Artificial Intelligence 115 (1):65-105.

Add more references