A problem-decomposition method using differences or equivalence relations between states

&
Artificial Intelligence 25 (2):117-151 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(85)90001-3

Links

PhilArchive



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

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

Counting the Number of Equivalence Classes of Borel and Coanalytic Equivalence Relations.Equivalences Generated by Families of Borel Sets.A Reflection Phenomenon in Descriptive Set Theory.Equivalence Relations, Projective and Beyond.Counting Equivalence Classes for co-κ-Souslin Equivalence Relations.On Lusin's Restricted Continuum Problem. [REVIEW]Alain Louveau - 1987 - Journal of Symbolic Logic 52 (3):869-870.
Entanglement of Pure States.Stig Stenholm - 2009 - Foundations of Physics 39 (6):642-655.
Analytic equivalence relations and the forcing method.Jindřich Zapletal - 2013 - Bulletin of Symbolic Logic 19 (4):473-490.
Equivalence: an attempt at a history of the idea.Amir Asghari - 2019 - Synthese 196 (11):4657-4677.
Maximal R.e. Equivalence relations.Jeffrey S. Carroll - 1990 - Journal of Symbolic Logic 55 (3):1048-1058.
? 0 N -equivalence relations.Andrea Sorbi - 1982 - Studia Logica 41 (4):351-358.
On Polynomial-Time Relation Reducibility.Su Gao & Caleb Ziegler - 2017 - Notre Dame Journal of Formal Logic 58 (2):271-285.
Analytic Equivalence Relations and the Forcing Method.Jindřich Zapletal - 2013 - Bulletin of Symbolic Logic 19 (4):473-490.
Theoretical Equivalence as Interpretative Equivalence.Kevin Coffey - 2014 - British Journal for the Philosophy of Science 65 (4):821-844.
Thin equivalence relations and effective decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
On Σ1 1 equivalence relations over the natural numbers.Ekaterina B. Fokina & Sy-David Friedman - 2012 - Mathematical Logic Quarterly 58 (1-2):113-124.
Recursively Enumerable Equivalence Relations Modulo Finite Differences.André Nies - 1994 - Mathematical Logic Quarterly 40 (4):490-518.
Mathematical Objects arising from Equivalence Relations and their Implementation in Quine's NF.Thomas Forster - 2016 - Philosophia Mathematica 24 (1):nku005.
$\sum_{0}^{n}$ -Equivalence Relations.Andrea Sorbi - 1982 - Studia Logica 41 (4):351 - 358.
Mathematical Objects arising from Equivalence Relations and their Implementation in Quine's NF.Thomas Forster - 2016 - Philosophia Mathematica 24 (1):50-59.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,534,306)

6 months
2 (#1,187,206)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Planning in a hierarchy of abstraction spaces.Earl D. Sacerdoti - 1974 - Artificial Intelligence 5 (2):115-135.
Toward a model of representation changes.Richard E. Korf - 1980 - Artificial Intelligence 14 (1):41-78.

Add more references