Equality elimination for the inverse method and extension procedures

Authors:
Anatoli Degtyarev;Andrei Voronkov
Affiliations:
Computing Science Department, Uppsala University, Uppsala, Sweden;Computing Science Department, Uppsala University, Uppsala, Sweden
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Year:
1995

Citing 10
Cited 3

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
An introduction to mathematical logic and type theory: to truth through proof

An introduction to mathematical logic and type theory: to truth through proof
What is the inverse method?

Journal of Automated Reasoning
First-order logic and automated theorem proving

First-order logic and automated theorem proving
Minimizing the number of clauses by renaming

CADE-10 Proceedings of the tenth international conference on Automated deduction
LISS—the logic inference search system

CADE-10 Proceedings of the tenth international conference on Automated deduction
Simultaneous Paramodulation

Proceedings of the 10th International Conference on Automated Deduction
Proof Search in the Intuitionistic Sequent Calculus

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Basic Paramodulation and Superposition

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Theorem Proving in Non-Standard Logics Based on the Inverse Method

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction

What You Always Wanted to Know about Rigid E-Unification

Journal of Automated Reasoning
Decidability Problems for the Prenex Fragment of Intuitionistic Logic

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Strategies in rigid-variable methods

IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many representations in early vision can be constructed by performing orientation analysis along several sampling dimensions. Texture is often oriented in space, motion is oriented in space-time, and stereo is oriented in space-disparity. In these modalities, ...