Finding Logical Consequences Using Unskolemization

Authors:
Ritu Chadha;David A. Plaisted
Affiliations:
-;-
Venue:
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
Year:
1993

Citing 0
Cited 3

Partition-based logical reasoning for first-order and propositional theories

Artificial Intelligence - Special volume on reformulation
Theorem proving with structured theories

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Partition-based logical reasoning for first-order and propositional theories

Artificial Intelligence - Special volume on reformulation

Quantified Score

Hi-index	0.00

Visualization

Abstract