On redundant topological constraints

, , , &
Artificial Intelligence 225 (C):51-76 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2015.03.010

Links

PhilArchive



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

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

Time travel and consistency constraints.Douglas N. Kutach - 2003 - Philosophy of Science 70 (5):1098-1113.
Dynamic topological logic.S. Artemov - unknown
Dynamic topological logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Topological Invariance of Biological Development.Eugene Presnov, Valeria Isaeva & Nikolay Kasyanov - 2014 - Axiomathes 24 (1):117-135.
Topological Aspects of Combinatorial Possibility.Thomas Mormann - 1997 - Logic and Logical Philosophy 5:75 - 92.
Mathematical Logic.Philip Kremer - unknown
Topology, holes and sources.Alexander Afriat - unknown
Topological Quantization of the Magnetic Flux.Antonio F. Rañada & José Luis Trueba - 2006 - Foundations of Physics 36 (3):427-436.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Orthogonal redundant information about 3-d objects-constraints on haptic dimensional integration (vol 30, pg 446, 1992). [REVIEW]Sj Lederman & Cl Reed - 1993 - Bulletin of the Psychonomic Society 31 (1):85-85.
A Topological Constraint Language with Component Counting.Ian Pratt-Hartmann - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):441-467.
Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic.Tomasz Witczak - 2019 - Bulletin of the Section of Logic 48 (3):187-205.
Topological kinematic constraints: dislocations and the glide principle.V. Cvetkovic, Z. Nussinov & J. Zaanen - 2006 - Philosophical Magazine 86 (20):2995-3020.
On topological spaces equivalent to ordinals.Jörg Flum & Juan Carlos Martinez - 1988 - Journal of Symbolic Logic 53 (3):785-795.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,750,398)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Redundancy in logic I: CNF propositional formulae.Paolo Liberatore - 2005 - Artificial Intelligence 163 (2):203-232.
Removing redundancy from a clause.Georg Gottlob & Christian G. Fermüller - 1993 - Artificial Intelligence 61 (2):263-289.

View all 11 references / Add more references