Anthony Hunter  Home/Search
Context
Related
| cs.ucl.ac.uk/staff/a.hunter/pa...psc.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ucl.ac.uk/staff/A.Hun...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Inconsistencies inevitably arise in knowledge during practical reasoning. (Update)
Active bibliography (related documents): More All
1.0: Man Bites Dog: Looking for Interesting Inconsistencies in.. - Byrne, Hunter (2003) (Correct)
0.5: Logical Comparison of Inconsistent Perspectives Using Scoring.. - Hunter (2003) (Correct)
0.0: Tractable Reasoning in Knowledge Representation Systems - Dalal (1995) (Correct)
Similar documents based on text: More All
0.2: Merging Requirements From a Set of Ranked Agents - Cholvy, Hunter (1999) (Correct)
0.1: Learning On The Job: The Application Of Machine Learning Within.. - Huckvale (2001) (Correct)
0.1: Managing Inconsistent Specifications: Reasoning, Analysis.. - Hunter, Nuseibeh (1995) (Correct)
BibTeX entry: (Update)
@misc{ hunter-probable,
author = "Anthony Hunter",
title = "Probable Consistency Checking For Sets Of Propositional Clauses",
url = "citeseer.ist.psu.edu/628265.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NPCom.. (context) - Garey, Johnson - 1979
951 Computational Complexity (context) - Papadimitriou - 1994
416 A new method for solving hard satisfiability problems - Selman, Levesque et al. - 1992
267 Network-based heuristics for constraint-satisfaction problem.. (context) - Dechter, Pearl - 1987
161 A logic of implicit and explicit belief (context) - Levesque - 1984
49 HARP: A tableau-based theorem prover (context) - Oppacher, Suen - 1988
37 Tractable reasoning via approximation - Schaerf, Cadoli - 1995
2 On anytime coherence-based reasoning (context) - Koriche - 2001
2 Knowledge compilation using prime implicates (context) - Marquis - 1995
2 Compiling knowledge into decomposible negation normal form (context) - Darwiche - 1999
Documents on the same site (http://www.cs.ucl.ac.uk/staff/A.Hunter/papers.html): More
Defeasible Reasoning with Structured Information - Hunter (1994) (Correct)
Reasoning with Contradictory Information using Quasi-classical.. - Hunter (1999) (Correct)
Quasi-classical Logic: Non-trivializable classical reasoning .. - Philippe Besnard (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC