Soft arc consistency revisited

, , , , &
Artificial Intelligence 174 (7-8):449-478 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2010.02.001

Links

PhilArchive



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

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

Arc consistency for soft constraints.Martin Cooper & Thomas Schiex - 2004 - Artificial Intelligence 154 (1-2):199-227.
Int-Soft Ideals of Pseudo MV-Algebras.Young Bae Jun, Seok-Zun Song & Hashem Bordbar - 2018 - Bulletin of the Section of Logic 47 (1):1-14.
Soft ordered semigroups.Young Bae Jun, Kyoung Ja Lee & Asghar Khan - 2010 - Mathematical Logic Quarterly 56 (1):42-50.
The consistency of arithmetic.Storrs McCall - manuscript
Arc and path consistency revisited.Roger Mohr & Thomas C. Henderson - 1986 - Artificial Intelligence 28 (2):225-233.
Assessment of Soft Power Strategies: Towards an Aggregative Analytical Model for Country-Focused Case Study Research.Artem Patalakh - 2016 - Croatian International Relations Review 22 (76):85-112.
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
Michelson-Morley experiments revisited: systematic errors, consistency among different experiments, and compatibility with absolute space.Héctor A. Múnera - 1998 - Apeiron 5 (1-2):371-376.
Soft law e Topografica Giuridica.Francesco Cavinato - manuscript
Consistency Defaults.Paolo Liberatore - 2007 - Studia Logica 86 (1):89-110.
The Single-minded Pursuit of Consistency and its Weakness.Walter Carnielli - 2011 - Studia Logica 97 (1):81 - 100.
Herbrand consistency of some finite fragments of bounded arithmetical theories.Saeed Salehi - 2013 - Archive for Mathematical Logic 52 (3-4):317-333.
Short Proofs for Slow Consistency.Anton Freund & Fedor Pakhomov - 2020 - Notre Dame Journal of Formal Logic 61 (1):31-49.
Measuring inconsistency.Kevin Knight - 2002 - Journal of Philosophical Logic 31 (1):77-98.
"True" arithmetic can prove its own consistency.Andrew Boucher -

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,356,784)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Arc consistency for soft constraints.Martin Cooper & Thomas Schiex - 2004 - Artificial Intelligence 154 (1-2):199-227.
Tractable constraints on ordered domains.Peter G. Jeavons & Martin C. Cooper - 1995 - Artificial Intelligence 79 (2):327-339.

Add more references