In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique forâ€¦Â (More)

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

Highly Cited

2006

Highly Cited

2006

- Boris Motik
- 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

- Jan Chomicki, Jorge Lobo, Shamim A. Naqvi
- 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

2001

Highly Cited

2001

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

- Leo Bachmair, Harald Ganzinger
- Handbook of Automated Reasoning
- 2001

Â

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- G. Baudat, Fatiha Anouar
- 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

1994

Highly Cited

1994

- Alan J. Demers, Karin Petersen, Mike Spreitzer, Douglas B. Terry, Marvin Theimer, Brent B. Welch
- 1994 First Workshop on Mobile Computing Systemsâ€¦
- 1994

The Bayou System is a platform of replicated, highly-available, variable-consistency, mobile databases on which to buildâ€¦Â (More)

Is this relevant?

Highly Cited

1987

Highly Cited

1987

- Anthony G. Cohn
- Journal of Automated Reasoning
- 1987

Many sorted logics can increase deductive efficiency by eliminating useless branches of the search space, but usually thisâ€¦Â (More)

Is this relevant?

Highly Cited

1985

Highly Cited

1985

- Armin Haken
- 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

1971

Highly Cited

1971

- Richard C. T. Lee
- IJCAI
- 1971

The relationship between fuzzy logic and two-valued logic in the context of the first order predicate calctflus is discussed. Itâ€¦Â (More)

Is this relevant?

Highly Cited

1965

Highly Cited

1965

- John Alan Robinson
- 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?