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: 92,953

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

Uncertain reasoning about agents' beliefs and reasoning.John A. Barnden - 2001 - Artificial Intelligence and Law 9 (2-3):115-152.
Supervenience in Dynamic-World Planning.Lee Arthur Spector - 1992 - Dissertation, University of Maryland, College Park
OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems.Autexier Serge, Benzmüller Christoph, Dietrich Dominik & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann (eds.), Resource-Adaptive Cognitive Processes. Springer. pp. 389-423.
Computational Dialogic Defeasible Reasoning.Robert L. Causey - 2003 - Argumentation 17 (4):421-450.
Planning processes and age in the five-disc Tower of London task.K. J. Gilhooly, L. H. Phillips, V. Wynn, R. H. Logie & S. Della Sala - 1999 - Thinking and Reasoning 5 (4):339-361.
A situated action view of the role of plans and planning in program design and program debugging>.Lai Chong Law - unknown
Impact and persistence of ethical reasoning education on student learning: results from a module-based ethical reasoning educational program.Allison Ames, Kristen L. Smith, Elizabeth R. H. Sanchez, Lori Pyle, Tim Ball & William J. Hawk - 2016 - International Journal of Ethics Education 2 (1):77-96.
Mass-audience interactive narrative ethical reasoning instruction.Mark Piper - 2017 - International Journal of Ethics Education 2 (2):161-173.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Planning in the We-mode.Raul Hakli & Pekka Mäkelä - 2016 - In Gerhard Preyer & Georg Peter (eds.), Social Ontology and Collective Intentionality: Critical Essays on the Philosophy of Raimo Tuomela with his Responses. Cham: Springer. pp. 117-140.
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.
Reasoning Processes as Epistemic Dynamics.Fernando R. Velázquez-Quesada - 2015 - Axiomathes 25 (1):41-60.
Can there be reasoning with degrees of belief?Julia Staffel - 2013 - Synthese 190 (16):3535-3551.
Updating and reasoning: Different processes, different models, different functions.Laura Kelly, Janani Prabhakar & Sangeet Khemlani - 2019 - Behavioral and Brain Sciences 42.
Fine-grained Concurrency with Separation Logic.Kalpesh Kapoor, Kamal Lodaya & Uday S. Reddy - 2011 - Journal of Philosophical Logic 40 (5):583-632.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,641,599)

6 months
1 (#1,514,069)

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