EXCALIBUR: a program for planning and reasoning with processes

Artificial Intelligence 62 (1):1-40 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(93)90044-c

Links

PhilArchive



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

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

Planning and understanding: A computational approach to human reasoning.Daniel M. Russell - 1984 - Artificial Intelligence 23 (2):239-242.
Sound and efficient closed-world reasoning for planning.Oren Etzioni, Keith Golden & Daniel S. Weld - 1997 - Artificial Intelligence 89 (1-2):113-148.
Planning and understanding: A computational approach to human reasoning.Daniel Berlin - 1984 - Artificial Intelligence 23 (2):242-244.
Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan.Biplav Srivastava, Subbarao Kambhampati & Minh B. Do - 2001 - Artificial Intelligence 131 (1-2):73-134.
Knowledge and reasoning in program synthesis.Zohar Manna & Richard Waldinger - 1975 - Artificial Intelligence 6 (2):175-208.
Reasoning about uncertain parameters and agent behaviors through encoded experiences and belief planning.Akinobu Hayashi, Dirk Ruiken, Tadaaki Hasegawa & Christian Goerick - 2020 - Artificial Intelligence 280 (C):103228.
Artificial Intelligence and Human Cognition: A Theoretical Intercomparison of Two Realms of Intellect.Morton Wagman - 1991 - New York: Praeger.
Planning in distributed artificial intelligence.Edmund Durfee - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 245.
Planning and meta-planning.Mark Stefik - 1981 - Artificial Intelligence 16 (2):141-169.
Cognitive Science and Concepts of Mind: Toward a General Theory of Human and Artificial Intelligence.Morton Wagman - 1991 - New York: Praeger.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,645,937)

6 months
1 (#1,722,767)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Processes and continuous change in a SAT-based planner.Ji-Ae Shin & Ernest Davis - 2005 - Artificial Intelligence 166 (1-2):194-253.

Add more citations

References found in this work

A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
A qualitative physics based on confluences.Johan De Kleer & John Seely Brown - 1984 - Artificial Intelligence 24 (1-3):7-83.
Qualitative simulation.Benjamin Kuipers - 1986 - Artificial Intelligence 29 (3):289-338.
Diagnostic reasoning based on structure and behavior.Randall Davis - 1984 - Artificial Intelligence 24 (1-3):347-410.

View all 7 references / Add more references