Weak, strong, and strong cyclic planning via symbolic model checking

, , &
Artificial Intelligence 147 (1-2):35-84 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(02)00374-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Conformant planning via symbolic model checking and heuristic search.A. Cimatti, M. Roveri & P. Bertoli - 2004 - Artificial Intelligence 159 (1-2):127-206.
Did Searle attack strong strong or weak strong AI.Aaron Sloman - 1986 - In A. G. Cohn and & R. J. Thomas (eds.), Artificial Intelligence and its Applications. John Wiley and Sons.
Strengths and weaknesses of weak and strong supervenience.Mark Moyer - unknown
Did Searle attack strong strong AI or weak strong AI?Aaron Sloman - 1986 - In Artificial Intelligence and its Applications. Chichester.
Strong planning under partial observability.Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri & Paolo Traverso - 2006 - Artificial Intelligence 170 (4-5):337-384.
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.Piergiorgio Bertoli, Marco Bozzano & Alessandro Cimatti - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 1--18.
Weak and global supervenience are strong.Mark Moyer - 2008 - Philosophical Studies 138 (1):125 - 150.
Strong versus weak quantum consequence operations.Jacek Malinowski - 1992 - Studia Logica 51 (1):113 - 123.
Various Concepts of “Supervenience” and Their Relations：A Comment on Kim’s Theory of Supervenience.Xiaoping Chen - 2011 - Frontiers of Philosophy in China 6 (2):316-333.
Plan aggregation for strong cyclic planning in nondeterministic domains.Ron Alford, Ugur Kuter, Dana Nau & Robert P. Goldman - 2014 - Artificial Intelligence 216 (C):206-232.
Weak and Strong Necessity Modals: On Linguistic Means of Expressing "A Primitive Concept OUGHT".Alex Silk - 2021 - In Billy Dunaway & David Plunkett (eds.), Meaning, Decision, and Norms: Themes From the Work of Allan Gibbard. Ann Arbor, Michigan: Maize Books. pp. 203-245.
Perlis on strong and weak self-reference--a mirror reversal.Damjan Bojadziev - 2000 - Journal of Consciousness Studies 7 (5):60-66.
Strong temporal planning with uncontrollable durations.Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri & David E. Smith - 2018 - Artificial Intelligence 256 (C):1-34.
Perelman’s Interpretation of Reverse Probability Arguments as a Dialectical Mise en Abyme.Manfred Kraus - 2010 - Philosophy and Rhetoric 43 (4):362-382.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,505,296)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Planning-based knowing how: A unified approach.Yanjun Li & Yanjing Wang - 2021 - Artificial Intelligence 296 (C):103487.
Analyzing generalized planning under nondeterminism.Vaishak Belle - 2022 - Artificial Intelligence 307 (C):103696.

View all 22 citations / Add more citations

References found in this work

Planning control rules for reactive agents.F. Kabanza, M. Barbeau & R. St-Denis - 1997 - Artificial Intelligence 95 (1):67-113.

Add more references