Arc-consistency and arc-consistency again

Artificial Intelligence 65 (1):179-190 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)90041-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

The consistency of arithmetic.Storrs McCall - manuscript
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
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.
Short Proofs for Slow Consistency.Anton Freund & Fedor Pakhomov - 2020 - Notre Dame Journal of Formal Logic 61 (1):31-49.
Herbrand consistency of some finite fragments of bounded arithmetical theories.Saeed Salehi - 2013 - Archive for Mathematical Logic 52 (3-4):317-333.
"True" arithmetic can prove its own consistency.Andrew Boucher -
Measuring inconsistency.Kevin Knight - 2002 - Journal of Philosophical Logic 31 (1):77-98.
Possibility is not consistency.Alexander R. Pruss - 2015 - Philosophical Studies 172 (9):2341-2348.
A Consistency Challenge for Moral and Religious Beliefs.Scott Aikin - 2009 - Teaching Philosophy 32 (2):127-151.
Implications of behavioral consistency in dynamic choice under uncertainty.Valentino Dardanoni - 1990 - Theory and Decision 29 (3):223-234.
On the consistency of choice.Ola Mahmoud - 2017 - Theory and Decision 83 (4):547-572.
When to defer to supermajority testimony — and when not.Christian List - 2014 - In Jennifer Lackey (ed.), Essays in Collective Epistemology. Oxford University Press. pp. 240-249.
Re-Examining the Role of Consistency: The Cornerstone, not Simply an Important Factor.Patrice Terrier - 1998 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 4.
Propositional Proof Systems and Fast Consistency Provers.Joost J. Joosten - 2007 - Notre Dame Journal of Formal Logic 48 (3):381-398.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,463,802)

6 months
6 (#526,006)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

View all 11 citations / Add more citations

References found in this work

Consistency in networks of relations.Alan K. Mackworth - 1977 - Artificial Intelligence 8 (1):99-118.
Arc and path consistency revisited.Roger Mohr & Thomas C. Henderson - 1986 - Artificial Intelligence 28 (2):225-233.

View all 7 references / Add more references