Strategies in Rigid-Variable Methods
Abstract
We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intrinsic complications introduced by rigid variables. We also consider strategies for increasing multiplicity in rigid-variable methods, and formally show that the use of intelligent strategies can result in an essential gain in efficiency.
Cite
Text
Voronkov. "Strategies in Rigid-Variable Methods." International Joint Conference on Artificial Intelligence, 1997.Markdown
[Voronkov. "Strategies in Rigid-Variable Methods." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/voronkov1997ijcai-strategies/)BibTeX
@inproceedings{voronkov1997ijcai-strategies,
title = {{Strategies in Rigid-Variable Methods}},
author = {Voronkov, Andrei},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1997},
pages = {114-121},
url = {https://mlanthology.org/ijcai/1997/voronkov1997ijcai-strategies/}
}