Searching for "Negation As Refutation" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Negation as Refutation
- …Negation As Refutation Melvin Fitting MLFLC@(email omitted); Dept. Mathematics and Computer Science…
- Cited by 27 (5 self) – Add To MetaCart
-
Resolution and constraint satisfaction
- …-simulate negative resolution, as every negative resolution refutation isalso an unrestricted refutation. However…
- Cited by 11 (1 self) – Add To MetaCart
-
Literature Mining using Bayesian Networks
- … statements are reported and we treat negation and refutation as noise, and that exclusive hypotheses…
- Add To MetaCart
-
The Geometry of Negation
- … that are not extensional at all—e.g., negation as refutation (intuitionistic logic), as incompatibility (quantum logic…
- Add To MetaCart
-
Peter Goldschmidt
- … the fulfillment of the necessary and sufficient evidence supporting (true positive / negative) or refuting (false…
- Add To MetaCart
-
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
- …:295--312, 1985. [Fit89] Melvin Fitting. Negation as Refutation. In Proc. of 4th Annual Symposion on Logic…
- Cited by 71 (13 self) – Add To MetaCart
-
The Complexity of Resolution Refinements and Satisfiability Algorithms
- … resolution. Since every negative refutation is also a semantic refutation, it suffices to prove that negative…
- Cited by 1 (0 self) – Add To MetaCart
-
Effective Theorem Proving for Hardware Verification
- …(c). We can then prove the original formula by refuting its negation. To refute the negation we can assert…
- Cited by 37 (6 self) – Add To MetaCart
-
From Inheritance Relation to Non-Axiomatic Logic
- … positive (confirmative) and negative (refutive) evidence in the system's experience? This is impossible…
- Cited by 23 (21 self) – Add To MetaCart
-
Determining the Publication Impact of a Digital Library
- …”; some citations have more complex motivations such as negation or refutation (MacRoberts & Mac…
- Cited by 7 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
