# Resolution (logic)

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2006

Highly Cited

2006

- 2006

Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computationalâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- IEEE Trans. Knowl. Data Eng.
- 2003

This paper addresses some issues involved in applying the eventcondition-action (ECA) rule paradigm of active databases toâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- 2003

Synthetic aperture radar (SAR) is a general method for generating high-resolution radar maps from low-resolution aperture dataâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Handbook of Automated Reasoning
- 2001

Lifting is one of the most important general techniques for accelerating dii-cult computations. Lifting was used by Alan Robinsonâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Neural Computation
- 2000

We present a new method that we call generalized discriminant analysis (GDA) to deal with nonlinear discriminant analysis usingâ€¦Â (More)

Is this relevant?

Highly Cited

1987

Highly Cited

1987

- J. ACM
- 1987

Exponential lower bounds are proved for the length-of-resolution refutations of sets of disjunctions constructed from expanderâ€¦Â (More)

Is this relevant?

Highly Cited

1985

Highly Cited

1985

- Theor. Comput. Sci.
- 1985

We prove that, for infinitely many disjunctive normal form propositional calculus tautologies ~:, the length of the shortestâ€¦Â (More)

Is this relevant?

Highly Cited

1985

Highly Cited

1971

Highly Cited

1971

- IJCAI
- 1971

Problem-solving systems using two-valued logic suffer from one drawback, they cannot handle fuzzy, or uncertain, information. Inâ€¦Â (More)

Is this relevant?

Highly Cited

1965

Highly Cited

1965

- J. ACM
- 1965

:tb.~tract. Theorem-proving on the computer, using procedures based on the fund~mental theorem of Herbrand concerning the firstâ€¦Â (More)

Is this relevant?